Skip to main content
SpringerLink
Log in
Book cover

International Workshop of Central and Eastern Europe on Multi-Agent Systems

CEEMAS 2001: From Theory to Practice in Multi-Agent Systems pp 131–140Cite as

Formal Semantics for Behavioural Substitutability of Agent Components: Application to Interaction Protocols

  • Conference paper
  • First Online:

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

Abstract

This paper presents formal semantics for behavioural substitutability of agent components, and argues that the traditional approaches used in software multi-agent systems are not rigorous and have some limitations. We propose various substitutability relations based upon the preorder relations which are considered in the study of concurrent systems. Examples of interaction protocols such as the Contract-Net-Protocol are given to illustrate our approach.

This is a preview of subscription content, 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

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. B. Bauer, J. Odell. Extending UML for the Specification of Interaction Protocols, ICMAS 2000, IEEE Computer Society Press, 2000.

    Google Scholar 

  2. F. M.T. Brazier, C. M. Jonker, J. Treur. Formalisation of a Cooperation Model Based on Joint Intentions. ATAL’96, LNCS/LNAI 1193, pp141–155.

    Google Scholar 

  3. E. Brinksma, g. Scollo, and Ch. Steenbergen. LOTOS specifications, their implementations and their tests. In Protocol Specification, Testing and Verification VI, pages 349–358, Elsiever, 1987.

    Google Scholar 

  4. J. Ferber. Les systèmes multi-agents: vers une intelligence collective, InterEditions Paris, 1995.

    Google Scholar 

  5. N. Hameurlain. Composition et Substitution d’agents: sémantique et préservation de propriétés; in proceedings of JFIADSMA’01, pp 135–147, Hermès Science publications, 2001.

    Google Scholar 

  6. N. Hameurlain. Behavioural Subtyping and Property Preservation for Active Objects; Fifth IFIP International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS’02, Chapman and Hall, March 2002 (to appear).

    Google Scholar 

  7. N. Hameurlain, C. Sibertin-Blanc. Behavioural Types in CoOperative Objects; Second International Workshop on Semantics of Objects As Processes, SOAP’99. BRICS NS-99-2, Hüttel et al. (eds.), pp 29–38, 1999.

    Google Scholar 

  8. B. H. Liskov, J. M. Wing. A Behavioral Notion of Subtyping; in ACM Trans. on Programming Languages and Systems, Vol 16, n° 6, Nov. 1994.

    Google Scholar 

  9. T. Murata. Petri Nets: Properties, Analysis and Applications; Proc. of the IEEE, vol. 77, N° 4, pp. 541–580.

    Google Scholar 

  10. O. Nierstrasz. Regular Types for Active Objects; in ACM Sigplan Notices, 28 (10); Proceedings of OOPSLA’93, pp. 1–15, 1993.

    Article  Google Scholar 

  11. O. Nierstrasz, T. D. Meijler. Requirements for a Composition Language, ECOOP’94 Workshop on Models and Languages for Coordination of Parallelism and Distribution, LNCS 924, Springer-Verlag, 1994.

    Google Scholar 

  12. L. Pomello, G. Rozenberg, C. Simone. A Survey of Equivalence Notions for Net Based System. Advances in Petri Nets 1992; G. Rozenberg Ed., LNCS 609, Springer-Verlag 1992.

    Google Scholar 

  13. J-L. Koning, M-P. Huget. A Semi-formal Specification Language Dedicated to interaction Protocols. 10th European-Japanese Conference on Information Modelling and Knowledge Bases, IOS Press, May 2000.

    Google Scholar 

  14. G. R. Smith. The Contract Net Protocol: High-Level Communication and Control in Distributed Problem Solver. IEEE Transaction on Computers, Vol. C-29, N° 12, 1980, pp 1104–1113.

    Article  Google Scholar 

  15. W. Vogler. Modular Construction and Partial Order Semantics of Petri Nets. LNCS 625, Springer-Verlag, 1992.

    Google Scholar 

  16. P. Wegner, S. Zdonik. Inheritance as an Incremental Modification Mechanism, or What Is and Isn’t Like; in Proc. ECOOP 88, LNCS 322, Springer-Verlag, pp. 55–77, 1988.

    Google Scholar 

  17. M-J. Yoo. Une Approche Componentielle pour la Modélisation d’Agents Coopératifs et leur Validation, Ph. D Thesis, University of Paris 6, 2000.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. LIUPPA Laboratory, Avenue de l’Université, BP 1155, 64013, Pau, France

    Nabil Hameurlain

Authors
  1. Nabil Hameurlain
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Institute of Informatics, Warsaw University, ul. Banacha 2, 02-097, Warsaw, Poland

    Barbara Dunin-Keplicz

  2. Department of Computer Science, University of Mining and Metallurgy, al. Mickiewicza 30, 30-059, Krakow, Poland

    Edward Nawarecki

Rights and permissions

Reprints and permissions

Copyright information

© 2002 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Hameurlain, N. (2002). Formal Semantics for Behavioural Substitutability of Agent Components: Application to Interaction Protocols. In: Dunin-Keplicz, B., Nawarecki, E. (eds) From Theory to Practice in Multi-Agent Systems. CEEMAS 2001. Lecture Notes in Computer Science(), vol 2296. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45941-3_14

Download citation

  • DOI: https://doi.org/10.1007/3-540-45941-3_14

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-43370-5

  • Online ISBN: 978-3-540-45941-5

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation