@inproceedings{56174d7d081c44ecb45091894db7667a,
title = "Specification and verification of multi-agent systems with a property-preserving component-based methodology",
abstract = "This paper presents a property-preserving component-based methodology for the specification and verification design of the Multi-agent system (MAS). It is assumed that the behavior of each agent in the MAS is specified as a Petri net process (PNP). According to the communication relationships between the agents, the system is specified and verified by applying the composition operators such as Enable, Choice, Interleave, Disable and Disable-resume. The local goals and system goals (Commitment) are specified as coverable markings in the Petri net models for the MAS. The methodology eliminates the requirements of verifying the MAS since the composition operators preserve the desirable properties (i.e., liveness, boundedness, reversibility, proper termination and coverability).",
keywords = "Communication, Goal, Multi-agent system, Property-preserving, Specification, Verification",
author = "Huang, \{He Jiao\} and Xuan Wang and Chen, \{Qing Cai\} and Wang, \{Xiao Long\}",
year = "2005",
language = "英语",
isbn = "078039092X",
series = "2005 International Conference on Machine Learning and Cybernetics, ICMLC 2005",
pages = "90--95",
booktitle = "2005 International Conference on Machine Learning and Cybernetics, ICMLC 2005",
note = "International Conference on Machine Learning and Cybernetics, ICMLC 2005 ; Conference date: 18-08-2005 Through 21-08-2005",
}