A behavioral notion of subtyping
ACM Transactions on Programming Languages and Systems (TOPLAS)
Temporal verification of reactive systems: safety
Temporal verification of reactive systems: safety
Component Software: Beyond Object-Oriented Programming
Component Software: Beyond Object-Oriented Programming
A survey of equivalence notions for net based systems
Advances in Petri Nets 1992, The DEMON Project
A Meta-Model for the Analysis and Design of Organizations in Multi-Agent Systems
ICMAS '98 Proceedings of the 3rd International Conference on Multi Agent Systems
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)
Enacting and deacting roles in agent programming
AOSE'04 Proceedings of the 5th international conference on Agent-Oriented Software Engineering
Modelling parametric contracts and the state space of composite components by graph grammars
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
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
Contextualizing Behavioural Substitutability and Refinement of Role Components in MAS
Engineering Societies in the Agents World VIII
Formal Specification of Substitutability Property for Fault-Tolerance in Reactive Autonomic Systems
Proceedings of the 2010 conference on New Trends in Software Methodologies, Tools and Techniques: Proceedings of the 9th SoMeT_10
Hi-index | 0.00 |
This paper focus on compatibility and substitutability of roles in MAS. We propose a formal specification of role-based interactions components together with their composition. We investigate compatibility of roles, and propose two compatibility relations, characterised to their degree of change by property (safety and liveness) preservation. Our approach is enhanced with the definition of behavioural subtyping relations, related to the principle of substitutability. We show the existing link between compatibility and substitutability concepts, and namely their combination, which seems to be necessary when we deal with incremental design of role-based complex interactions. The suitability of our approach is shown by its application to an interaction protocol example.