The Tropos Software Engineering Methodology

  • Mirko MorandiniEmail author
  • Fabiano Dalpiaz
  • Cu Duy Nguyen
  • Alberto Siena


The agent-oriented software engineering methodology Tropos offers a structured development process for the development of socio-technical systems. Such systems explicitly recognise the interplay between social actors (humans and organisations) and technical systems (software). Tropos adopts the state-of-the-art i* requirements modelling language throughout the development cycle, giving special attention to the early phases of domain and requirements analysis. The system is modelled in terms of the goals of the involved actors and their social interdependencies, allowing for a seamless transition from the requirements to the design and potentially to an agent-oriented implementation. Tropos prescribes a limited set of domain-independent models, activities and artefacts, which can be complement with domain- and application-specific ones.



The authors thank Angelo Susi (Fondazione Bruno Kessler) Anna Perini (Fondazione Bruno Kessler), and Paolo Giorgini (University of Trento) for their support.


  1. 1.
    Asnar, Y., Giorgini, P., Mylopoulos, J.: Goal-driven risk assessment in requirements engineering. Requir. Eng. 16(2), 101–116 (2011)CrossRefGoogle Scholar
  2. 2.
    Bellifemine, F., Poggi, A., Rimassa, G.: JADE: a FIPA compliant agent framework. In: Practical Applications of Intelligent Agents and Multi-agents, pp. 97–108, April 1999Google Scholar
  3. 3.
    Braubach, L., Pokahr, A., Moldt, D., Lamersdorf, W.: Goal representation for BDI agent systems. In: Programming Multi-agent Systems, pp. 44–65 (2004)Google Scholar
  4. 4.
    Bresciani, P., Giorgini, P., Giunchiglia, F., Mylopoulos, J., Perini, A.: Tropos: an agent-oriented software development methodology. Auton. Agent Multi Agent Syst. 8(3), 203–236 (2004)CrossRefGoogle Scholar
  5. 5.
    Bryl, V., Giorgini, P., Mylopoulos, J.: Designing cooperative IS: exploring and evaluating alternatives. In: OTM Conferences (1), pp. 533–550 (2006)Google Scholar
  6. 6.
    Bryl, V., Dalpiaz, F., Ferrario, R., Mattioli, A., Villafiorita, A.: Evaluating procedural alternatives: a case study in e-voting. Electron. Gov. 6(2), 213–231 (2009)CrossRefGoogle Scholar
  7. 7.
    Chung, L.K., Nixon, B., Yu, E., Mylopoulos, J.: Non-Functional Requirements in Software Engineering. Kluwer, Dordrecht (2000)CrossRefzbMATHGoogle Scholar
  8. 8.
    Fuxman, A., Pistore, M., Mylopoulos, J., Traverso, P.: Model checking early requirements specifications in Tropos. In: IEEE International Symposium on Requirements Engineering, pp. 174–181. IEEE Computer Society, Toronto (Aug 2001)Google Scholar
  9. 9.
    Giorgini, P., Mylopoulous, J., Sebastiani, R.: Goal-oriented requirements analysis and reasoning in the tropos methodology. Eng. Appl. Artif. Intell. 18(2), 159–171 (2005)CrossRefGoogle Scholar
  10. 10.
    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’05) (2005)Google Scholar
  11. 11.
    Hadar, I., Kuflik, T., Perini, A., Reinhartz-Berger, I., Ricca, F., Susi, A.: An empirical study of requirements model understanding: Use Case vs. tropos models. In: Symposium on Applied Computing, pp. 2324–2329 (2010)Google Scholar
  12. 12.
    Kolp, M., Giorgini, P., Mylopoulos, J.: A goal-based organizational perspective on multi-agents architectures. In: Proceedings of the Eighth International Workshop on Agent Theories, Architectures, and Languages (ATAL-2001) (2001)Google Scholar
  13. 13.
    Morandini, M., Nguyen, D.C., Perini, A., Siena, A., Susi, A.: Tool-supported development with tropos: the conference management system case study. In Luck, M., Padgham, L. (eds.) Agent Oriented Software Engineering VIII. Lecture Notes in Computer Science, vol. 4951, pp. 182–196. Springer, Berlin (2008). 8th International Workshop, AOSE 2007, Honolulu, May 2007Google Scholar
  14. 14.
    Morandini, M., Penserini, L., Perini, A.: Automated mapping from goal models to self-adaptive systems. In: 23rd IEEE/ACM International Conference on Automated Software Engineering (ASE 2008), Tool Demo, pp. 485–486 (Sept 2008)Google Scholar
  15. 15.
    Morandini, M., Penserini, L., Perini, A.: Operational semantics of goal models in adaptive agents. In: 8th International Conference on Autonomous Agents and Multi-agent Systems (AAMAS’09). IFAAMAS, Richland (May 2009)Google Scholar
  16. 16.
    Morandini, M., Perini, A., Marchetto, A.: Empirical evaluation of tropos4as modelling. In: iStar, pp. 14–19 (2011)Google Scholar
  17. 17.
    Nguyen, C.D., Perini, A., Tonella, P.: eCAT: a tool for automating test cases generation and execution in testing multi-agent systems. In: Proceedings of the 7th International Joint Conference on Autonomous Agents and Multiagent Systems: Demo Papers, pp. 1669–1670. International Foundation for Autonomous Agents and Multiagent Systems, Richland (2008)Google Scholar
  18. 18.
    Nguyen, C.D., Perini, A., Tonella, P.: Goal-oriented testing for MASs. Int. J. Agent Oriented Softw. Eng. 4(1), 79–109 (2010)CrossRefGoogle Scholar
  19. 19.
    Penserini, L., Perini, A., Susi, A., Morandini, M., Mylopoulos, J.: A design framework for generating BDI-agents from goal models. In: 6th International Conference on Autonomous Agents and Multi-agent Systems (AAMAS’07), Honolulu, pp. 610–612 (2007)Google Scholar
  20. 20.
    Penserini, L., Perini, A., Susi, A., Mylopoulos, J.: High variability design for software agents: extending tropos. ACM Trans. Auton. Adapt. Syst. 2(4), 16:01–16:27 (2007)Google Scholar
  21. 21.
    Perini, A., Susi, A.: Agent-oriented visual modeling and model validation for engineering distributed systems. Comput. Syst. Sci. Eng. 20(4), 319–329 (2005)MathSciNetGoogle Scholar
  22. 22.
    Pokahr, A., Braubach, L., Lamersdorf, W.: Jadex: a BDI reasoning engine. In: Dix, J., Bordini, R., Dastani, M., El Fallah Seghrouchni, A. (eds.) Multi-agent Programming, vol. 9, pp. 149–174. Springer Science+Business Media Inc., New York (2005). Book chapterGoogle Scholar
  23. 23.
    Susi, A., Perini, A., Mylopoulos, J., Giorgini, P.: The tropos metamodel and its use. Informatica (Slovenia) 29(4), 401–408 (2005)Google Scholar
  24. 24.
    Yu, E.: Modelling strategic relationships for process reengineering. Ph.D. thesis, Department of Computer Science, University of Toronto (1995)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2014

Authors and Affiliations

  • Mirko Morandini
    • 1
    Email author
  • Fabiano Dalpiaz
    • 2
  • Cu Duy Nguyen
    • 1
  • Alberto Siena
    • 3
  1. 1.Fondazione Bruno KesslerTrentoItaly
  2. 2.Department of Computer ScienceUniversity of TorontoTorontoCanada
  3. 3.DISI, Università di TrentoTrentoItaly

Personalised recommendations