Compatibility and Conformance of Role-Based Interaction Components in MAS
- 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
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.
Unable to display preview. Download preview PDF.