Early detection of design faults relative to requirement specifications in agent-based models

Abushark, Y, Thangarajah, J, Miller, T, Harland, J and Winikoff, M 2015, 'Early detection of design faults relative to requirement specifications in agent-based models', in Rafael H. Bordini, Edith Elkind, Gerhard Weiss, Pinar Yolum (ed.) Proceedings of the 14th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2015), Turkey, Istanbul, 4-8 May 2015, pp. 1073-1079.


Document type: Conference Paper
Collection: Conference Papers

Attached Files
Name Description MIMEType Size
n2006053807.pdf Published Version application/pdf 685.99KB
Title Early detection of design faults relative to requirement specifications in agent-based models
Author(s) Abushark, Y
Thangarajah, J
Miller, T
Harland, J
Winikoff, M
Year 2015
Conference name AAMAS 2015
Conference location Turkey, Istanbul
Conference dates 4-8 May 2015
Proceedings title Proceedings of the 14th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2015)
Editor(s) Rafael H. Bordini, Edith Elkind, Gerhard Weiss, Pinar Yolum
Publisher ACM
Place of publication United States
Start page 1073
End page 1079
Total pages 7
Abstract Agent systems are used for a wide range of applications, and techniques to detect and avoid defects in such systems are valuable. In particular, it is desirable to detect issues as early as possible in the software development lifecycle. We describe a technique for checking the plan structures of a BDI agent design against the requirements models, specified in terms of scenarios and goals. This approach is applicable at design time, not requiring source code. A lightweight evaluation demonstrates that a range of defects can be found using this technique.
Subjects Adaptive Agents and Intelligent Robotics
Keyword(s) AOSE
Requirements specification
multi-agent systems
Copyright notice © 2015 by the International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS). All rights reserved.
ISBN 9781450334136
Versions
Version Filter Type
Access Statistics: 189 Abstract Views, 32 File Downloads  -  Detailed Statistics
Created: Tue, 23 Jun 2015, 10:57:00 EST by Catalyst Administrator
© 2014 RMIT Research Repository • Powered by Fez SoftwareContact us