Designing Multi-Agent Reactive Systems: A Specification Method Based on Reactive Decisional Agents

  • Bouchaib Bounabat
  • Rahal Romadi
  • Salah Labhalla
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1733)


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.


Reactive systems Reactive agent specafication formal methods verification 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Furbach, U.: Formal specification methods for reactive systems. Journal of Systems Software, 21 pp. 129–139, (1993).CrossRefGoogle Scholar
  2. 2.
    Harel, D.: Statemate: aworking environment for the development of complex systems. IEEE Software Engineering, 16(4), (1987).Google Scholar
  3. 3.
    Harel, D.: STATECHARTS: A Visual Formalism for Complex Systems. Science of Computer Programming, 8 pp. 231–274, (1987).zbMATHCrossRefMathSciNetGoogle Scholar
  4. 4.
    Berry, G.: The ESTEREL V5 Language Primer. Internal Report, CMA Ecoles des Mine, INRIA, Paris, 17 Mars (1998).Google Scholar
  5. 5.
    F. Boussinot, and R. de Simone.: The ESTEREL language. Proceeding of the of the IEEE, 79(9):1293–1304, September (1991).CrossRefGoogle Scholar
  6. 6.
    Berry, G. and P. Couronne.: Synchronous programming of reactive systems: an introduction to ESTEREL. IEEE Software Engineering, 16(4), (1987).Google Scholar
  7. 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. 8.
    Pnuelli, A.: The Temporal Semantics of Concurrent Programs. Theoretical Computer Science, 13 pp. 4560 (1981).Google Scholar
  9. 9.
    Ostroff, J.S.: Temporal Logic for RealTime systems. (Advanced Software Development Series. Research) 1st edn, (1989).Google Scholar
  10. 10.
    Ferber, J.: Les systémes multiagents. Vers une intelligence collective. (IIA, InterEditions), 2th edn, (1997).Google Scholar
  11. 11.
    Nwana. H.S.: Software Agents: An overview. Knowledge Engineering Review, 11(3) pp.205–244 (1996).CrossRefGoogle Scholar
  12. 12.
    Goodwin, R.: Formalizing Propreties of Agents. CMUCS93159, 1993.Google Scholar
  13. 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. 14.
    Charpillet, F. Boyer, A.: Incorporating AI Techniques into Predictable Realtime Systems. Quatorziémes Journèes Internationales d’Avignon, 1994.Google Scholar
  15. 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. 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. 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. 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

Copyright information

© Springer-Verlag Berlin Heidelberg 1999

Authors and Affiliations

  • Bouchaib Bounabat
    • 1
  • Rahal Romadi
    • 1
  • Salah Labhalla
    • 2
  1. 1.LGI, Ecole Nationale Supèrieured’Informatique et d’Analyse des SystémesAgdal RabatMaroc
  2. 2.Laboratoire des MathèmatiquesFacultè des Sciences Marrakech-SemlaliaMaroc

Personalised recommendations