DocumentCode
3281826
Title
Formal specification and reasoning for situated multi-agent system
Author
Zhuang Li ; Huaikou Miao
Author_Institution
Sch. of Comput. Eng.&Sci., Shanghai Univ., Shanghai, China
fYear
2015
fDate
June 28 2015-July 1 2015
Firstpage
455
Lastpage
460
Abstract
We present a formal specification to engineer situated multi-agent Systems (situated MAS), which has revealed the need for specifying and reasoning of its global property. This paper shows how MAS is specified with modified Object-Z notation with trace semantic of action system, and how to reason about safety and liveness property in this specification. Independent and joint MAS examples are are used to illustrate specifying and reasoning in specification for situated MAS.
Keywords
formal specification; inference mechanisms; multi-agent systems; formal specification; object-Z notation; reasoning; situated MAS; situated multiagent systems; Noise measurement; Object-Z; Reasoning; Situated Multi-agent System; Specification;
fLanguage
English
Publisher
ieee
Conference_Titel
Computer and Information Science (ICIS), 2015 IEEE/ACIS 14th International Conference on
Conference_Location
Las Vegas, NV
Type
conf
DOI
10.1109/ICIS.2015.7166636
Filename
7166636
Link To Document