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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
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.
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.
L. K. Chung, B. A. Nixon, E. Yu, and J. Mylopoulos. Non-Functional Requirements in Software Engineering. Kluwer Publishing, 2000.
A. Dardenne, A. van Lamsweerde, and S. Fickas. Goal-directed requirements acquisition. Science of Computer Programming, 20(1–2):3–50, 1993.
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.
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.
P. Giorgini, M. Kolp, and J. Mylopoulus. Multi-Agent and Software Architectures: A comparative case study. In this book.
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.
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.
Marc-Philippe Huget. Extending Agent UML Protocol Diagrams. In this book.
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.
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.
A. Newell. The Knowledge Level. Artificial Intelligence, 18:87–127, 1982.
OMG. OMG Unified Modeling Language Specification, version 1.3, alpha edition, 1999.
Lin Padgham and Michael Winikoff. Prometheus:A Methodology for Developing Intelligent Agents. In this book.
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.
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.
F. Sannicolò, A. Perini, and F. Giunchiglia. The Tropos modeling language. A User Guide. Technical Report 0204-13, ITC-irst, January 2002.
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.
E. Yu. 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
Editors and Affiliations
Rights 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