Regular types for active objects
OOPSLA '93 Proceedings of the eighth annual conference on Object-oriented programming systems, languages, and applications
A behavioral notion of subtyping
ACM Transactions on Programming Languages and Systems (TOPLAS)
Modular Construction and Partial Order Semantics of Petri Nets
Modular Construction and Partial Order Semantics of Petri Nets
Inheritance as an Incremental Modification Mechanism or What Like Is and Isn't Like
ECOOP '88 Proceedings of the European Conference on Object-Oriented Programming
Behavioural Types in CoOperative Objects
Proceedings of the Workshop on Object-Oriented Technology
Requirements for a Composition Language
ECOOP '94 Selected papers from the ECOOP'94 Workshop on Models and Languages for Coordination of Parallelism and Distribution, Object-Based Models and Languages for Concurrent Systems
A survey of equivalence notions for net based systems
Advances in Petri Nets 1992, The DEMON Project
Formalization of a Cooperation Model Based on Joint Intentions
ECAI '96 Proceedings of the Workshop on Intelligent Agents III, Agent Theories, Architectures, and Languages
Behavioural subtyping and property preservation for active objects
FMOODS '02 Proceedings of the IFIP TC6/WG6.1 Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems V
The Contract Net Protocol: High-Level Communication and Control in a Distributed Problem Solver
IEEE Transactions on Computers
MIP-nets: a compositional model of multiagent interaction
CEEMAS'03 Proceedings of the 3rd Central and Eastern European conference on Multi-agent systems
CEEMAS'03 Proceedings of the 3rd Central and Eastern European conference on Multi-agent systems
Participation components for holding roles in multiagent systems protocols
ESAW'04 Proceedings of the 5th international conference on Engineering Societies in the Agents World
Specification of role-based interactions components in multi-agent systems
Software Engineering for Multi-Agent Systems III
Hi-index | 0.00 |
This paper presents formal semantics for behavioural substitutability of agent components, and argues that the traditional approaches used in software multi-agent systems are not rigorous and have some limitations. We propose various substitutability relations based upon the preorder relations which are considered in the study of concurrent systems. Examples of interaction protocols such as the Contract-Net-Protocol are given to illustrate our approach.