The TROPOS Analysis Process as Graph Transformation System

Tropos is an agent-oriented methodology that covers software development from early requirements analysis to detailed design, allowing for a deeper understanding of the operational environment of the new software system. In earlier work we have characterized the process of early requirements analysis in terms of transformation applications. In this paper we redefine the Tropos analysis process in terms of a Graph Transformation System and we provide an algorithm for driving the process of Tropos diagram generation. An example execution of the algorithm is also presented.