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.
منابع مشابه
Model Driven Architecture approach in Tropos
The OMGs Model Driven Architecture (MDA) is a software development approach which considers models as the primary artifacts. Visual modelling together with model transformations play the key roles in MDA. MDA concentrates on later phases of software development process like architecture and detailed design. Hoverer we think that the idea can be generalized also for other phases like requirement...
متن کاملModeling Early Requirements in Tropos: A Transformation Based Approach
ABSTRACT 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...
متن کاملA Hybrid Meta-heuristic Approach to Cope with State Space Explosion in Model Checking Technique for Deadlock Freeness
Model checking is an automatic technique for software verification through which all reachable states are generated from an initial state to finding errors and desirable patterns. In the model checking approach, the behavior and structure of system should be modeled. Graph transformation system is a graphical formal modeling language to specify and model the system. However, modeling of large s...
متن کاملA CASE Tool to Support Automated Modelling and Analysis of Security Requirements, Based on Secure Tropos
Secure Tropos, an extension of the Tropos methodology, considers security requirements alongside functional requirements, from the early stages of the system development process. The Secure Tropos language uses security concepts such as security constraint, secure goal, secure plan, secure resource, and threat to capture the security concepts from both social and organisational settings. These ...
متن کاملUse Case Application in Requirements Analysis using Secure Tropos to UMLsec - Security Issues
Information Systems Security is one of the most critical challenges presently facing nearly every one of the organizations. However, making certain security and quality in both information and the systems which control information is a difficult goal necessitating the mixture of two wide research disciplines which are typically separate: security engineering and secure software engineering. Sec...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2002