Contextualizing Behavioural Substitutability and Refinement of Role Components in MAS

摘要

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.