Journal article

A framework for automatically ensuring the conformance of agent designs

Yoosef Abushark, John Thangarajah, James Harland, Tim Miller

JOURNAL OF SYSTEMS AND SOFTWARE | ELSEVIER SCIENCE INC | Published : 2017

Abstract

Multi-agent systems are increasingly being used in complex applications due to features such as autonomy, pro-activity, flexibility, robustness and social ability. These very features also make verifying multi-agent systems a challenging task. In this article, we propose a mechanism, including automated tool support, for early phase defect detection by comparing the plan structures of a Belief-Desire-Intention agent design against the requirements models and interaction protocols. The basic intuition of our approach is to extract sets of possible behaviour runs from the agents’ behaviour models and to verify whether these runs conform to the specifications of the system-to-be or not. This ap..

View full abstract