π-Net ADL: an architecture description language for multi-agent systems

Authors:
Zhenhua Yu;Yuanli Cai;Ruifeng Wang;Jiuqiang Han
Affiliations:
Key Laboratory of Opto-Electronic Technology and Intelligent Control, (Lanzhou Jiaotong University), Ministry of Education, China;School of Electronic and Information Engineering, Xi'an Jiaotong University, Xi'an, China;School of Electronic and Information Engineering, Xi'an Jiaotong University, Xi'an, China;School of Electronic and Information Engineering, Xi'an Jiaotong University, Xi'an, China
Venue:
ICIC'05 Proceedings of the 2005 international conference on Advances in Intelligent Computing - Volume Part II
Year:
2005

Citing 9
Cited 1

Agent theories, architectures, and languages: a survey

ECAI-94 Proceedings of the workshop on agent theories, architectures, and languages on Intelligent agents
A Classification and Comparison Framework for Software Architecture Description Languages

IEEE Transactions on Software Engineering
Representing agent interaction protocols in UML

First international workshop, AOSE 2000 on Agent-oriented software engineering
PI-Calculus: A Theory of Mobile Processes

PI-Calculus: A Theory of Mobile Processes
The Gaia Methodology for Agent-Oriented Analysis and Design

Autonomous Agents and Multi-Agent Systems
A Framework for Model-Based Design of Agent-Oriented Software

IEEE Transactions on Software Engineering
A Dynamic Architecture for Multi-Agent Systems

TOOLS '99 Proceedings of the 31st International Conference on Technology of Object-Oriented Language and Systems
A Framework for Designing, Modeling and Analyzing Agent Based Software Systems

ICA3PP '02 Proceedings of the Fifth International Conference on Algorithms and Architectures for Parallel Processing
Formal Framework for Adaptive Multi-Agent Systems

IAT '03 Proceedings of the IEEE/WIC International Conference on Intelligent Agent Technology

An architectural description language for secure Multi-Agent Systems

Web Intelligence and Agent Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

Multi-agent systems (MAS) are studied from the point of view of software architecture. As the existing architecture description languages (ADLs) are difficult to describe the semantics of MAS, a novel architecture description language for MAS (π-net ADL) rooted in BDI model is proposed, which adopts π-calculus and Object-Oriented Petri nets presented in this paper as a formal basis. π-net ADL stresses the description of dynamic MAS architecture, and it is brought directly into the design phase and served as the high-level design for MAS implementation. π-net ADL can visually and intuitively depict a formal framework from the agent level and society level, and analyze, simulate and validate MAS and interactions among agents. Finally, to illustrate the favorable representation and analysis capability of π-net ADL, an example of multi-agent systems in electronic commerce is provided.