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
fDate :
June 28 2015-July 1 2015
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;
Conference_Titel :
Computer and Information Science (ICIS), 2015 IEEE/ACIS 14th International Conference on
Conference_Location :
Las Vegas, NV
DOI :
10.1109/ICIS.2015.7166636
