Skip to main content
SpringerLink
Log in

UML for Agent-Oriented Software Development: The Tropos Proposal

  • Conference paper
  • First Online:
≪UML≫ 2001 — The Unified Modeling Language. Modeling Languages, Concepts, and Tools (UML 2001)

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

Included in the following conference series:

Abstract

We describe a software development methodology called Tropos for agent-oriented software systems. The methodology adopts the i* modeling framework [29], which offers the notions of actor, goal and (actor) dependency, and uses these as a foundation to model early and late requirements, architectural and detailed design. The paper outlines the methodology, and shows how the concepts of Tropos can be accommodated within UML. In addition, we also adopt recent proposals for extensions of UML to support design specifications for agent software. Finally the paper compares Tropos to other research on agent-oriented software development.

For further detail about the Tropos project, see http://www.cs.toronto.edu/km/tropos.

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. Bauer, B., Extending UML for the Specification of Agent Interaction Protocols, OMG document ad/99-12-03, FIPA submission to the OMG’s Analysis and Design Task Force (ADTF) in response to the Request of Information (RFI) entitled “UML2.0 RFI”, December 1999.

    Google Scholar 

  2. Booch, G., Rumbaugh, J. and Jacobson, I., The Unified Modeling Language User Guide, The Addison-Wesley Object Technology Series, Addison-Wesley, 1999.

    Google Scholar 

  3. Castro, J., Kolp, M. and Mylopoulos, J., “A Requirements-Driven Development Methodology”, Proceedings of the 13th International Conference on Advanced Information Systems Engineering (CAiSE’01), Interlaken, Switzerland, June 2001.

    Google Scholar 

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

    Google Scholar 

  5. Clarke, E., Grumberg, O. and Peled, D., Model Checking, MIT Press, 1999.

    Google Scholar 

  6. Cohen, P. and Levesque, H., “Intention is Choice with Commitment”, Artificial Intelligence, 32(3), 1990, pp. 213–261.

    Article  MathSciNet  Google Scholar 

  7. Conallen, J., Building Web Applications with UML, The Addison-Wesley Object Technology Series, Addison-Wesley, 2000.

    Google Scholar 

  8. Dardenne, A., van Lamsweerde, A. and Fickas, S., “Goal-directed Requirements Acquisition”, Science of Computer Programming, 20, 1993, pp. 3–50.

    Article  MATH  Google Scholar 

  9. Davis, A., Software Requirements: Objects, Functions and States, Prentice Hall, 1993.

    Google Scholar 

  10. DeLoach, S. A. and Wood, M., “Developing Multiagent Systems with agentTool”, Proceedings of the 7th The Seventh International Workshop on Agent Theories, Architectures, and Languages (ATAL’00), Boston, USA, July, 2000.

    Google Scholar 

  11. DeMarco, T., Structured Analysis and System Specification, Yourdon Press, 1978.

    Google Scholar 

  12. The Foundation for Intelligent Physical Agents, http://www.fipa.org, 2001.

  13. Fuxman, A., Pistore, M., Mylopoulos, J. and Traverso, P., “Model Checking Early Requirements Specification in Tropos”, Proceedings of the Fifth IEEE International Symposium on Requirements Engineering (RE’01), Toronto, Canada, August 2001.

    Google Scholar 

  14. Fuxman, A., Giorgini, P., Kolp, M. and Mylopoulos, J., “Information Systems as Social Structures”, Proceedings of the Second International Conference on Formal Ontologies for Information Systems (FOIS’01), Ogunquit, USA, October 2001.

    Google Scholar 

  15. Goal Oriented Requirement Language, http://www.cs.toronto.edu/km/GRL

  16. Iglesias, C., Garrijo, M. and Gonzalez, J., “A Survey of Agent-Oriented Methodologies”, Proceedings of the 5th International Workshop on Intelligent Agents: Agent Theories, Architectures, and Languages (ATAL’98), pp. 317–330, Paris, France, July 1998.

    Google Scholar 

  17. Jennings, N. R., “On agent-based software engineering”, Artificial lntelligence, 117, 2000, pp. 277–296.

    Article  MATH  Google Scholar 

  18. Kinny, D. and Georgeff, M., “Modelling and Design of Multi-Agent System”, Proceedings of the Third International Workshop on Agent Theories, Architectures, and Languages (ATAL’96), pp. 1–20, Budapest, Hungary, August 1996.

    Google Scholar 

  19. Kolp, M., Castro, J. and Mylopoulos, J., “A Social Organization Perspective on Software Architectures”, Proceedings of the First International Workshop From Software Requirements to Architectures (STRAW’01), pp. 5–12, Toronto, Canada, May 2001.

    Google Scholar 

  20. Kolp, M., Giorgini, P. and Mylopoulos, J., “A Goal-Based Organizational Perspective on Multi-Agents Architectures”, Proceedings of the 9th International Workshop on Intelligent Agents: Agent Theories, Architectures, and Languages (ATAL’01), Seattle, USA, August 2001.

    Google Scholar 

  21. Odell, J. and Bock, C., Suggested UML Extensions for Agents, OMG document ad/99-12-01, Submitted to the OMG’s Analysis and Design Task Force (ADTF) in response to the Request of Information (RFI) entitled “UML 2.0 RFI”, December 1999.

    Google Scholar 

  22. Odell, J., Van Dyke Parunak, H. and Bauer, B., “Extending UML for Agents”, Proceedings of the Agent-Oriented Information System Workshop at the 17th National Conference on Artificial Intelligence, pp. 3–17, Austin, USA, July 2000.

    Google Scholar 

  23. Perini, A., Bresciani, P., Giunchiglia, F., Giorgini, P. and Mylopoulos, J., “A Knowledge Level Software Engineering Methodology for Agent Oriented Programming”. Proceedings of the Fifth International Conference on Autonomous Agents (Agents’01), Montreal, Canada, June 2001.

    Google Scholar 

  24. Wirfs-Brock, R., Wilkerson, B. and Wiener, L., Designing Object-Oriented Software, Englewood Cliffs, Prentice-Hall, 1990.

    Google Scholar 

  25. Wooldridge, M., Jennings, N. R. and Kinny D., “The Gaia Methodology for Agent-Oriented Analysis and Design”, Journal of Autonomous Agents and Multi-Agent Systems, 3(3), 2000.

    Google Scholar 

  26. Yourdon, E. and Constantine, L., Structured Design: Fundamentals of a Discipline of Computer Program and Systems Design, Prentice-Hall, 1979.

    Google Scholar 

  27. Yu, E., “Modeling Organizations for Information Systems Requirements Engineering”, Proceedings of the First IEEE International Symposium on Requirements Engineering (RE’93), pp. 34–41, San Jose, USA, January 1993.

    Google Scholar 

  28. Yu, E. and Mylopoulos, J., “Understanding ‘Why’ in Software Process Modeling, Analysis and Design”, Proceedings of the Sixteenth International Conference on Software Engineering (ICSE’94,, pp. 159–168, Sorrento, Italy, May 1994.

    Google Scholar 

  29. Yu, E., Modelling Strategic Relationships for Process Reengineering, Ph.D. thesis, Department of Computer Science, University of Toronto, Canada, 1995.

    Google Scholar 

  30. Yu, E. and Mylopoulos, J., “Using Goals, Rules, and Methods to Support Reasoning in Business Process Reengineering”, International Journal of Intelligent Systems in Accounting, Finance and Management, 5(1), January 1996, pp. 1–13.

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science, University of Toronto, 10 King’s College Road, Toronto, M5S 3G4, Canada

    John Mylopoulos & Manuel Kolp

  2. Centro de Informática, Universidade Federal de Pernambuco, Av. Prof. Luiz Freire S/N, Recife PE, Brazil, 50732-970

    Jaelson Castro

Authors
  1. John Mylopoulos
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Manuel Kolp
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Jaelson Castro
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Mathematics and Computer Science Database Systems Group, University of Bremen, P.O. Box 33 04 40, 28334, Bremen, Germany

    Martin Gogolla

  2. Telelogic Technologies, P.O. Box 23 20, Fallbrook, CA, 92088, USA

    Cris Kobryn

Rights and permissions

Reprints and permissions

Copyright information

© 2001 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Mylopoulos, J., Kolp, M., Castro, J. (2001). UML for Agent-Oriented Software Development: The Tropos Proposal. In: Gogolla, M., Kobryn, C. (eds) ≪UML≫ 2001 — The Unified Modeling Language. Modeling Languages, Concepts, and Tools. UML 2001. Lecture Notes in Computer Science, vol 2185. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45441-1_31

Download citation

  • DOI: https://doi.org/10.1007/3-540-45441-1_31

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-42667-7

  • Online ISBN: 978-3-540-45441-0

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation