Applying Tropos Methodology to a real case study : Complexity and Criticality Analysis

Currently in Requirements Engineering the attention is being focused more and more on the understanding of a problem by studying the existing organizational setting in which the system will operate. In this paper we present the application of the Tropos early requirements analysis to a real case study, the Ice Co. We introduce a new type of analysis for actor diagrams based on two different parameters, complexity and criticality, and we show the results we obtained during the case study.

[1]  Fausto Giunchiglia,et al.  Tropos: An Agent-Oriented Software Development Methodology , 2004, Autonomous Agents and Multi-Agent Systems.

[2]  Stephen Shaoyi Liao,et al.  Exploring Alternatives during Requirements Analysis , 2001, IEEE Softw..

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

[4]  Fausto Giunchiglia,et al.  Modeling Early Requirements in Tropos: A Transformation Based Approach , 2001, AOSE.

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

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

[7]  Fausto Giunchiglia,et al.  The tropos software development methodology: processes, models and diagrams , 2002, AAMAS '02.

[8]  Eric S. K. Yu,et al.  Modeling organizations for information systems requirements engineering , 1993, [1993] Proceedings of the IEEE International Symposium on Requirements Engineering.

[9]  Fausto Giunchiglia,et al.  Agent- Oriented Software Development: A Case Study , 2001, SEKE.

[10]  Bernhard Bauer,et al.  Extending UML for agents , 2000 .

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

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

[13]  Fausto Giunchiglia,et al.  Towards an Agent Oriented Approach to Software Engineering , 2001, WOA.

[14]  Fabrizio Sannicolo,et al.  Tropos Requirements Analysis for defining a Tropos tool , 2002 .

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

[16]  Paolo Bresciani,et al.  Requirements Analysis in Tropos: A Self-Referencing Example , 2002, Agent Technologies, Infrastructures, Tools, and Applications for E-Services.

[17]  John Mylopoulos,et al.  Understanding "why" in software process modelling, analysis, and design , 1994, Proceedings of 16th International Conference on Software Engineering.

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

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

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