Skip to main content
SpringerLink
Log in
Book cover

International Workshop on Engineering Societies in the Agents World

ESAW 2007: Engineering Societies in the Agents World VIII pp 193–207Cite as

Contextualizing Behavioural Substitutability and Refinement of Role Components in MAS

  • Conference paper

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

Abstract

In this paper we focus on a new approach for the definition of context-based behavioural substitutability and refinement of roles in MAS. First, we introduce two flexible roles compatibility relations depending on the context of use (environment). Then, our formal framework is enhanced with the definition of two flexible behavioral subtyping relations related to the principle of substitutability. We show the existing link between compatibility and substitutability, and namely the preservation of the proposed compatibility relations by substitutability. Finally, we study the action as well as the state-based refinements of roles and investigate the links between the substitutability and the refinements of roles. We show that the proposed behavioural substitutability relations are preserved under the roles refinement.

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. De Alfaro, L., Henzinger, T.A.: Interface automata. In: Proc of ESEC/FSE. Software Engineering Notes, vol. 26(5), pp. 109–120. ACM, New York (2001)

    Chapter  Google Scholar 

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

    Chapter  Google Scholar 

  3. Cabri, G., Leonardi, L., Zambonelli, F.: BRAIN: a Framework for Flexible Role-based Interations 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)

    Google Scholar 

  4. Chopra, A.-K., Singh, M.P.: Contextualizing Commitment Protocols. In: 5th International Joint Conference on Autonomous Agents and Multi-agent Systems (AAMAS), pp. 1345–1352. ACM, New York (2006)

    Chapter  Google Scholar 

  5. 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, vol. 3390, pp. 180–197. Springer, Heidelberg (2005)

    Google Scholar 

  6. Hameurlain, N.: Formalizing Compatibility and Substitutability of Role-based Interactions Components in Multi-agent Systems. In: Pěchouček, M., Petta, P., Varga, L.Z. (eds.) CEEMAS 2005. LNCS (LNAI), vol. 3690, pp. 153–162. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

  7. Hameurlain, N.: Formalizing Context-Based Behavioural Compatibility and Substitutability of Roles in MAS. In: Burkhard, H.-D., Lindemann, G., Verbrugge, R., Varga, L.Z. (eds.) CEEMAS 2007. LNCS (LNAI), vol. 4696, pp. 153–162. Springer, Heidelberg (2007)

    Chapter  Google Scholar 

  8. Martens, A.: Analyzing Web Service Based Business. In: Cerioli, M. (ed.) FASE 2005. LNCS, vol. 3442, pp. 19–33. Springer, Heidelberg (2005)

    Google Scholar 

  9. Mazouzi, H., El Fallah Seghrouchni, A., Haddad, S.: Open Protocol Design for Complex Interactions in MAS. In: AAMAS 2002, pp. 517–526. ACM, New York (2002)

    Chapter  Google Scholar 

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

    Article  Google Scholar 

  11. Liskov, B.H., Wing, J.M.: A Behavioral Notion of Subtyping. ACM Trans. on Programing Languages and Systems 16(6), 1811–1841 (1994)

    Article  Google Scholar 

  12. Vitteau, B., Huget, M.-P.: Modularity in Interaction Protocols. In: Dignum, F.P.M. (ed.) ACL 2003. LNCS (LNAI), vol. 2922, pp. 291–309. Springer, Heidelberg (2004)

    Google Scholar 

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

    Google Scholar 

  14. Zambonelli, F., Jennings, N., Wooldridge, M.: Developing Multiagent Systems: The Gaia Methodology. ACM TOSEM 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

Authors
  1. Nabil Hameurlain
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Alexander Artikis Gregory M. P. O’Hare Kostas Stathis George Vouros

Rights and permissions

Reprints and permissions

Copyright information

© 2008 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Hameurlain, N. (2008). Contextualizing Behavioural Substitutability and Refinement of Role Components in MAS. In: Artikis, A., O’Hare, G.M.P., Stathis, K., Vouros, G. (eds) Engineering Societies in the Agents World VIII. ESAW 2007. Lecture Notes in Computer Science(), vol 4995. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-87654-0_10

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-87654-0_10

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-87653-3

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

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation