Title :
Introducing Agents in Multi-agent System with Superposition Refinement
Author :
Zhuang Li ; Huaikou Miao
Author_Institution :
Sch. of Comput. Eng. & Sci., Shanghai Univ., Shanghai, China
Abstract :
A formal and incremental approach is needed to introduce new agents in the development of multi-agent system (MAS) due to its intrinsic complexity. Incremental development with refinement theory is a traditional way to guarantee the dependability of a system. We specify MAS with Object-Z notation and under trace semantic of action system, give the mathematical relation model and refinement rules of superposition refinement based on the relational model and Object-Z notation. The refinement rules provide a foundation for introducing agents in MAS. A case study of repairing robots is used to show whether agents are introduced correctly.
Keywords :
multi-agent systems; refinement calculus; formal approach; incremental approach; intrinsic complexity; mathematical relation model; multiagent system; object-Z notation; refinement theory; superposition refinement; system dependability; Abstracts; Computer crashes; Concrete; Maintenance engineering; Mathematical model; Robots; Semantics;
Conference_Titel :
Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing (SNPD), 2013 14th ACIS International Conference on
Conference_Location :
Honolulu, HI
DOI :
10.1109/SNPD.2013.67
