article

Adding debugging support to the Prometheus methodology

Authors:

Michael Winikoff, and

David PoutakidisAuthors Info & Claims

Engineering Applications of Artificial Intelligence, Volume 18, Issue 2

Pages 173 - 190

https://doi.org/10.1016/j.engappai.2004.11.018

Published: 01 March 2005 Publication History

Abstract

This paper describes a debugger which uses the design artifacts of the Prometheus agent-oriented software engineering methodology to alert the developer testing the system, that a specification has been violated. Detailed information is provided regarding the error which can help the developer in locating its source. Interaction protocols specified during design, are converted to executable Petri net representations. The system can then be monitored at run time to identify situations which do not conform to specified protocols. A process for monitoring aspects of plan selection is also described. The paper then describes the Prometheus Design Tool, developed to support the Prometheus methodology, and presents a vision of an integrated development environment providing full life cycle support for the development of agent systems. The initial part of the paper provides a detailed summary of the Prometheus methodology and the artifacts on which the debugger is based.

References

[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]

Software Engineering Economics. 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]

Multiagent Systems for Manufacturing Control. 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]

Multiagent systems engineering. International Journal of Software Engineering and Knowledge Engineering. v11 i3. 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]

UML Distilled: A Brief Guide to the Standard Object Modeling Language, third Ed. Object Technology Series. . 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.

Digital Library

[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]

Debugging multi-agent systems. Information and Software Technology. v37 i2. 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]

Developing Intelligent Agent Systems: A practical guide. Wiley Series in Agent Technology. . 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]

Petri Nets: An Introduction. EATCS Monographs on Theoretical Computer Science. . Springer, Berlin.

[31]

Artificial Intelligence: A Modern Approach. . Prentice-Hall, Englewood Cliffs, NJ.

[32]

Evaluation of modeling techniques for agent-based systems. In: Proceedings of the Fifth International Conference on Autonomous Agents, ACM Press, New York. pp. 624-631.

[33]

A framework for evaluating 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. 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]

The RETSINA MAS infrastructure. Journal of Autonomous Agents and Multi-agent Systems. v7 i1 and 2.

[36]

