An Optimistic Approach for the Specification of more Flexible Roles Behavioural Compatibility Relations in MAS

Nabil Hameurlain (1)

1 LIUPPA - Laboratoire Informatique de l'Université de Pau et des Pays de l'Adour

Dans cet article, nous nous focalisons sur une nouvelle approche de définition d'une compatibilité plus flexible des rôles dans les SMA. Nous proposons une architecture formelle pour la spécification des rôles et leur composition, prenant en compte la préservation de propriétés comme la complétion et la terminaison propre des rôles. Nous mettons en évidence le lien existant entre la compatibilité et la substitutabilité des rôles, et plus particulièrement, nous montrons que les relations de compatibilité ainsi définies sont préservées par la substitutabilité. In this paper we focus on a new approach to the definition of more flexible roles compatibility in MAS. We provide a formal framework for modeling roles together with their composition, taking into account the property preservation such as the completion and the proper termination of roles. We show the existing link between roles compatibility and substitutability, namely the preservation of the proposed compatibility relations by substitutability.

Mots clés: substitutability

Mots clés: interaction; compatibilité optimiste; substitutabilité; Roles; components; optimistic compatibility; substitutability.

Domaines: Complexité [cs.CC]

Nabil Hameurlain. An Optimistic Approach for the Specification of more Flexible Roles Behavioural Compatibility Relations in MAS. 2007. ⟨hal-00192869⟩