MIP-nets: a compositional model of multiagent interaction

Authors:
Sea Ling;Seng Wai Loke
Affiliations:
School of Computer Science and Software Engineering, Monash University, VIC, Australia;School of Computer Science and Software Engineering, Monash University, VIC, Australia
Venue:
CEEMAS'03 Proceedings of the 3rd Central and Eastern European conference on Multi-agent systems
Year:
2003

Citing 9
Cited 1

Free choice Petri nets

Free choice Petri nets
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
Debugging multi-agent systems using design artifacts: the case of interaction protocols

Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 2
Synthesizing Coordination Requirements for Heterogeneous Autonomous Agents

Autonomous Agents and Multi-Agent Systems
Advanced Petri Nets for Modelling Mobile Agent Enabled Interorganizational Workflows

ECBS '02 Proceedings of the 9th IEEE International Conference on Engineering of Computer-Based Systems
Formal Semantics for Behavioural Substitutability of Agent Components: Application to Interaction Protocols

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
Multi-Agent-Systems Based on Coloured Petri Nets

ICATPN '97 Proceedings of the 18th International Conference on Application and Theory of Petri Nets
From Formal Specifications to Ready-to-Use Software Components: The Concurrent Object Oriented Petri Net Approach

ACSD '01 Proceedings of the Second International Conference on Application of Concurrency to System Design
A Framework for Modeling Agent-Oriented Software

ICDCS '01 Proceedings of the The 21st International Conference on Distributed Computing Systems

Representing conversations for scalable overhearing

Journal of Artificial Intelligence Research

Quantified Score

Hi-index	0.00

Visualization

Abstract

We show how to translate interaction protocols in AUML to equivalent Petri net specifications. A novelty of our approach is that the Petri nets are modular, clearly separating the protocol from the interaction behaviour of agents induced by their participation in the protocol, yet compositional. Our model can serve at least two purposes in multiagent systems engineering: firstly, specification and verification, and secondly, as a basis for synthesising skeleton code of interacting agents from specifications in the spirit of interaction-oriented programming.