Goal-oriented requirements engineering: a guided tour. . In: Proceedings of the Fifth IEEE International Symposium on Requirements Engineering (RE'01), Toronto, pp. 249-263.

[37]

Walton, C.D., 2004. Model checking agent dialogues. Proceedings of the AAMAS04 Declarative Agent Languages and Technologies (DALT) workshop.

[38]

The Gaia methodology for agent-oriented analysis and design. Autonomous Agents and Multi-Agent Systems. v3 i3.

[39]

Model checking multi-agent systems with mable. In: Proceedings of the First International Joint Conference on Autonomous Agents and Multiagent Systems, ACM Press, New York. pp. 952-959.

[40]

Perspectives on software engineering. ACM Computing Surveys. v10 i2. 197-216.

Cited By

Kissoum YRedjimi M(2022)Multi-Level Testing Approach for Multi-Agent SystemsInternational Journal of Organizational and Collective Intelligence10.4018/IJOCI.30488312:1(1-23)Online publication date: 21-Jul-2022
https://dl.acm.org/doi/10.4018/IJOCI.304883
Bakar NSelamat A(2018)Agent systems verificationApplied Intelligence10.1007/s10489-017-1112-z48:5(1251-1274)Online publication date: 1-May-2018
https://dl.acm.org/doi/10.1007/s10489-017-1112-z
Abushark YThangarajah JHarland JMiller T(2017)A framework for automatically ensuring the conformance of agent designsJournal of Systems and Software10.1016/j.jss.2017.05.098131:C(266-310)Online publication date: 1-Sep-2017
https://dl.acm.org/doi/10.1016/j.jss.2017.05.098
Show More Cited By

Recommendations

The goal-oriented design of agent systems: a refinement of Prometheus and its evaluation

The initial step of any software engineering methodology is to form requirements. Recently, a goal-oriented approach to requirements has been proposed and argued to be beneficial. Goals also play a key role in the implementation of proactive software ...
Read More
Using three AOSE toolkits to develop a sample design

At the 8th Agent-Oriented Software Engineering Workshop, the developers of tools supporting three popular agent-oriented methodologies (Tropos, Prometheus and Organization-based Multiagent Systems Engineering (O-MaSE)) demonstrated their tools using a ...
Read More
Agent oriented software engineering: a comparative study between methodologies that support the development of multi-agent systems
MEDES '15: Proceedings of the 7th International Conference on Management of computational and collective intElligence in Digital EcoSystems

This paper is related to the Agent Oriented Software Engineering (AOSE) area. The work briefly presents the Prometheus, Tropos and MaSE methodologies, showing their phases and developmental characteristics. The paper goal is to analyze these ...
Read More

Comments

Information & Contributors

Information

Published In

cover image Engineering Applications of Artificial Intelligence

Engineering Applications of Artificial Intelligence Volume 18, Issue 2

March, 2005

128 pages

ISSN:0952-1976

Issue’s Table of Contents

Copyright © Elsevier Ltd © 2004.

Publisher

Pergamon Press, Inc.

United States

Publication History

Published: 01 March 2005

Author Tags

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

35
Total Citations
View Citations
0
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Other Metrics

View Author Metrics

Citations

Cited By

Kissoum YRedjimi M(2022)Multi-Level Testing Approach for Multi-Agent SystemsInternational Journal of Organizational and Collective Intelligence10.4018/IJOCI.30488312:1(1-23)Online publication date: 21-Jul-2022
https://dl.acm.org/doi/10.4018/IJOCI.304883
Bakar NSelamat A(2018)Agent systems verificationApplied Intelligence10.1007/s10489-017-1112-z48:5(1251-1274)Online publication date: 1-May-2018
https://dl.acm.org/doi/10.1007/s10489-017-1112-z
Abushark YThangarajah JHarland JMiller T(2017)A framework for automatically ensuring the conformance of agent designsJournal of Systems and Software10.1016/j.jss.2017.05.098131:C(266-310)Online publication date: 1-Sep-2017
https://dl.acm.org/doi/10.1016/j.jss.2017.05.098
Jamont JOccello M(2016)Meeting the challenges of decentralised embedded applications using multi-agent systemsInternational Journal of Agent-Oriented Software Engineering10.1504/IJAOSE.2015.0784355:1(22-68)Online publication date: 1-Jan-2016
https://dl.acm.org/doi/10.1504/IJAOSE.2015.078435
Padmanaban RThirumaran MSuganya KPriya RAkila VSivakumar NSaruladha KZayaraz GIlavarasan E(2016)AOSE Methodologies and Comparison of Object Oriented and Agent Oriented Software TestingProceedings of the International Conference on Informatics and Analytics10.1145/2980258.2982111(1-16)Online publication date: 25-Aug-2016
https://dl.acm.org/doi/10.1145/2980258.2982111
Yadav NPadgham LWinikoff MWeiss GYolum PBordini RElkind E(2015)A Tool for Defining Agent Protocols in HAPNProceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems10.5555/2772879.2773512(1935-1936)Online publication date: 4-May-2015
https://dl.acm.org/doi/10.5555/2772879.2773512
Abushark YThangarajah JMiller THarland JWinikoff MWeiss GYolum PBordini RElkind E(2015)Early Detection of Design Faults Relative to Requirement Specifications in Agent-Based ModelsProceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems10.5555/2772879.2773287(1071-1079)Online publication date: 4-May-2015
https://dl.acm.org/doi/10.5555/2772879.2773287
Alberola JBúrdalo LJulián VTerrasa AGarcía-Fornes A(2014)An adaptive framework for monitoring agent organizationsInformation Systems Frontiers10.1007/s10796-013-9478-x16:2(239-256)Online publication date: 1-Apr-2014
https://dl.acm.org/doi/10.1007/s10796-013-9478-x
Cheong CWinikoff M(2013)A comparison of two agent interaction design approachesMultiagent and Grid Systems10.3233/MGS-1302009:1(1-44)Online publication date: 1-Jan-2013
https://dl.acm.org/doi/10.3233/MGS-130200
Higashino MOsaki SOtagaki STakahashi KKawamura TSugahara KWeippl EIndrawan-Santiago MSteinbauer MKotsis GKhalil I(2013)Debugging Mobile Agent SystemsProceedings of International Conference on Information Integration and Web-based Applications & Services10.1145/2539150.2539261(667-670)Online publication date: 2-Dec-2013
https://dl.acm.org/doi/10.1145/2539150.2539261
Show More Cited By

View Options

View options

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

Media

Figures

Other

Tables

View Issue’s Table of Contents