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
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
A Formal Framework for Component Pr otocols Behavioural Compatibility
APSEC '06 Proceedings of the XIII Asia Pacific Software Engineering Conference
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
Contextualizing Behavioural Substitutability and Refinement of Role Components in MAS
Engineering Societies in the Agents World VIII
| Hi-index | 0.00 |
In this paper we focus on a new approach for the definition of context-based compatibility and substitutability of roles in MAS, and provide a formal framework for modeling roles together with their composition. First, we introduce the concept of usability of roles, and based on that we define two flexible roles compatibility relations depending on the context (environment). The proposed compatibility relations take into account the property preservation such as the completion and the proper termination of roles. Then, our formal framework is enhanced with the definition of two flexible behavioral subtyping relations related to the principle of substitutability. Finally, we show the existing link between compatibility and substitutability of roles, namely the preservation of the proposed compatibility relations by substitutability.