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

fYear

2013

fDate

1-3 July 2013

Firstpage

342

Lastpage

347

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;

fLanguage

English

Publisher

ieee

Conference_Titel

Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing (SNPD), 2013 14th ACIS International Conference on

Conference_Location

Honolulu, HI

Type

conf

DOI

10.1109/SNPD.2013.67

Filename

6598487