A Methodology to Analyze Multi-Agent Systems Modeled in High Level Petri Nets

被引：3

作者：

Chang, Lily ^{[1
]}

He, Xudong ^{[2
]}

机构：

[1] Univ Wisconsin, Dept Comp Sci & Software Engn, Platteville, WI 53818 USA

[2] Florida Int Univ, Sch Comp & Informat Sci, Miami, FL 33199 USA

来源：

INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING | 2015年 / 25卷 / 07期

关键词：

Formal methods; model checking; petri nets; multi-agent systems; ARCHITECTURE; SPECIFICATIONS; FRAMEWORK;

D O I：

10.1142/S0218194015500230

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

This paper presents a methodology for analyzing multi-agent systems modeled in nested predicate transition nets. The objective is to automate the model analysis for complex systems, and provide a foundation for tool development. We formally define the translation rules that translate the multi-agent model to an executable PROMELA model, and demonstrate the translation with an example.

引用

页码：1199 / 1235

页数：37

共 38 条

[1]

[Anonymous], 1985, Communicating Sequential Processes

[2]

[Anonymous], 2007, J SOFTW TOOLS TECHNO

[3]

Argote G., 2008, P INT C SOFTW ENG KN

[4]

Bergenti F., 2004, AGENT ORIENTED SOFTW, V11

[5]

Cabac L, 2005, LECT NOTES COMPUT SC, V3536, P148

[6]

Chang L., 2011, P 26 S APPL COMP TAI

[7]

Chang L., 2008, Comm. of SIWN, V3, P58

[8]

Chang L., 2010, P 22 INT C SOFTW ENG

[9] A METHODOLOGY FOR MODELING MULTI-AGENT SYSTEMS USING NESTED PETRI NETS [J].

Chang, Lily ;

He, Xudong ;

Shatz, Sol M. .

INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, 2012, 22 (07) :891-925

[10]

Clarke EM, 1999, MODEL CHECKING, P1

← 1 2 3 4 →