Computer
Modeling and Verification of Time Dependent Systems Using Time Petri Nets
IEEE Transactions on Software Engineering
Coordination languages and their significance
Communications of the ACM
Rules of encounter: designing conventions for automated negotiation among computers
Rules of encounter: designing conventions for automated negotiation among computers
Role-Based Access Control Models
Computer
Prudent Engineering Practice for Cryptographic Protocols
IEEE Transactions on Software Engineering
Coloured Petri nets: basic concepts, analysis methods and practical use, volume 3
Coloured Petri nets: basic concepts, analysis methods and practical use, volume 3
JAFMAS: a multiagent application development system
AGENTS '98 Proceedings of the second international conference on Autonomous agents
On the expressive power of a language for programming coordination media
SAC '98 Proceedings of the 1998 ACM symposium on Applied Computing
Tuple-based technologies for coordination
Coordination of Internet agents
Coordination and security on the Internet
Coordination of Internet agents
Reusable patterns for agent coordination
Coordination of Internet agents
A formal model of open agent societies
Proceedings of the fifth international conference on Autonomous agents
The coming-of-age of software architecture research
ICSE '01 Proceedings of the 23rd International Conference on Software Engineering
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
Verifying Compliance with Commitment Protocols
Autonomous Agents and Multi-Agent Systems
The Gaia Methodology for Agent-Oriented Analysis and Design
Autonomous Agents and Multi-Agent Systems
Towards a Reference Model for Surveying Mobile Agent Systems
Autonomous Agents and Multi-Agent Systems
MARS: A Programmable Coordination Architecture for Mobile Agents
IEEE Internet Computing
Categories of Artificial Societies
ESAW '01 Proceedings of the Second International Workshop on Engineering Societies in the Agents World II
Co-ordination in Multi-Agent Systems
Software Agents and Soft Computing: Towards Enhancing Machine Intelligence, Concepts and Applications
Agents and Electronic Commerce: Mechanisms and Protocols (Abstract)
CIA '99 Proceedings of the Third International Workshop on Cooperative Information Agents III
Multiagent System Engineering: The Coordination Viewpoint
ATAL '99 6th International Workshop on Intelligent Agents VI, Agent Theories, Architectures, and Languages (ATAL),
Agent Oriented Analysis Using Message/UML
AOSE '01 Revised Papers and Invited Contributions from the Second International Workshop on Agent-Oriented Software Engineering II
Concurrency in CoOperative Objects
HIPS '97 Proceedings of the 1997 Workshop on High-Level Programming Models and Supportive Environments (HIPS '97)
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
Distributed Quiescence Detection in Multiagent Negotiation
ICMAS '00 Proceedings of the Fourth International Conference on MultiAgent Systems (ICMAS-2000)
AMELI: An Agent-Based Middleware for Electronic Institutions
AAMAS '04 Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems - Volume 1
Organizational Petri Nets for protocol design and enactment
AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
Dynamic Protocol Selection in Open and Heterogeneous Systems
IAT '06 Proceedings of the IEEE/WIC/ACM international conference on Intelligent Agent Technology
A Classification Structure for Automated Negotiations
WI-IATW '06 Proceedings of the 2006 IEEE/WIC/ACM international conference on Web Intelligence and Intelligent Agent Technology
Safe Adaptation of Component Coordination
Electronic Notes in Theoretical Computer Science (ENTCS)
Discovering protocols and organizational structures in workflows
NOTERE '08 Proceedings of the 8th international conference on New technologies in distributed systems
A coordination framework for Cooperative Information Gathering
International Journal of Advanced Intelligence Paradigms
Coordinating Agents Plans in Multi-Agent Systems Using Colored Petri Nets
PRIMA '08 Proceedings of the 11th Pacific Rim International Conference on Multi-Agents: Intelligent Agents and Multi-Agent Systems
An Agent-Based Organizational Model for Cooperative Information Gathering
Advanced Internet Based Systems and Applications
MAHIS-Based Analysis and Design of Petroleum Reservoir Characterisation System
Proceedings of the 2006 conference on Advances in Intelligent IT: Active Media Technology 2006
Towards a Methodology for Modeling Deontic Protocols Using the Organizational Petri Nets Formalism
KES-AMSTA '09 Proceedings of the Third KES International Symposium on Agent and Multi-Agent Systems: Technologies and Applications
Dynamic Execution of Coordination Protocols in Open and Distributed Multi-Agent Systems
KES-AMSTA '09 Proceedings of the Third KES International Symposium on Agent and Multi-Agent Systems: Technologies and Applications
Flexible coordinator design for modeling resource sharing in multi-agent systems
Journal of Systems and Software
Engineering deontic protocols by means of organizational Petri nets
Engineering Applications of Artificial Intelligence
A unification-based approach to configure generic protocols into agent interaction models
International Journal of Agent-Oriented Software Engineering
Engineering open environments with electronic institutions
Engineering Applications of Artificial Intelligence
Specifying and monitoring economic environments using rights and obligations
Autonomous Agents and Multi-Agent Systems
Designing institutional multi-agent systems
AOSE'06 Proceedings of the 7th international conference on Agent-oriented software engineering VII
A protocol ontology for inter-organizational workflow coordination
ADBIS'07 Proceedings of the 11th East European conference on Advances in databases and information systems
A formal framework for interaction protocol engineering
CEEMAS'05 Proceedings of the 4th international Central and Eastern European conference on Multi-Agent Systems and Applications
Participation components for holding roles in multiagent systems protocols
ESAW'04 Proceedings of the 5th international conference on Engineering Societies in the Agents World
Engineering agent conversations with the DIALOG framework
MATES'06 Proceedings of the 4th German conference on Multiagent System Technologies
Specification of role-based interactions components in multi-agent systems
Software Engineering for Multi-Agent Systems III
Hi-index | 0.00 |
Interaction protocols are widely recognized as an essential mechanism for coordination within multi-agent systems. There is thus a need for coordination models for specifying, validating, and implementing protocols, possibly open and concurrent, efficiently and reliably. This paper proposes such a model, which considers protocols as resources and each conversation among agents following the rules of a protocol as a well-identified process. To this end, a new kind of middle-agent, called Moderator, is introduced. A Moderator is in charge of monitoring a conversation so that it progresses according to the protocol rules, and provides agents with services to ease their involvement in the conversation. This model fits the organization-centered view of multi-agent systems as it strictly distinguishes the agent-level and the organization-level concerns with regard to interaction. In addition, the paper shows that this model is supported by a High-Level Petri Net language that covers all the steps of protocol engineering: design, validation, implementation. This paper presents this Moderator Coordination Model along four related dimensions: a conceptual model of protocols, a MAS architecture, a suitable modeling formalism, and an associated development process.