Traceability and completeness checking for agent-oriented systems

Proceedings of the ACM Symposium on Applied Computing

Volumn , Issue , 2008, Pages 71-77

  Cysneiros, Gilberto ^a   Zisman, Andrea ^a  

^a CITY UNIVERSITY   (United Kingdom)

Author keywords

Agent oriented software engineering; Completeness checking; Multi agent systems; Traceability

Indexed keywords

INTELLIGENT AGENTS; MODEL CHECKING; SOFTWARE AGENTS; SOFTWARE ENGINEERING; SPECIFICATIONS;

AGENT ORIENTED SOFTWARE ENGINEERING; COMPLETENESS CHECKING; DESIGN MODELS; PROMETHEUS; TRACEABILITY;

MULTI AGENT SYSTEMS;

EID: 56749083175     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1363686.1363706     Document Type: Conference Paper

References (26)

1. Aizenbud-Reshef, N., Nolan, B. T., Rubin, J., and Shaham-Gafni, Y. 2006. Model traceability. IBM Syst. J. 45, 3 (Jul. 2006), 515-526.
2. Bayer J., Widen T., "Introducing Traceability to Product Lines", Proceedings of the Software Product Family Engineering: 4th International Workshop, PFE 2002, Bilbao, Spain, Lecture Notes in Computer Science, Springer-Verlag, ISSN:0302-9743.
3. Belecheanu, R. A., Munroe, S., Luck, M., Payne, T., Miller, T., McBurney, P., and Pěchouček, M. Commercial applications of agents: lessons, experiences and challenges. In Proceedings of the Fifth International Joint Conference on Autonomous Agents and Multiagent Systems (Hakodate, Japan, May 08-12, 2006). AAMAS '06. ACM Press, New York, NY.
4. R. H. Bordini, M. Fisher, W. Visser, and M. Wooldridge. Verifying multi-agent programs by model checking. Journal of Autonomous Agents and Multi-Agent Systems, 12(2):239-256, Mar 2006.
5. Rafael H. Bordini, Mehdi Dastani, and Michael Winikoff. Current Issues in Multi-Agent Systems Development (Invited Paper). Post-proceedings of the Seventh Annual International Workshop on Engineering Societies in the Agents World. LNAI4457, pages 38-61, 2007.
6. Bratman, M. Intention, Plans, and Practical Reasoning. Harvard University Press, Cambridge, Massachusetts, 1987.
7. Rosa Candida Pinto, Carla T. L. L. Silva, Jaelson Castro: A Process for Requirement Traceability in Agent Oriented Development. WER 2005: 221-232
8. G. Cysneiros and A. Zisman. Traceability for Agent-Oriented Design Models and Code, 19th International Conference on Software Engineering and Knowledge Engineering (SEKE 2007), USA, July 2007.
9. G. Cysneiros and A. Zisman. "Tracing Agent-Oriented Systems". In Proc. of the Grand Challenge Traceability Symposium, USA, March 2007.
10. Dick J., "Rich Traceability", Proceedings of the 1st International Workshop on Traceability for Emerging forms of Software Engineering (TEFSE'02), Edinburgh, UK, September 2002.
11. O. Gotel, and A. Finkelstein "An Analysis of the Requirements Traceability Problem", International Conference on Requirements Engineering, USA, 1994.
12. M. Luck, R. Ashri and M. d'Inverno, Agent-Based Software Development, Artech House, 208 pp, 2004.
13. L. Padgham and W.Winikoff. "Developing Intelligent Agent Systems - A Practical Guide", John Wiley & Sons, 2004.
14. Lin Padgham, John Thangarajah, and Michael Winikoff. Tool Support for Agent Development using the Prometheus Methodology. First international workshop on Integration of Software Engineering and Agent Technology (ISEAT 2005). September 2005, Melbourne, Australia.
15. Lin Padgham, John Thangarajah, Michael Winikoff. AUML Protocols and Code Generation in the Prometheus Design Tool. Accepted as a demonstration to be given at the Sixth International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2007).
16. T. Parr. "The Definitive ANTLR Reference. Building Domain Specific Language". The Pragmatic Programmers, LLC, 2007.
17. Anna Perini, Angelo Susi: Automating Model Transformations in Agent-Oriented Modelling. AOSE 2005: 167-178
18. D. Poutakidis, L. Padgham, and M. Winikoff. Debugging multi-agent systems using design artifacts: The case of interaction protocols. In Proceedings of the First International Joint Conference on Autonomous Agents and Multi Agent Systems (AAMAS'02), 2002.
19. B. Ramesh and M. Jarke, "Towards Reference Models for Requirements Traceability", IEEE Transactions on Software Engineering, vol. 37, 2001.
20. S. P. Reiss. "Incremental Maintenance of Software Artifacts". IEEE Transaction on Software Engineering, v. 32, n.9, pp. 682-697, September 2006.
21. G. Spanoudakis and A. Zisman, "Software Traceability: A Roadmap," in S. K. Chang, ed., Handbook of Software Engineering and Knowledge Engineering, August, 2005.
22. M. Winikoff, JACKTM Intelligent Agents: An Industrial Strength Platform, Multi-Agent Programming, 2005.
23. Prometheus Design Tool (PDT). http://www.cs.rmit.edu.au/agents/pdt/
24. Tool for Agent Oriented Modeling (TAOME4E). http://sra.itc.it/tools/ taom4e/
25. WordNet. http://wordnet.princeton.edu/.
26. XQuery. http://www.w3.org/TR/xquery/.