Goal-oriented requirements analysis and reasoning in the Tropos methodology
نویسندگان
چکیده
منابع مشابه
Goal-oriented requirements analysis and reasoning in the Tropos methodology
Tropos is an agent-oriented software methodology proposed in [1, 2]. The methodology is founded on the notions of agent and goal, and goal analysis is used extensively to support software development during different phases. This paper adopts a formal goal model defined and analyzed in [9, 15] to make the goal analysis process concrete through the use of forward and backward reasoning for goal ...
متن کاملGoal Modelling and Reasoning in Tropos
We overview on-going research on modelling and analyzing goals in requirements engineering. Specifically, we introduce and discuss a qualitative model for goals, which – among other things -can cope with qualitative relationships and inconsistencies among goals. We then present an axiomatization of the model and propose sound and complete algorithms for forward and backward reasoning. In partic...
متن کاملTropos: A Requirements-Driven Methodology for Agent-Oriented Software
Software systems of the future will have to perform well within ever-changing organizational environments. Unfortunately, existing software development methodologies (object-oriented, structured or otherwise) have traditionally been inspired by programming concepts, rather than organizational ones, leading to a semantic gap between system and its operational environment. To reduce this gap, we ...
متن کاملSecure Tropos: a Security-Oriented Extension of the Tropos Methodology
Although security plays an important role in the development of multiagent systems, a careful analysis of software development processes shows that the definition of security requirements is, usually, considered after the design of the system. One of the reasons is the fact that agent oriented software engineering methodologies have not integrated security concerns throughout their developing s...
متن کاملFrom a Goal-Oriented Methodology to a BDI Agent Language: The Case of Tropos and Alan
This approach aims at addressing crucial issues in complex distributed software such as capability of evolving and adaptivity. Within the area of goaloriented software requirements engineering, we propose the use of goal models at different abstraction levels in engineering a Multi-Agent System (MAS), namely, not only at design time, but also as a part of the agent knowledge and choice strategy...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Engineering Applications of Artificial Intelligence
سال: 2005
ISSN: 0952-1976
DOI: 10.1016/j.engappai.2004.11.017