Modeling Early Requirements in Tropos: A Transformation Based Approach

We are developing an agent-oriented software development methodology, called Tropos, which integrates ideas from multi-agent system technologies and Requirements Engineering research. A distinguishing feature of Tropos is that it covers software development from early requirements analysis to detailed design, allowing for a deeper understanding of 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 running example. 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.

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

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

[3]  John Mylopoulos,et al.  Non-Functional Requirements in Software Engineering , 2000, International Series in Software Engineering.

[4]  Shamkant B. Navathe,et al.  Conceptual Database Design: An Entity-Relationship Approach , 1991 .

[5]  Axel van Lamsweerde,et al.  Requirements engineering in the year 00: a research perspective , 2000, Proceedings of the 2000 International Conference on Software Engineering. ICSE 2000 the New Millennium.

[6]  Scott A. DeLoach,et al.  Determining When to Use an Agent-Oriented Software Engineering Paradigm , 2001, AOSE.

[7]  Paolo Busetta,et al.  Jack intelligent agents - components for intelligent agents in java , 1998 .

[8]  Jorge J. Gómez-Sanz,et al.  Agent Oriented Analysis Using Message/UML , 2001, AOSE.

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

[10]  Michael Wooldridge,et al.  Agent-Oriented Software Engineering: First International Workshop, AOSE 2000 Limerick, Ireland, June 10, 2000 Revised Papers , 2001 .

[11]  Yves Lespérance,et al.  Agent-Oriented Requirements Engineering Using ConGolog and i* , 2001 .

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

[13]  Nicholas R. Jennings Agent-Oriented Software Engineering , 1999, MAAMAW.

[14]  Catholijn M. Jonker,et al.  Diagnosis of the Dynamics within an Organization by Trace Checking of Behavioural Requirements , 2001, AOSE.