Toward Reference Models for Requirements Traceability
IEEE Transactions on Software Engineering
Debugging multi-agent systems using design artifacts: the case of interaction protocols
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 2
Introducing Traceability to Product Lines
PFE '01 Revised Papers from the 4th International Workshop on Software Product-Family Engineering
Developing Intelligent Agent Systems: A Practical Guide
Developing Intelligent Agent Systems: A Practical Guide
Agent-Based Software Development
Agent-Based Software Development
Tool Support for Agent Development using the Prometheus Methodology
QSIC '05 Proceedings of the Fifth International Conference on Quality Software
Verifying Multi-agent Programs by Model Checking
Autonomous Agents and Multi-Agent Systems
Commercial applications of agents: lessons, experiences and challenges
AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
IBM Systems Journal - Model-driven software development
The Definitive ANTLR Reference: Building Domain-Specific Languages
The Definitive ANTLR Reference: Building Domain-Specific Languages
Incremental Maintenance of Software Artifacts
IEEE Transactions on Software Engineering
AUML protocols and code generation in the Prometheus design tool
Proceedings of the 6th international joint conference on Autonomous agents and multiagent systems
Current issues in multi-agent systems development
ESAW'06 Proceedings of the 7th international conference on Engineering societies in the agents world VII
Automating model transformations in agent-oriented modelling
AOSE'05 Proceedings of the 6th international conference on Agent-Oriented Software Engineering
Graph-based traceability: a comprehensive approach
Software and Systems Modeling (SoSyM)
Automatically identifying changes that impact code-to-design traceability during evolution
Software Quality Control
On the use of metamodeling for relating requirements and architectural design decisions
Proceedings of the 28th Annual ACM Symposium on Applied Computing
| Hi-index | 0.00 |
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.