ABSTRACT
Interaction protocols for multiagent systems have been described diagrammatically in an extension of UML called AUML (Agent UML). In this paper, we show how to translate these protocols 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. We contend that compositionality is useful since multiagent systems and their interactions are inherently modular, and so that mission-critical parts of a system can be analysed separately. Our model can serve at least two purposes in multigent 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.
- W. v. Aalst. The application of Petri nets to workflow management. The Journal of Circuits, Systems and Computers, 8(1):21--66, 1998.]]Google Scholar
- W. v. Aalst. Interorganizational workflows: An approach based on message sequence charts and Petri nets. Systems Analysis - Modelling - Simulation, 34(3):335--67, 1999.]]Google Scholar
- B. Bauer, J. P. Müller, and J. Odell. Agent UML: A formalism for specifying multiagent interaction. In P. Ciancarini and M. Wooldridge, editors, Agent-Oriented Software Engineering, pages 91--103. Springer-Verlay, Berlin, 2001.]] Google ScholarDigital Library
- S. Ling and S. W. Loke. MIP-Nets: A compositional model of multiagent interaction. In 3rd Int'l Central and Eastern European Conference on Multiagent Systems (CEEMAS2003), (to be published).]] Google ScholarDigital Library
- H. Mazouzi, A. El Fallah-Seghrouchni, and S. Haddad. Open protocol design for complex interactions in multiagent systems. In 1st Int'l Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS'02), pages 517--25, 2002.]] Google ScholarDigital Library
- T. Murata. Petri nets: Properties, analysis and applications. Proceedings of the IEEE, 77(4):541--80, April 1989.]]Google ScholarCross Ref
- M. Singh. Synthesizing coordination requirements for heterogeneous autonomous agents. Autonomous Agents and Multi-Agent Systems, 3(2):107--132, June 2000.]] Google ScholarDigital Library
Index Terms
- A formal compositional model of multiagent interaction
Recommendations
A compositional framework for the specification of interaction protocols in multiagent organizations
This paper addresses the notion of context in multiagent systems from an organisational point of view. Setting out from the RICA metamodel that shapes the agents' space of interaction on the basis of hierarchical organisational and communicative ...
A formal approach to model multiagent interactions using the b formal method
ISSADS'05: Proceedings of the 5th international conference on Advanced Distributed SystemsThis paper is within the scope of methodical approaches for producing flexible and reliable formal specifications of interactions protocols between agents in a multiagent system. The basic idea behind it is to define the agents as an abstract machines ...
Mining qualitative context models from multiagent interactions
AAMAS '11: The 10th International Conference on Autonomous Agents and Multiagent Systems - Volume 3We present a novel method for analysing the behaviour of multiagent systems on the basis of the semantically rich information provided by agent communication languages and interaction protocols. Contrary to analysis methods that rely on observing more ...
Comments