Compatibility and Conformance of Role-Based Interaction Components in MAS

  • Nabil Hameurlain
Conference paper

DOI: 10.1007/978-3-642-01665-3_58

Part of the Lecture Notes in Computer Science book series (LNCS, volume 5559)
Cite this paper as:
Hameurlain N. (2009) Compatibility and Conformance of Role-Based Interaction Components in MAS. In: Håkansson A., Nguyen N.T., Hartung R.L., Howlett R.J., Jain L.C. (eds) Agent and Multi-Agent Systems: Technologies and Applications. KES-AMSTA 2009. Lecture Notes in Computer Science, vol 5559. Springer, Berlin, Heidelberg

Abstract

This paper deals with compatibility and conformance of role-based interaction components in MAS, namely in which case the first role component is a model (specification) and the second an implementation (or a refined model). First, we provide a semantics for the implementation of roles, which is defined upon alternating simulation relation, and show that the proposed semantics is compositional for role’s composition. Then, we prove the independent role’s implementability property, expressing that roles can be implemented independently of each other once their specifications are known. Finally, we study the preservation of the compatibility of roles by the proposed role’s implementation semantics.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2009

Authors and Affiliations

  • Nabil Hameurlain
    • 1
  1. 1.LIUPPA LaboratoryPauFrance

Personalised recommendations