Skip to main content

Modeling Early Requirements in Tropos: A Transformation Based Approach

  • Conference paper
  • First Online:
Agent-Oriented Software Engineering II (AOSE 2001)

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

Included in the following conference series:

Abstract

We are developingan agent-oriented software development methodology, called Tropos, which integrates ideas from multi-agent system technologies and Requirements Engineering research. A distinguishingfeature of Tropos is that it covers software development from early requirements analysis to detailed design, allowing for a deeper understandingof the operational environment of the new software system. This paper proposes a characterization of the process of early requirements analysis, defined in terms of transformation applications. Different categories of transformations are presented and illustrated by means of a runningexample. These transformations are then mapped onto a set of primitive transformations. The paper concludes with observations on the form and the role of the proposed transformations.

Tropos (from the Greek “τροπη”, “tropé”, which means “easily changeable”, also “easily adaptable”).

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

Access this chapter

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. C. Batini, S. Ceri, and S. Navathe. Conceptual Database Design. An Entity-Relationship Approach. Benjamin-Cummings Redwood City, Calif., 1992.

    Google Scholar 

  2. P. Busetta, R. Rönnquist, A. Hodgson, and A. Lucas. JACK Intelligent Agents-Components for Intelligent Agents in Java. AOS TR9901, Jan. 1999. http://www.jackagents.com/pdf/tr9901.pdf.

  3. G. Caire, F. Garijo, J. Gomez, J. Pavon, F. Leal, P. Chainho, P. Kearney, J. Stark, R. Evans, and P. Massonet. Agent Oriented Analysis Using MESSAGE/UML. In this book.

    Google Scholar 

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

    Google Scholar 

  5. P. Ciancarini and M. Wooldridge. Agent-Oriented Software Engineering. Springer-Verlag Lecture Notes in Computer Science (LNCS) Vol. 1957, 2001.

    Google Scholar 

  6. A. Dardenne, A. van Lamsweerde, and S. Fickas. “Goal” directed Requirements Acquisition. Science of Computer Programming, (20), 1993.

    Google Scholar 

  7. A. Fuxman, M. Pistore, J. Mylopoulos, and P. Traverso. Model CheckingEarly Requirements Specifications in Tropos. In Proceedings of the Fifth IEEE International Symposium on Requirements Engineering (RE01), Toronto, Canada, August 2001.

    Google Scholar 

  8. C. Jonker, I. A. Letia, and J. Treur. Diagnosis of the Dynamics Within an Organization by Trace Checkingof Behavioral Requirements. In this book.

    Google Scholar 

  9. J. Mylopoulos, L. Chung, S. S. Y. Liao, H. Wang, and E. Yu. Exploring Alternatives DuringRequiremen ts Analysis. IEEE Software, 2001.

    Google Scholar 

  10. S. A. O’Malley and S. A. DeLoach. DeterminingWhen to Use an Agent-Oriented Software Engineering Paradigm. In this book.

    Google Scholar 

  11. 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, Montral CA, May 2001.

    Google Scholar 

  12. A. Perini, F. Sannicolo, and F. Giunchiglia. The Tropos Modelling Language Specification. Version 1.0. Technical Report, IRST, Feb. 2001. http://www.science.unitn.it/~pgiorgio/aose.

  13. A. van Lamsweerde. Requirements Engineering in the Year 00: A Research Perspective. In Proceedings of the 22nd International Conference on Software Engineering, Invited Paper, ACM Press, June 2000.

    Google Scholar 

  14. X. Wang and Y. Lesperance. Agent-Oriented Requirements Engineering Using ConGologand i*. In Proceedings of the Third International Bi-Conference Workshop on Agent-Oriented Information Systems (AOIS-2001), at Agents 2001, Montreal, Canada, May 28, 2001.

    Google Scholar 

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

    Google Scholar 

  16. H. Zhu. A Formal Specification Lanaguage for MAS Engineering. In this book.

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2002 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Bresciani, P., Perini, A., Giorgini, P., Giunchiglia, F., Mylopoulos, J. (2002). Modeling Early Requirements in Tropos: A Transformation Based Approach. In: Wooldridge, M.J., Weiß, G., Ciancarini, P. (eds) Agent-Oriented Software Engineering II. AOSE 2001. Lecture Notes in Computer Science, vol 2222. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-70657-7_11

Download citation

  • DOI: https://doi.org/10.1007/3-540-70657-7_11

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-43282-1

  • Online ISBN: 978-3-540-70657-1

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics