Traceability and completeness checking for agent-oriented systems

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.

[1]  Rafael Heitor Bordini,et al.  Verifying Multi-agent Programs by Model Checking , 2006, Autonomous Agents and Multi-Agent Systems.

[2]  Michael Luck,et al.  Agent-Based Software Development , 2004 .

[3]  Michael Winikoff,et al.  Current Issues in Multi-Agent Systems Development , 2006, ESAW.

[4]  Anna Perini,et al.  Automating Model Transformations in Agent-Oriented Modelling , 2005, AOSE.

[5]  Michael Winikoff,et al.  Developing intelligent agent systems - a practical guide , 2004, Wiley series in agent technology.

[6]  J. Dick.  Rich Traceability , 2002 .

[7]  Matthias Jarke,et al.  Toward Reference Models of Requirements Traceability , 2001, IEEE Trans. Software Eng..

[8]  Steven P. Reiss,et al.  Incremental Maintenance of Software Artifacts , 2006, IEEE Transactions on Software Engineering.

[9]  Jaelson Brelaz de Castro,et al.  A Process for Requirement Traceability in Agent Oriented Development , 2005, WER.

[10]  Michael Winikoff,et al.  Tool support for agent development using the Prometheus methodology , 2005, Fifth International Conference on Quality Software (QSIC'05).

[11]  Michael Winikoff,et al.  JACKTM Intelligent Agents: An Industrial Strength Platform , 2005, Multi-Agent Programming.

[12]  Julia Rubin,et al.  Model traceability , 2006, IBM Syst. J..

[13]  Andrea Zisman,et al.  Traceability for Agent-Oriented Design Models and Code , 2007, SEKE.

[14]  Michael Winikoff,et al.  Current Issues in Multi-Agent Systems Development ( Invited Paper ) , 2007 .

[15]  Michael Luck,et al.  Commercial applications of agents: lessons, experiences and challenges , 2006, AAMAS '06.

[16]  Michael Winikoff,et al.  AUML protocols and code generation in the Prometheus design tool , 2007, AAMAS '07.

[17]  George Spanoudakis,et al.  Software Traceability : A Roadmap , 2005 .

[18]  Michael Winikoff,et al.  Debugging multi-agent systems using design artifacts: the case of interaction protocols , 2002, AAMAS '02.

[19]  Olly Gotel,et al.  An analysis of the requirements traceability problem , 1994, Proceedings of IEEE International Conference on Requirements Engineering.

[20]  Michael Winikoff,et al.  Prometheus design tool , 2005, AAMAS '05.

[21]  Terence Parr.  The Definitive ANTLR Reference: Building Domain-Specific Languages , 2007 .

[22]  Joachim Bayer,et al.  Introducing Traceability to Product Lines , 2001, PFE.

[23]  Franco Zambonelli,et al.  Engineering Societies in the Agents World , 2000, Lecture Notes in Computer Science.