DocumentCode
1572997
Title
Incremental Development of Multi-agent Systems in Object-Z
Author
Smith, Graeme ; Winter, Kirsten
fYear
2012
Firstpage
120
Lastpage
129
Abstract
The complexity of multi-agent systems (MAS) demands a formal and incremental approach to their development. Such an approach needs to take into account issues specific to the development of MAS. In particular, methods are required for incrementally introducing agent decision-making procedures, and inter-agent negotiation mechanisms. This paper introduces an approach to modelling MAS and a definition of action refinement in Object-Z aimed at addressing these issues.
Keywords
Abstracts; Adaptation models; Complexity theory; Concrete; Decision making; Multi-agent systems; Object oriented modeling; Object-Z; action refinement; multi-agent systems;
fLanguage
English
Publisher
ieee
Conference_Titel
Software Engineering Workshop (SEW), 2012 35th Annual IEEE
Conference_Location
Heraclion, Crete, Greece
ISSN
1550-6215
Print_ISBN
978-1-4673-5574-2
Type
conf
DOI
10.1109/SEW.2012.19
Filename
6479809
Link To Document