Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering
Alternating Refinement Relations
CONCUR '98 Proceedings of the 9th International Conference on Concurrency Theory
WWW '05 Proceedings of the 14th international conference on World Wide Web
On Compatibility and Behavioural Substitutability of Component Protocols
SEFM '05 Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods
Contextualizing Behavioural Substitutability and Refinement of Role Components in MAS
Engineering Societies in the Agents World VIII
Contract based multi-party service composition
FSEN'07 Proceedings of the 2007 international conference on Fundamentals of software engineering
From public views to private views: correctness-by-design for services
WS-FM'07 Proceedings of the 4th international conference on Web services and formal methods
When are two web services compatible?
TES'04 Proceedings of the 5th international conference on Technologies for E-Services
A priori conformance verification for guaranteeing interoperability in open environments
ICSOC'06 Proceedings of the 4th international conference on Service-Oriented Computing
Specification of role-based interactions components in multi-agent systems
Software Engineering for Multi-Agent Systems III
Hi-index | 0.00 |
This paper deals with compatibility and conformance of role-based interaction components in MAS, namely in which case the first role component is a model (specification) and the second an implementation (or a refined model). First, we provide a semantics for the implementation of roles, which is defined upon alternating simulation relation, and show that the proposed semantics is compositional for role's composition. Then, we prove the independent role's implementability property, expressing that roles can be implemented independently of each other once their specifications are known. Finally, we study the preservation of the compatibility of roles by the proposed role's implementation semantics.