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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
B. Bauer, J. Odell. Extending UML for the Specification of Interaction Protocols, ICMAS 2000, IEEE Computer Society Press, 2000.
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.
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.
J. Ferber. Les systèmes multi-agents: vers une intelligence collective, InterEditions Paris, 1995.
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.
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).
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.
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.
T. Murata. Petri Nets: Properties, Analysis and Applications; Proc. of the IEEE, vol. 77, N° 4, pp. 541–580.
O. Nierstrasz. Regular Types for Active Objects; in ACM Sigplan Notices, 28 (10); Proceedings of OOPSLA’93, pp. 1–15, 1993.
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.
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.
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.
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.
W. Vogler. Modular Construction and Partial Order Semantics of Petri Nets. LNCS 625, Springer-Verlag, 1992.
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.
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.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights 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