Skip to main content
SpringerLink
Log in

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

  • Conference paper
  • First Online:
Approaches to Intelligence Agents (PRIMA 1999)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 1733))

Included in the following conference series:

Abstract

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Furbach, U.: Formal specification methods for reactive systems. Journal of Systems Software, 21 pp. 129–139, (1993).

    Article  Google Scholar 

  2. Harel, D.: Statemate: aworking environment for the development of complex systems. IEEE Software Engineering, 16(4), (1987).

    Google Scholar 

  3. Harel, D.: STATECHARTS: A Visual Formalism for Complex Systems. Science of Computer Programming, 8 pp. 231–274, (1987).

    Article  MATH  MathSciNet  Google Scholar 

  4. Berry, G.: The ESTEREL V5 Language Primer. Internal Report, CMA Ecoles des Mine, INRIA, Paris, 17 Mars (1998).

    Google Scholar 

  5. F. Boussinot, and R. de Simone.: The ESTEREL language. Proceeding of the of the IEEE, 79(9):1293–1304, September (1991).

    Article  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 

  11. Nwana. H.S.: Software Agents: An overview. Knowledge Engineering Review, 11(3) pp.205–244 (1996).

    Article  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 

Download references

Author information

Authors and Affiliations

  1. LGI, Ecole Nationale Supèrieure, d’Informatique et d’Analyse des Systémes, BP 713, Agdal Rabat, Maroc

    Bouchaib Bounabat & Rahal Romadi

  2. Laboratoire des Mathèmatiques, Facultè des Sciences Marrakech-Semlalia, Maroc

    Salah Labhalla

Authors
  1. Bouchaib Bounabat
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Rahal Romadi
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Salah Labhalla
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Electrotechnical Laboratories, Umezono 1-1-4, Tsukuba, Ibaraki, 305-0045, Japan

    Hideyuki Nakashima

  2. Deakin University Geelong, Scool of Computing and Mathematics, Victoria 3217, Australia

    Chengqi Zhang

Rights and permissions

Reprints and permissions

Copyright information

© 1999 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Bounabat, B., Romadi, R., Labhalla, S. (1999). Designing Multi-Agent Reactive Systems: A Specification Method Based on Reactive Decisional Agents. In: Nakashima, H., Zhang, C. (eds) Approaches to Intelligence Agents. PRIMA 1999. Lecture Notes in Computer Science(), vol 1733. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-46693-2_15

Download citation

  • DOI: https://doi.org/10.1007/3-540-46693-2_15

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-66823-7

  • Online ISBN: 978-3-540-46693-2

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation