The Tropos Software Development Methodology: Processes, Models and Diagrams

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.

[1]  Fausto Giunchiglia,et al.  The Tropos Modeling Language. A User Guide , 2002 .

[2]  Fausto Giunchiglia,et al.  Coordination specification in multi-agent systems: from requirements to architecture with the Tropos methodology , 2002, SEKE '02.

[3]  Marco Pistore,et al.  Model checking early requirements specifications in Tropos , 2001, Proceedings Fifth IEEE International Symposium on Requirements Engineering.

[4]  Allen Newell,et al.  The Knowledge Level , 1989, Artif. Intell..

[5]  Fausto Giunchiglia,et al.  Knowledge Level Software Engineering , 2001, ATAL.

[6]  John Mylopoulos,et al.  Multi-agent and Software Architectures: A Comparative Case Study , 2002, AOSE.

[7]  Michael Winikoff,et al.  Prometheus: A Methodology for Developing Intelligent Agents , 2002, AOSE.

[8]  Nicholas R. Jennings,et al.  The Gaia Methodology for Agent-Oriented Analysis and Design , 2000, Autonomous Agents and Multi-Agent Systems.

[9]  Scott A. DeLoach,et al.  Analysis and Design using MaSE and agentTool , 2001 .

[10]  Stephen Fickas,et al.  Goal-Directed Requirements Acquisition , 1993, Sci. Comput. Program..

[11]  John Mylopoulos,et al.  Representing and Using Nonfunctional Requirements: A Process-Oriented Approach , 1992, IEEE Trans. Software Eng..

[12]  Martin L. Griss,et al.  Using UML State Machine Models for More Precise and Flexible JADE Agent Behaviors , 2002, AOSE.

[13]  Jörg P. Müller,et al.  Agent UML: A Formalism for Specifying Multiagent Software Systems , 2001, Int. J. Softw. Eng. Knowl. Eng..

[14]  Anand S. Rao,et al.  A Methodology and Modelling Technique for Systems of BDI Agents , 1996, MAAMAW.

[15]  Fausto Giunchiglia,et al.  A knowledge level software engineering methodology for agent oriented programming , 2001, AGENTS '01.