Modeling and analysis of multi-agent systems based on π-calculus

Authors:
Fenglei Liu;Zhenhua Yu;Yuanli Cai
Affiliations:
School of Electro-Mechanical Engineering, Xidian University, Xi’an, China;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
Venue:
CIS'05 Proceedings of the 2005 international conference on Computational Intelligence and Security - Volume Part I
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
Compatibility and inheritance in software architectures

Science of Computer Programming
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
Formal Framework for Adaptive Multi-Agent Systems

IAT '03 Proceedings of the IEEE/WIC International Conference on Intelligent Agent Technology
Tropos: An Agent-Oriented Software Development Methodology

Autonomous Agents and Multi-Agent Systems

Performance evaluation of DPS coordination strategies modelled in pi-calculus

International Journal of Intelligent Information and Database Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

Dynamic architecture of multi-agent systems (MAS) is very important for the critical systems. As the existing formal specifications cannot describe the dynamic architecture of MAS, while π-calculus is specially suited for the description and analysis of concurrent systems with dynamic or evolving topology, a formal approach using π-calculus is presented to describe MAS. π-calculus can describe the interactions among agents and permit their analysis for some key properties, e.g. deadlock, bisimilarity. By constructing a MAS model in electronic commerce, the modeling process using π-calculus are illustrated.