Architecture description language based on object-oriented Petri nets for multi-agent systems

Multi-agent systems are studied from the software architecture point of view. As traditional architecture description languages (ADLs) are difficult to describe the semantics of multi-agent systems, a novel architecture description language for multi-agent systems (ADLMAS) rooted in BDI model is proposed, which adopts object-oriented Petri nets presented in this paper as a formal theory basis. ADLMAS can visually and intuitively depict a formal framework for multi-agent system from the agent level and society level, describe the static and dynamic semantics, and analyze the dynamic behaviors of multi-agent systems and interactions among agents with formal methods. Moreover, ADLMAS is very suitable for representing concurrent, distributed and synchronous multi-agent systems. Finally, to illustrate the favorable representation capability of ADLMAS, an example of multi-agent systems in electronic marketplace is provided.

[1]  Richard N. Taylor,et al.  A Classification and Comparison Framework for Software Architecture Description Languages , 2000, IEEE Trans. Software Eng..

[2]  K.M. Kavi,et al.  A framework for designing, modeling and analyzing agent based software systems , 2002, Fifth International Conference on Algorithms and Architectures for Parallel Processing, 2002. Proceedings..

[3]  Yun Peng,et al.  Using Colored Petri Nets for Conversation Modeling , 2000, Issues in Agent Communication.

[4]  Nicholas R. Jennings,et al.  The Gaia Methodology for Agent-Oriented Analysis and Design , 2000, Autonomous Agents and Multi-Agent Systems.

[5]  Nicholas R. Jennings,et al.  Intelligent agents: theory and practice , 1995, The Knowledge Engineering Review.

[6]  Michael Wooldridge,et al.  On the Formal Specification and Verification of Multi-Agent Systems , 1997, Int. J. Cooperative Inf. Syst..

[7]  Minghui Zhou,et al.  Formal framework for adaptive multi-agent systems , 2003, IEEE/WIC International Conference on Intelligent Agent Technology, 2003. IAT 2003..

[8]  A. Roadmapof.  A Roadmap of Agent Research and Development , 1995 .

[9]  Scott A. DeLoach,et al.  Multiagent Systems Engineering , 2001, Int. J. Softw. Eng. Knowl. Eng..

[10]  Zhongzhi Shi,et al.  A dynamic architecture for multi-agent systems , 1999, Proceedings Technology of Object-Oriented Languages and Systems (Cat. No.PR00393).

[11]  Nicholas R. Jennings,et al.  Agent-based control systems , 2003 .

[12]  Stephen Cranefield,et al.  A layered approach for modelling agent conversations , 2001 .

[13]  Sol M. Shatz,et al.  Formalization of Object Behavior and Interactions from UML Models , 2001, Int. J. Softw. Eng. Knowl. Eng..

[14]  Nicholas R. Jennings,et al.  Agent Theories, Architectures, and Languages: A Survey , 1995, ECAI Workshop on Agent Theories, Architectures, and Languages.

[15]  Hong Zhu,et al.  SLABS: A Formal Specification Language for Agent-Based Systems , 2001, Int. J. Softw. Eng. Knowl. Eng..

[16]  Nicholas R. Jennings,et al.  DESIRE: Modelling Multi-Agent Systems in a Compositional Formal Framework , 1997, Int. J. Cooperative Inf. Syst..

[17]  Michael Luck,et al.  A Formal Framework for Agency and Autonomy , 1995, ICMAS.

[18]  H. Van Dyke Parunak,et al.  Representing Agent Interaction Protocols in UML , 2000, AOSE.