A behavioral notion of subtyping
ACM Transactions on Programming Languages and Systems (TOPLAS)
Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering
Component Software: Beyond Object-Oriented Programming
Component Software: Beyond Object-Oriented Programming
Open protocol design for complex interactions in multi-agent systems
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 2
Role-assignment in open agent societies
AAMAS '03 Proceedings of the second international joint conference on Autonomous agents and multiagent systems
Developing multiagent systems: The Gaia methodology
ACM Transactions on Software Engineering and Methodology (TOSEM)
Contextualizing commitment protocol
AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
Formalizing Context-Based Behavioural Compatibility and Substitutability for Role Components in MAS
CEEMAS '07 Proceedings of the 5th international Central and Eastern European conference on Multi-Agent Systems and Applications V
CEEMAS'05 Proceedings of the 4th international Central and Eastern European conference on Multi-Agent Systems and Applications
Analyzing web service based business processes
FASE'05 Proceedings of the 8th international conference, held as part of the joint European Conference on Theory and Practice of Software conference on Fundamental Approaches to Software Engineering
Specification of role-based interactions components in multi-agent systems
Software Engineering for Multi-Agent Systems III
Compatibility and Conformance of Role-Based Interaction Components in MAS
KES-AMSTA '09 Proceedings of the Third KES International Symposium on Agent and Multi-Agent Systems: Technologies and Applications
Hi-index | 0.00 |
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.