Abstract
This paper focus on compatibility and substitutability of roles in MAS. We propose a formal specification of role-based interactions components together with their composition. We investigate compatibility of roles, and propose two compatibility relations, characterised to their degree of change by property (safety and liveness) preservation. Our approach is enhanced with the definition of behavioural subtyping relations, related to the principle of substitutability. We show the existing link between compatibility and substitutability concepts, and namely their combination, which seems to be necessary when we deal with incremental design of role-based complex interactions. The suitability of our approach is shown by its application to an interaction protocol example.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Dastani, M., Dignum, V., Dignum, F.: Role Assignment in Open Agent Societies. In: AAMAS 2003. ACM, New York (2003)
Dastani, M.M., van Riemsdijk, M.B., Hulstijn, J., Dignum, F.P.M., Meyer, J.-J.C.: Enacting and Deacting Roles in Agent Programming. In: Odell, J.J., Giorgini, P., Müller, J.P. (eds.) AOSE 2004. LNCS, vol. 3382, pp. 189–204. Springer, Heidelberg (2005)
Depke, R., Heckel, R., Kuster, J.M.: Roles in Agent-Oriented Modeling. International Journal of Software engineering and Knowledge engineering 11(3), 281–302 (2001)
Cabri, G., Leonardi, L., Zambonelli, F.: BRAIN: a Framework for Flexible Role-based Interactions in Multi-agent Systems. In: Proceedings of CoopIS 2003 (2003)
Ferber, J., Gutknecht, O.: Aalaadin. A Meta-model for the Analysis and Design of Organizations in Multiagent system. In: ICMAS 1998 (1998)
Hameurlain, N., Sibertin-Blanc, C.: Specification of Role-based Interactions Components in MAS. In: Choren, R., Garcia, A., Lucena, C., Romanovsky, A. (eds.) SELMAS 2004. LNCS (LNAI), vol. 3390, pp. 180–197. Springer, Heidelberg (2005)
Liskov, B.H., Wing, J.M.: A Behavioral Notion of Subtyping. ACM Trans. on Programming Languages and Systems 16(6) (November 1994)
Manna, Z., Pnueli, A.: Temporal Verification of Reactive Systems-Safety. LNCS. Springer, Heidelberg (1995)
Pomello, L., Rozenberg, G., Simone, C.: A Survey of Equivalence Notions for Net Based System. In: Rozenberg, G. (ed.) APN 1992. LNCS, vol. 609. Springer, Heidelberg (1992)
Reussner, R.H., Happe, J., Habel, A.: Modelling Parametric Component Contracts and the State Space of Composite Components by Graph Grammars. In: Cerioli, M. (ed.) FASE 2005. LNCS, vol. 3442, pp. 80–95. Springer, Heidelberg (2005)
Szyperski, C.: Component Software-Beyond Object-Oriented Programming. Addison- Wesley, Reading (2002)
Van der Aalst, W.M.P., van Hee, k.M., van der Toorn, R.A.: Component-Based Software Architectures: A framework Based on inheritance of Behaviour. Beta Working Paper Series 45, Eindhoven University of Technology (2000)
Zambonelli, F., Jennings, N., Wooldridge, M.: Developing Multiagent Systems: The Gaia Methodology. ACM TSEM 12(3), 317–370 (2003)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Hameurlain, N. (2005). Formalizing Compatibility and Substitutability of Rolebased Interactions Components in Multi-agent Systems. In: Pěchouček, M., Petta, P., Varga, L.Z. (eds) Multi-Agent Systems and Applications IV. CEEMAS 2005. Lecture Notes in Computer Science(), vol 3690. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11559221_16
Download citation
DOI: https://doi.org/10.1007/11559221_16
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-29046-9
Online ISBN: 978-3-540-31731-9
eBook Packages: Computer ScienceComputer Science (R0)