Advertisement

Contextualizing Behavioural Substitutability and Refinement of Role Components in MAS

  • Nabil Hameurlain
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, 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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 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)CrossRefGoogle Scholar
  2. 2.
    Dastani, M., Dignum, V., Dignum, F.: Role Assignment in Open Agent Societies. In: AAMAS 2003, pp. 489–495. ACM, New York (2003)CrossRefGoogle Scholar
  3. 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. 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)CrossRefGoogle Scholar
  5. 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. 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)CrossRefGoogle Scholar
  7. 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)CrossRefGoogle Scholar
  8. 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. 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)CrossRefGoogle Scholar
  10. 10.
    Murata, T.: Petri Nets: Properties, Analysis and Applications. Proc. of the IEEE 77(4), 541–580 (1989)CrossRefGoogle Scholar
  11. 11.
    Liskov, B.H., Wing, J.M.: A Behavioral Notion of Subtyping. ACM Trans. on Programing Languages and Systems 16(6), 1811–1841 (1994)CrossRefGoogle Scholar
  12. 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. 13.
    Szyperski, C.: Component Software-Beyond Object-Oriented Programming. Addison-Wesley, Reading (2002)Google Scholar
  14. 14.
    Zambonelli, F., Jennings, N., Wooldridge, M.: Developing Multiagent Systems: The Gaia Methodology. ACM TOSEM 12(3), 317–370 (2003)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2008

Authors and Affiliations

  • Nabil Hameurlain
    • 1
  1. 1.LIUPPA LaboratoryPauFrance

Personalised recommendations