Title :
Incremental Development of Multi-agent Systems in Object-Z
Author :
Smith, Graeme ; Winter, Kirsten
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;
Conference_Titel :
Software Engineering Workshop (SEW), 2012 35th Annual IEEE
Conference_Location :
Heraclion, Crete, Greece
Print_ISBN :
978-1-4673-5574-2
DOI :
10.1109/SEW.2012.19
