Skip to main content
SpringerLink
Log in

Specification of Role-Based Interactions Components in Multi-agent Systems

  • Conference paper
Software Engineering for Multi-Agent Systems III (SELMAS 2004)

Part of the book series: Lecture Notes in Computer Science ((LNPSE,volume 3390))

Abstract

Roles are an important concept used for different purposes as the modeling of the organizational structure of multi-agent systems, the modeling of protocols, and as basic building blocks for defining the behavior of agents. Modeling interactions by roles brings several advantages, the most important of which is the separation of concerns by distinguishingthe agent-level and system-level with regard to interaction. However, in open MASs, the composition of independently developed roles can lead to unexpected emergent interaction among agents. This paper identifies requirements for modeling role-based interactions, and presents a formal specification model of roles for complex interactions. Our approach aims to integrate specification and verification of roles into the Component Based Development approach. An interaction protocol example is given to illustrate our formal framework.

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. Brazier, F.M.T., Dunin Keplicz, B., Jennings, N., Treur, J.: Desire: Modelling Multi-agent Systems in a Compositional Formal Framework. International Journal of Cooperative Information Systems 6, 67–94 (1997)

    Article  Google Scholar 

  2. Dastani, M., Dignum, V., Dignum, F.: Role Assignment in Open Agent Societies. In: AAMAS 2003. ACM, New York (2003)

    Google Scholar 

  3. Dastani, M., van Riemsdijk, M.B., Huslstijn, J., Dignum, F., Meyer, J.-J.: 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)

    Chapter  Google Scholar 

  4. 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)

    Article  Google Scholar 

  5. Cabri, G., Leonardi, L., Zambonelli, F.: BRAIN: a Framework for Flexible Role-based Interactions in Multi-agent Systems. In: Meersman, R., Tari, Z., Schmidt, D.C. (eds.) CoopIS 2003, DOA 2003, and ODBASE 2003. LNCS, vol. 2888, pp. 145–161. Springer, Heidelberg (2003)

    Chapter  Google Scholar 

  6. Clarke, E.M., Emerson, E.A., Sistla, A.P.: Automatic Verification of finite-State Concurrent Systems using Temporal Logic Specifications. ACM Transactions on Programming Languages and Systems 8(2), 244–263 (1986)

    Article  MATH  Google Scholar 

  7. Ferber, J., Gutknecht, O.: Aalaadin: A Meta-model for the Analysis and Design of Organizations in Multiagent system. In: ICMAS (1998)

    Google Scholar 

  8. Gruer, P., Hilaire, V., Koukam, A.: Formal Specification and Verification of Multi-agent Systems. In: ICMAS 2000. IEEE, Los Alamitos (2000)

    Google Scholar 

  9. Gudgin, M.: Essential IDL: Interface Design for COM. Addison-Wesley, Reading (2001)

    Google Scholar 

  10. Hameurlain, N.: Formal Semantics for Behavioural Substitutability of Agent Components: Application to Interaction Protocols. In: Dunin-Keplicz, B., Nawarecki, E. (eds.) CEEMAS 2001. LNCS (LNAI), vol. 2296, pp. 131–140. Springer, Heidelberg (2002)

    Chapter  Google Scholar 

  11. Hanachi, C., Sibertin-Blanc, C.: Protocol Moderators as Active Middle-Agents in Multi-Agent Systems. In: AAMAS, vol. 8(3), pp. 131–164. Kluwer Academic Publishers, Dordrecht (2004)

    Google Scholar 

  12. Kendall, E.A.: Role Modelling for Agent Systems Analysis, Design and Implementation. IEEE Concurrency 8(2), 34–41 (2000)

    Article  Google Scholar 

  13. Koning, J.-L., Huget, M.-P., Wei, J., Wang, X.: Extended Modeling Languages for Interaction Protocol Design. In: Wooldridge, M.J., Weiß, G., Ciancarini, P. (eds.) AOSE 2001. LNCS, vol. 2222, pp. 93–100. Springer, Heidelberg (2002)

    Chapter  Google Scholar 

  14. Kristensen, B.B.: Object Oriented Modeling with Roles. In: Proc. 2nd International Conference on Object-Oriented Information Systems (OOIS 1995), pp. 57–71. Springer, Heidelberg (1995)

    Google Scholar 

  15. Manna, Z., Pnueli, A.: Temporal Verification of Reactive Systems-Safety. Springer, Heidelberg (1995)

    Google Scholar 

  16. Murata, T.: Petri Nets: Properties, Analysis and Applications. Proceedings of the IEEE 77(4), 541–580 (1989)

    Article  Google Scholar 

  17. Meyer, B.: Object-Oriented software Construction. Prentice Hall, Upper Saddle River (1997)

    Google Scholar 

  18. Odell, J., Parunak, H.V.D., Brueckner, S., Sauter, J.: Temporal Aspects of Dynamic Role Assignment. In: Giorgini, P., Müller, J.P., Odell, J.J. (eds.) AOSE 2003. LNCS, vol. 2935, pp. 201–213. Springer, Heidelberg (2004)

    Chapter  Google Scholar 

  19. OMG.: OMG Unified Modeling Language specifications. Report V1.3, OMG (June 1999)

    Google Scholar 

  20. OMG.: The Common Object Request Broker: Architecture and Specifications. Report V2.4, OMG (2000)

    Google Scholar 

  21. Luck, M., d’Inverno, M.: A formal Framework for Agency and Autonomy. In: ICMAS 1995. AAAI Press/MIT Press (1995)

    Google Scholar 

  22. Roch, S., Starke, P.H.: INA: Integrated Net Analyzer, Version 2.2., Humboldt-Universitat of Berlin (April 1999)

    Google Scholar 

  23. Sibertin-Blanc, C.: CoOperative Objects: Principles, Use and Implementation. In: Agha, G.A., De Cindio, F., Rozenberg, G. (eds.) APN 2001. LNCS, vol. 2001, p. 216. Springer, Heidelberg (2001)

    Chapter  Google Scholar 

  24. Sibertin-Blanc, C., et al.: SYROCO: Reference Manual V7., University Toulouse1 (C) 1995, 97, CNET and University Toulouse 1 (October 1996), Available at http://www.daimi.aau.dk/PetriNet/tools

  25. Sun Microsystems,JavaBeans 1.01 Specification, Available at http://java.sun.com/beans

  26. Szyperski, C.: Component Software-Beyond Object-Oriented Programming. Addison-Wesley, Reading (2002)

    Google Scholar 

  27. Warmer, J., Kleppe, A.: The Object Constraint Language. Addison Wesley, Reading (1999)

    Google Scholar 

  28. Zambonelli, F., Jennings, N., Wooldridge, M.: Developing Multiagent Systems: The Gaia Methodology. ACM Transactions on Software Engineering and Methodology 12(3), 317–370 (2003)

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

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

    Nabil Hameurlain

  2. IRIT Laboratory, University Toulouse I, Place Anatole France, 31042, Toulouse, France

    Christophe Sibertin-Blanc

Authors
  1. Nabil Hameurlain
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Christophe Sibertin-Blanc
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. SE-8, IME, Pca General Tiburcio 80, 22290-270, Rio de Janeiro, RJ, Brazil

    Ricardo Choren

  2. Lancaster University, Lancaster, UK

    Alessandro Garcia

  3. Computer Science Department, Pontifical Catholic University of Rio de Janeiro, Brazil

    Carlos Lucena

  4. Computer Science School, Newcastle University, UK

    Alexander Romanovsky

Rights and permissions

Reprints and permissions

Copyright information

© 2005 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Hameurlain, N., Sibertin-Blanc, C. (2005). Specification of Role-Based Interactions Components in Multi-agent Systems. In: Choren, R., Garcia, A., Lucena, C., Romanovsky, A. (eds) Software Engineering for Multi-Agent Systems III. SELMAS 2004. Lecture Notes in Computer Science, vol 3390. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-31846-0_11

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-31846-0_11

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-24843-9

  • Online ISBN: 978-3-540-31846-0

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation