Skip to main content
SpringerLink
Log in

The Tropos Software Development Methodology: Processes, Models and Diagrams

  • Conference paper
  • First Online:
Agent-Oriented Software Engineering III (AOSE 2002)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 2585))

Included in the following conference series:

Abstract

Tropos is a novel agent-oriented software development methodology founded on two key features: (i) the notions of agent, goal, plan and various other knowledge level concepts are fundamental primitives used uniformly throughout the software development process; and (ii) a crucial role is assigned to requirements analysis and specification when the system-to-be is analyzed with respect to its intended environment. This paper describes the basic concepts on which Tropos is founded and the types of models one builds out of them.We also specify the analysis process through which design flows from external to system actors through a goal analysis and delegation. In addition, we provide an abstract syntax for Tropos diagrams and other linguistic constructs.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. B. Bauer, J. P. Müller, and J. Odell. Agent UML:A formalism for specifying multiagent software systems. Int. Journal of Software Engineering and Knowledge Engineering, 11(3):207–230, 2001.

    Article  Google Scholar 

  2. P. Busetta, R. Rönnquist, A. Hodgson, and A. Lucas. JACK Intelligent Agents-Components for Intelligent Agents in Java. Technical Report TR9901, AOS, January 1999.

    Google Scholar 

  3. L. K. Chung, B. A. Nixon, E. Yu, and J. Mylopoulos. Non-Functional Requirements in Software Engineering. Kluwer Publishing, 2000.

    Google Scholar 

  4. A. Dardenne, A. van Lamsweerde, and S. Fickas. Goal-directed requirements acquisition. Science of Computer Programming, 20(1–2):3–50, 1993.

    Article  MATH  Google Scholar 

  5. S. A. Deloach. Analysis and Design using MaSE and agentTool. In 12th Midwest Artificial Intelligence and Cognitive Science Conference (MAICS 2001), Miami University, Oxford, Ohio, March 31–April 1 2001.

    Google Scholar 

  6. A. Fuxman, M. Pistore, J. Mylopoulos, and P. Traverso. Model Checking Early Requirements Specifications in Tropos. In Proceedings Fifth IEEE International Symposium on Requirements Engineering (RE01), pages 174–181, Toronto, Canada, August 2001.

    Google Scholar 

  7. P. Giorgini, M. Kolp, and J. Mylopoulus. Multi-Agent and Software Architectures: A comparative case study. In this book.

    Google Scholar 

  8. F. Giunchiglia, A. Perini, and F. Sannicolò. Knowledge level software engineering. In J.-J. C. Meyer and M. Tambe, editors, Intelligent Agents VIII, LNCS 2333, pages 6–20, Seattle,WA, USA, August 2001. Springer-Verlag.

    Chapter  Google Scholar 

  9. Martin L. Griss, Steven Fonseca, Dick Cowan, and Robert Kessler. Using UMLState Machine Models for More Precise and Flexible JADE Agent Behaviors. In this book.

    Google Scholar 

  10. Marc-Philippe Huget. Extending Agent UML Protocol Diagrams. In this book.

    Google Scholar 

  11. D. Kinny, M. Georgeff, and A. Rao. A methodology and modelling technique for systems of BDI agents. In J. W. Perram W. Van de Velde, editor, Agents Breaking Away, 7th European Workshop on Modelling Autonomous Agents in a Multi-AgentWorld, volume 1038 of Lecture Notes in Computer Science, pages 56–71. Springer-Verlag, 1996.

    Google Scholar 

  12. J. Mylopoulos, L. K. Chung, and B. A. Nixon. Representing and using non-functional requirements: A process-oriented approach. IEEE Transactions on Software Engineering, June 1992.

    Google Scholar 

  13. A. Newell. The Knowledge Level. Artificial Intelligence, 18:87–127, 1982.

    Article  Google Scholar 

  14. OMG. OMG Unified Modeling Language Specification, version 1.3, alpha edition, 1999.

    Google Scholar 

  15. Lin Padgham and Michael Winikoff. Prometheus:A Methodology for Developing Intelligent Agents. In this book.

    Google Scholar 

  16. A. Perini, P. Bresciani, F. Giunchiglia, P. Giorgini, and J. Mylopoulos. A Knowledge Level Software Engineering Methodology for Agent Oriented Programming. In Proceedings of the Fifth International Conference on Autonomous Agents, pages 648–655, Montreal CA, May 2001.

    Google Scholar 

  17. A. Perini, A. Susi, and F. Giunchiglia. Coordination specification in Multi-Agent Systems. From requirements to architecture with the Tropos methodology. In 14th International Conference on Software Engineering and Knowledge Engineering (SEKE’2002), Ischia, Italy, July 2002. ACM Press.

    Google Scholar 

  18. F. Sannicolò, A. Perini, and F. Giunchiglia. The Tropos modeling language. A User Guide. Technical Report 0204-13, ITC-irst, January 2002.

    Google Scholar 

  19. M. Wooldridge, N. R. Jennings, and D. Kinny. The Gaia methodology for agent-oriented analysis and design. Journal of Autonomous Agents and Multi-Agent Systems, 3(3), 2000.

    Google Scholar 

  20. E. Yu. Modelling Strategic Relationships for Process Reengineering. PhD thesis, University of Toronto, Department of Computer Science, University of Toronto, 1995.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Information and Communication Technology, University of Trento, via Sommarive, 14, I-38050, Povo, Italy

    Fausto Giunchiglia

  2. Department of Computer Science, University of Toronto, M5S 3H5, Toronto, Ontario, Canada

    John Mylopoulos

  3. ITC-Irst, Via Sommarive, 18, I-38050, Trento-Povo, Italy

    Anna Perini

Authors
  1. Fausto Giunchiglia
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. John Mylopoulos
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Anna Perini
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Information and Communication Technology, University of Trento, 38050 Povo, Trento, Italy

    Fausto Giunchiglia

  2. 3646 West Huron River Drive, 48103, Ann Arbor, Michigan, USA

    James Odell

  3. Institut für Informatik Technische, Boltzmannstr. 3, 85748, Garching, Germany

    Gerhard Weiß

Rights and permissions

Reprints and permissions

Copyright information

© 2003 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Giunchiglia, F., Mylopoulos, J., Perini, A. (2003). The Tropos Software Development Methodology: Processes, Models and Diagrams. In: Giunchiglia, F., Odell, J., Weiß, G. (eds) Agent-Oriented Software Engineering III. AOSE 2002. Lecture Notes in Computer Science, vol 2585. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-36540-0_13

Download citation

  • DOI: https://doi.org/10.1007/3-540-36540-0_13

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-00713-5

  • Online ISBN: 978-3-540-36540-2

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation