Compatibility and Conformance of Role-Based Interaction Components in MAS

摘要

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.