Adding debugging support to the Prometheus methodology

Engineering Applications of Artificial Intelligence

Volumn 18, Issue 2, 2005, Pages 173-190

  Padgham, Lin ^a   Winikoff, Michael ^a   Poutakidis, David ^a  

^a RMIT UNIVERSITY   (Australia)

Author keywords

Agent software engineering methodology; Automated debugging; Automated software engineering support; Petri nets; Prometheus

Indexed keywords

CODES (SYMBOLS); ERROR ANALYSIS; INTELLIGENT AGENTS; NETWORK PROTOCOLS; PETRI NETS; PROBLEM SOLVING; SYSTEMS ANALYSIS;

AGENT SOFTWARE ENGINEERING METHODOLOGY; AUTOMATED DEBUGGING; AUTOMATED SOFTWARE ENGINEERING SUPPORT; PROMETHEUS;

SOFTWARE ENGINEERING;

EID: 13844281595     PISSN: 09521976     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.engappai.2004.11.018     Document Type: Article

References (40)

1. A. Pokahr, L., Braubach, W.L., 2003. Jadex: Implementing a bdi-infrastructure for jade agents. EXP - In Search of Innovation (special issue on JADE), vol. 3(3). pp. 76-85.
2. Bergenti, F., Gleizes, M.-P., Zambonelli, F. (Eds.), 2004. Methodologies and Software Engineering for Agent Systems. The Agent-Oriented Software Engineering Handbook. Kluwer Academic Publishers, Dordrecht, ISBN 1-4020-8057-3.
3. B.W. Boehm Software Engineering Economics 1981 Prentice-Hall Englewood Cliffs, NJ
4. Bresciani, P., Giorgini, P., Giunchiglia, F., Mylopoulos, J., Perini, A., 2002. Tropos: An agent-oriented software development methodology. Technical Report DIT-02-0015, University of Trento, Department of Information and Communication Technology.
5. Burrafato, P., Cossentino, M., 2002. Designing a multi-agent solution for a bookstore with the PASSI methodology. Proceedings of the Fourth International Bi-Conference Workshop on Agent-Oriented Information Systems (AOIS-2002).
6. Busetta, P., Rönnquist, R., Hodgson, A., Lucas, A., 1998. JACK Intelligent agents - components for intelligent agents in Java. Technical Report Agent Oriented Software Pty. Ltd, Melbourne, Australia, available from http://www.agent-software.com.
7. S. Bussmann, N.R. Jennings, and M. Wooldridge Multiagent Systems for Manufacturing Control 2004 Springer Berlin
8. Cernuzzi, L., Rossi, G., 2002. On the evaluation of agent oriented modeling methods. In: Proceedings of the OOPSLA 2002 Workshop on Agent-Oriented Methodologies, Seattle, pp. 21-30.
9. Cossentino, M., Potts, C., 2002. A CASE tool supported methodology for the design of multi-agent systems. Proceedings of the International Conference on Software Engineering Research and Practice (SERP'02).
10. Cossentino, M., Sabatucci, L., Sorace, S., Chella, A., 2003. Patterns of reuse in the PASSI methodology. In: Fourth International Workshop on Engineering Societies in the Agents World (ESAW'03). Imperial College London (UK).
11. Cost, R.S., Chen, Y., Finin, T., Labrou, Y., Peng, Y., 1999. Using colored Petri nets for conversation modeling. Workshop on Agent Communication Languages at the 16th International Joint Conference on Artificial Intelligence (IJCAI-99).
12. Dam, K.H., 2003. Evaluating agent-oriented software engineering methodologies. Master's Thesis, School of Computer Science and Information Technology, RMIT University, Melbourne, Australia (supervisors: Michael Winikoff and Lin Padgham).
13. Dam, K.H., Winikoff, M., 2003. Comparing agent-oriented methodologies. In: Giorgini, P., Winikoff, M. (Eds.), Proceedings of the Fifth International Bi-Conference Workshop on Agent-Oriented Information Systems, Melbourne, Australia, pp. 52-59.
14. S.A. DeLoach, M.F. Wood, and C.H. Sparkman Multiagent systems engineering International Journal of Software Engineering and Knowledge Engineering 11 3 2001 231 258
15. Ehrler, L., Cranefield, S., 2004. Executing agent uml diagrams. Proceedings of the Third International Joint Conference on Autonomous Agents and Multi Agent Systems (AAMAS'04).
16. M. Fowler, and K. Scott UML Distilled A Brief Guide to the Standard Object Modeling Language, third Ed. Object Technology Series 2003 Addison Wesley Reading, MA
17. Giunchiglia, F., Mylopoulos, J., Perini, A., 2002. The Tropos software development methodology: processes, models and diagrams. Proceedings of the Third International Workshop on Agent-Oriented Software Engineering.
18. Hailpern, B., Santhanam, P., 2002. Software debugging, testing, and verification. In: IBM Systems Journal. vol. 41. pp. 4-12.
19. Heselius, J., 2002. Debugging parallel systems: A state of the art Report. MRTC Report ISSN 1404-3041 ISRN MDH-MRTC-63/2002-1-SE, Mlardalen Real-Time Research Centre, Mlardalen University.
20. Huber, M.J., 1999. JAM: A BDI-theoretic mobile agent architecture. In: Proceedings of the Third International Conference on Autonomous Agents (Agents'99), pp. 236-243.
21. Huget, M.-P., Odell, J., 2004. Representing agent interaction protocols with agent uml. Proceedings of the AAMAS04 Agent-oriented Software Engineering (AOSE) Workshop.
22. M. Liedekerke, and N. Avouris Debugging multi-agent systems Information and Software Technology 37 2 1995 103 112
23. Müllerburg, M.A., 1983. The role of debugging within software engineering environments. In: Proceedings of the ACM SIGSOFT/SIGPLAN software engineering symposium on High-level debugging, pp. 81-90.
24. Ndumu, D., Nwana, H., Lee, L., Collins, J., 1999. Visualising and debugging distributed multi-agent systems. Proceedings of the Third Annual Conference on Autonomous Agents, pp. 326-333.
25. Nowostawski, M., Purvis, M., Cranefield, S., 2001. A layered approach for modelling agent conversations. In: Proceedings of the Second International Workshop on Infrastructure for Agents, MAS, and Scalable MAS, Fifth International Conference on Autonomous Agents, Montreal, pp. 163-170.
26. Nwana, H.S., Ndumu, D.T., Lee, L.C., Collis, J.C., 1999. ZEUS: a toolkit and approach for building distributed multi-agent systems. In: Proceedings of the Third International Conference on Autonomous Agents (Agents'99). ACM Press, Seattle, WA, USA, pp. 360-361.
27. L. Padgham, and M. Winikoff Developing Intelligent Agent Systems A practical guide. Wiley Series in Agent Technology 2004 Wiley New York
28. Poutakidis, D., Padgham, L., Winikoff, M., 2002. Debugging multi-agent systems using design artifacts: The case of interaction protocols. Proceedings of the First International Joint Conference on Autonomous Agents and Multi Agent Systems (AAMAS'02).
29. Poutakidis, D., Padgham, L., Winikoff, M., 2003. An exploration of bugs and debugging in multi-agent systems. In: Proceedings of the 14th International Symposium on Methodologies for Intelligent Systems (ISMIS), Maebashi City, Japan, pp. 628-632.
30. W. Reisig Petri Nets An Introduction. EATCS Monographs on Theoretical Computer Science 1985 Springer Berlin
31. S. Russell, and P. Norvig Artificial Intelligence A Modern Approach 1995 Prentice-Hall Englewood Cliffs, NJ
32. O. Shehory, and A. Sturm Evaluation of modeling techniques for agent-based systems Proceedings of the Fifth International Conference on Autonomous Agents 2001 ACM Press New York 624 631
33. A. Sturm, and O. Shehory A framework for evaluating agent-oriented methodologies P. Giorgini M. Winikoff Proceedings of the Fifth International Bi-Conference Workshop on Agent-Oriented Information Systems 2003 Melbourne Australia 60 67
34. Sudeikat, J., Braubach, L., Pokahr, A., Lamersdorf, W., 2004. Evaluation of agent-oriented software methodologies: Examination of the gap between modeling and platform. Agent Oriented Software Engineering (AOSE).
35. K. Sycara, M. Paolucci, M. van Velsen, and J. Giampapa The RETSINA MAS infrastructure Journal of Autonomous Agents and Multi-agent Systems 7 1 and 2 2003
36. A. van Lamsweerde Goal-oriented requirements engineering a guided tour Proceedings of the Fifth IEEE International Symposium on Requirements Engineering (RE'01), Toronto 2001 249 263
37. Walton, C.D., 2004. Model checking agent dialogues. Proceedings of the AAMAS04 Declarative Agent Languages and Technologies (DALT) workshop.
38. M. Wooldridge, N. Jennings, and D. Kinny The Gaia methodology for agent-oriented analysis and design Autonomous Agents and Multi-Agent Systems 3 3 2000
39. M. Wooldridge, M. Fisher, M.-P. Huget, and S. Parsons Model checking multi-agent systems with mable Proceedings of the First International Joint Conference on Autonomous Agents and Multiagent Systems 2002 ACM Press New York 952 959
40. M.V. Zelkowitz Perspectives on software engineering ACM Computing Surveys 10 2 1978 197 216