A behavioral notion of subtyping
ACM Transactions on Programming Languages and Systems (TOPLAS)
Regular types for active objects
Object-oriented software composition
Component software: beyond object-oriented programming
Component software: beyond object-oriented programming
Component-based software architectures: a framework based on inheritance of behavior
Science of Computer 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
CEEMAS '01 Revised Papers from the Second International Workshop of Central and Eastern Europe on Multi-Agent Systems: From Theory to Practice in Multi-Agent Systems
Using Colored Petri Nets for Conversation Modeling
Issues in Agent Communication
Extended Modeling Languages for Interaction Protocol Design
AOSE '01 Revised Papers and Invited Contributions from the Second International Workshop on Agent-Oriented Software Engineering II
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
Interaction Protocols in Agentis
ICMAS '98 Proceedings of the 3rd International Conference on Multi Agent Systems
Re-use of interaction protocols for agent-based control applications
AOSE'02 Proceedings of the 3rd international conference on Agent-oriented software engineering III
Representing conversations for scalable overhearing
Journal of Artificial Intelligence Research
Module-based architecture for a periodic job-shop scheduling problem
Computers & Mathematics with Applications
Analysis of the Petri net model of parallel manufacturing processes with shared resources
Information Sciences: an International Journal
| Hi-index | 0.00 |
This paper proposes to study a refinement of open and concurrent interaction protocols, allowing hierarchical construction of complex interactions in multi-agent systems. The generic approach presented in this paper integrates Petri nets formalism and component based approach. The study of the refinement of the protocols by the principle of component-substitutability has been used to address one of the key issues of component-based software development, consistency: will a component protocol fit or not? This paper provides new results to deal with some protocol engineering issues through the specification and the verification of such protocols.