Designing Multi-Agent Reactive Systems: A Specification Method Based on Reactive Decisional Agents
A Reactive system is one that is in continual interaction with its environment, and executes at a pace determined by that environment. Examples of such systems are network protocols, industrial-process control systems etc. The use of rigorous formal method in specification and validation, can help designers to limit the introduction of potentially faulty components during the construction of the system.
Due to their complex nature, reactive systems are extremely difficult to specify and validate. In this paper, we propose a new formal model for the specification and the validation of such systems. This approach considers a Reactive System as a Reactive Multi-Agent System consisting of concurrent reactive agents that cooperate with each other to achieve the desired functionality. In addition, this approach uses formal synchronous specification and verification tools in order to specify and to verify the systems behaviors. Finally an example of an application of the approach is mentioned.
KeywordsReactive systems Reactive agent specafication formal methods verification
Unable to display preview. Download preview PDF.
- 2.Harel, D.: Statemate: aworking environment for the development of complex systems. IEEE Software Engineering, 16(4), (1987).Google Scholar
- 4.Berry, G.: The ESTEREL V5 Language Primer. Internal Report, CMA Ecoles des Mine, INRIA, Paris, 17 Mars (1998).Google Scholar
- 6.Berry, G. and P. Couronne.: Synchronous programming of reactive systems: an introduction to ESTEREL. IEEE Software Engineering, 16(4), (1987).Google Scholar
- 7.Lamport, L.: What Good is Temporal Logic?. Proceeding of IFIP, Information Processing, pp. 657–668 (REA Mason, NorthHolland) 1st edn, (1983).Google Scholar
- 8.Pnuelli, A.: The Temporal Semantics of Concurrent Programs. Theoretical Computer Science, 13 pp. 4560 (1981).Google Scholar
- 9.Ostroff, J.S.: Temporal Logic for RealTime systems. (Advanced Software Development Series. Research) 1st edn, (1989).Google Scholar
- 10.Ferber, J.: Les systémes multiagents. Vers une intelligence collective. (IIA, InterEditions), 2th edn, (1997).Google Scholar
- 12.Goodwin, R.: Formalizing Propreties of Agents. CMUCS93159, 1993.Google Scholar
- 13.Mataga, P.A. Zave, P.: Formal specification of Telephone Features. Z User Workshop, Bowen & Hall, eds., pp. 2950, Cambridge, SpringerVerlag, 1994.Google Scholar
- 14.Charpillet, F. Boyer, A.: Incorporating AI Techniques into Predictable Realtime Systems. Quatorziémes Journèes Internationales d’Avignon, 1994.Google Scholar
- 15.Bahssoun, J. P. Merz, S. and Servieres, C.: A Framework for formalizing and proving concurrent objects. WS 4 ECOOP’94, Bologna Italy, July 1994.Google Scholar
- 16.Bounabat B.: MACSOOD, Mèthode d’Analyse et de Conception des Systémes Orientèe Objet Dècisionnel. Application á la conception des Systémes Automatisès de Production. PhD Dissertation, Institut National de Tèlècommunications, EvryParis, 15 September (1993).Google Scholar
- 17.Martersteck, K.E. and Spencer, A.E.: Introduction to the 5ESS Switching System. AT&T Technical journal, 64(6) pp. 305–314 (1985).Google Scholar
- 18.Bounabat, B. and Labhalla, S. and Lafont, J.C.: Reactive System Control using a decisional object modeling. IFAC’97, Campinas, Brazil 02/06 September (1997).Google Scholar