Incremental development of multi-agent systems in Object-Z

Smith, Graeme and Winter, Kirsten (2012). Incremental development of multi-agent systems in Object-Z. In: 35th Annual IEEE Software Engineeering Workshop (SEW-35): Proceedings. Software Engineering Workshop (SEW-35), Heraklion, Crete, Greece, (120-129). 12-13 October 2012. doi:10.1109/SEW.2012.19

Attached Files (Some files may be inaccessible until you login with your UQ eSpace credentials)
Name Description MIMEType Size Downloads

Author Smith, Graeme
Winter, Kirsten
Title of paper Incremental development of multi-agent systems in Object-Z
Conference name Software Engineering Workshop (SEW-35)
Conference location Heraklion, Crete, Greece
Conference dates 12-13 October 2012
Proceedings title 35th Annual IEEE Software Engineeering Workshop (SEW-35): Proceedings
Journal name Proceedings of the 2012 IEEE 35th Software Engineering Workshop, SEW 2012
Place of Publication Piscataway, NJ, United States
Publisher IEEE Computer Society Press
Publication Year 2012
Sub-type Fully published paper
DOI 10.1109/SEW.2012.19
Open Access Status
ISBN 9781467355742
ISSN 1550-6215
Start page 120
End page 129
Total pages 10
Language eng
Abstract/Summary 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 decisionmaking 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.
Keyword Multi agent systems
Action refinement
Object Z
Q-Index Code E1
Q-Index Status Confirmed Code
Institutional Status UQ

Version Filter Type
Citation counts: TR Web of Science Citation Count  Cited 3 times in Thomson Reuters Web of Science Article | Citations
Scopus Citation Count Cited 10 times in Scopus Article | Citations
Google Scholar Search Google Scholar
Created: Wed, 10 Oct 2012, 23:32:04 EST by Dr Kirsten Winter on behalf of School of Information Technol and Elec Engineering