Abstract
The agent-oriented software engineering methodology Tropos offers a structured development process and supporting tools for developing complex, distributed systems.
The objective of this paper is twofold: first, to illustrate the use of Tropos to develop a Multi-Agent System, performing basic analysis and design activities, code generation and testing, with the support of a set of tools; second, to enable the comparison with other, tool-supported, agent-oriented software engineering methodologies through a description of the main steps of these activities and of excerpts of the resulting artefacts, with reference to a common case study, namely, the Conference Management System case study.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Bellifemine, F., Poggi, A., Rimassa, G.: JADE: A FIPA Compliant agent framework. In: Practical Applications of Intelligent Agents and Multi-Agents, pp. 97–108 (1999)
Bertolini, D., Novikau, A., Susi, A., Perini, A.: TAOM4E: An Eclipse ready tool for Agent-Oriented Modeling. Issue on the development process. Technical report, Fondazione Bruno Kessler - irst (2006)
Bresciani, P., Giorgini, P., Giunchiglia, F., Mylopoulos, J., Perini, A.: Tropos: An Agent-Oriented Software Development Methodology. Autonomous Agents and Multi-Agent Systems 8(3), 203–236 (2004)
Bryl, V., Giorgini, P., Mylopoulos, J.: Designing cooperative IS: Exploring and evaluating alternatives. In: OTM Conferences (1), pp. 533–550 (2006)
Dam, K., Winikoff, M.: Comparing Agent-Oriented Methodologies. In: Proceedings of the 5th Int’l Bi-Conference Workshop on AgentOriented Information Systems (AOIS), Melbourne, Australia (2003)
DeLoach, S.A.: Modeling organizational rules in the multi-agent systems engineering methodology. In: Cohen, R., Spencer, B. (eds.) Canadian AI 2002. LNCS (LNAI), vol. 2338, pp. 1–15. Springer, Heidelberg (2002)
Federico Bergenti, M.-P.G., Zambonelli, F. (eds.): Methodologies and Software Engineering for Agent Systems: The Agent-Oriented Software Engineering Handbook. Springer, Heidelberg (2004)
Fuxman, A., Liu, L., Mylopoulos, J., Roveri, M., Traverso, P.: Specifying and analyzing early requirements in tropos. Requir. Eng. 9(2), 132–150 (2004)
Fuxman, A., Pistore, M., Mylopoulos, J., Traverso, P.: Model checking early requirements specifications in Tropos. In: IEEE Int. Symposium on Requirements Engineering, Toronto, CA, August 2001, pp. 174–181. IEEE Computer Society Press, Los Alamitos (2001)
Giorgini, P., Massacci, F., Mylopoulos, J., Zannone, N.: Modeling security requirements through ownership, permission and delegation. In: Proceedings of the 13th IEEE International Requirements Engineering Conference (RE 2005) (2005)
Giorgini, P., Mylopoulos, J., Perini, A., Susi, A.: The Tropos Methodology and Software Development Environment. In: Giorgini, P., Maiden, N., Mylopoulos, J., Yu, E. (eds.) Social Modelling for Requirements Engineering, MIT Press, Cambridge (to appear)
Giorgini, P., Mylopoulous, J., Sebastiani, R.: Goal-Oriented Requirements Analysis and Reasoning in the Tropos Methodology. Engineering Applications of Artificial Intelligence 18(2), 159–171 (2005)
Henderson-Sellers, B., Giorgini, P. (eds.): Agent-Oriented Methodologies. Idea Group Inc. (2005)
Morandini, M.: Knowledge Level Engineering of BDI Agents. Master’s thesis, Dept. of Computer Science, University of Trento, Italy (2006), http://dit.unitn.it/~morandini/resources/ThesisMirkoMorandini.pdf
Morandini, M., Penserini, L., Perini, A., Susi, A.: Refining goal models by evaluating system behaviour. In: 8th International Workshop on Agent-Oriented Software Engineering, AAMAS (May 2007)
Nguyen, D.C., Perini, A., Tonella, P.: A goal-oriented software testing methodology. In: 8th International Workshop on Agent-Oriented Software Engineering, AOSE 2007. LNCS, vol. 4951, Springer, Heidelberg (2007)
Penserini, L., Perini, A., Susi, A., Mylopoulos, J.: From Stakeholder Intentions to Software Agent Implementations. In: Dubois, E., Pohl, K. (eds.) CAiSE 2006. LNCS, vol. 4001, pp. 465–479. Springer, Heidelberg (2006)
Penserini, L., Perini, A., Susi, A., Mylopoulos, J.: From Stakeholder Intentions to Agent Capabilities. In: Sixth International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS 2007), Haway, USA, ACM Press, New York (2007)
Perini, A., Susi, A.: Agent-Oriented Visual Modeling and Model Validation for Engineering Distributed Systems. Computer Systems Science & Engineering 20(4), 319–329 (2005)
Pokahr, A., Braubach, L., Lamersdorf, W.: Jadex: Implementing a bdi-infrastructure for jade agents. EXP - in search of innovation (Special Issue on JADE) 3(3), 76–85 (2003)
Pokahr, A., Braubach, L., Lamersdorf, W.: Jadex: A bdi reasoning engine. In: Bordini, J.D.R., Dastani, M., Seghrouchni, A.E.F. (eds.) Multi-Agent Programming, pp. 149–174. Springer Science, Business Media Inc. (2005)
Siena, A.: Engineering Normative Requirements. In: Proceedings of the First International Conference on Research Challenges in Information Science, RCIS 2007, Ouarzazate, Morocco, pp. 439–444 (2007)
Souza, R.G.-S., Perini, A.: Analyzing requirements of knowledge management systems with the support of agent organizations. Journal of the Brazilian Computer Society (JCBS) 11(1), 51–62 (2005), ISSN 0104-6500
Yu, E.: Modelling Strategic Relationships for Process Reengineering. PhD thesis, University of Toronto, Department of Computer Science, University of Toronto (1995)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2008 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Morandini, M., Nguyen, D.C., Perini, A., Siena, A., Susi, A. (2008). Tool-Supported Development with Tropos: The Conference Management System Case Study. In: Luck, M., Padgham, L. (eds) Agent-Oriented Software Engineering VIII. AOSE 2007. Lecture Notes in Computer Science, vol 4951. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-79488-2_14
Download citation
DOI: https://doi.org/10.1007/978-3-540-79488-2_14
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-79487-5
Online ISBN: 978-3-540-79488-2
eBook Packages: Computer ScienceComputer Science (R0)