Software engineering: a practitioner's approach (2nd ed.)
Software engineering: a practitioner's approach (2nd ed.)
Synchronization of asynchronous processes in CSP
ACM Transactions on Programming Languages and Systems (TOPLAS)
Introduction To Automata Theory, Languages, And Computation
Introduction To Automata Theory, Languages, And Computation
The Gaia Methodology for Agent-Oriented Analysis and Design
Autonomous Agents and Multi-Agent Systems
Evaluating Deadlock Detection Methods for Concurrent Software
IEEE Transactions on Software Engineering
Synchrony Loosening Transformations for Interacting Processes
CONCUR '91 Proceedings of the 2nd International Conference on Concurrency Theory
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
Agent Oriented Analysis Using Message/UML
AOSE '01 Revised Papers and Invited Contributions from the Second International Workshop on Agent-Oriented Software Engineering II
AAMAS '04 Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems - Volume 2
Building the core architecture of a NASA multiagent system product line
AOSE'06 Proceedings of the 7th international conference on Agent-oriented software engineering VII
Modeling NASA swarm-based systems: using agent-oriented software engineering and formal methods
Software and Systems Modeling (SoSyM)
Hi-index | 0.00 |
When the protocol of a complex Multi-Agent System (MAS) needs to be developed, the top-down approach emphasises to start with abstract descriptions that should be refined incrementally until we achieve the detail level necessary to implement it. Unfortunately, there exist a semantic gap in protocol description methodologies because most of them first identify which tasks have to be performed, and then use low level descriptions such as sequences of messages to detail them. In this paper, we propose an approach to bridge this gap. We model MAS protocols using several abstract views of the tasks to be performed, and provide a systematic method to simplify them. Tasks are represented by means of interactions that may be refined into lower-level interactions with the techniques proposed in this paper (simpler interactions are easier to describe and implement using message passing.) Unfortunately, deadlocks may appear due to protocol design mistakes or due to the refinement process. Thus, we also propose an algorithm to ensure that protocols are deadlock free.