文章基本信息

标题：Object-Oriented Petri nets Based Architecture Description Language for Multi-agent Systems
本地全文：下载
作者：Zhenhua Yu, Yuanli Cai
期刊名称：International Journal of Computer Science and Network Security
印刷版ISSN：1738-7906
出版年度：2006
卷号：6
期号：1B
页码：123-123~131
出版社：International Journal of Computer Science and Network Security
摘要：To narrow the gap between multi-agent formal modeling and multi-agent practical systems, multi-agent systems (MAS) are studied from the point of view of software architecture. As the existing architecture description languages (ADLs) are not suitable for describing the semantics of MAS, a novel architecture description language for MAS (ADLMAS) rooted in BDI model is proposed, which adopts Object-Oriented Petri nets presented in this paper as a formal theory basis. ADLMAS is suitable for representing concurrent, distributed and synchronous MAS, and it is brought directly into the design phase and served as the high-level design for MAS implementation. ADLMAS can visually and intuitively depict a formal framework for MAS from the agent level and society level, describe the static and dynamic semantics, and analyze, simulate and validate MAS and interactions among agents with formal methods. To illustrate the favorable representation capability of ADLMAS, an example of multi-agent systems in electronic commerce is provided. Finally, the MAS model and its key behaviors properties are analyzed and verified.
关键词：Multi-agent systems, software architecture, architecture description language, Object-Oriented Petri nets, BDI model