Traceability and completeness checking for agent-oriented systems

Abstract

In this paper, we describe a rule-based approach to support traceability and completeness checking of design models and code specification of agent-oriented systems. The rules are specified in an extension of XQuery and allow the generation of traceability relations and checking of completeness of artifacts represented in Prometheus design models and JACK code specification. An example of an Electronic Bookstore agent oriented system is used to illustrate the work.