Goal-oriented requirements analysis and reasoning in the Tropos methodology

被引：118

作者：

Giorgini, P

Mylopoulos, J

Sebastiani, R

机构：

[1] Univ Trent, Dept Informat & Commun Technol, I-38100 Trento, Italy

[2] Univ Toronto, Dept Comp Sci, Toronto, ON M5S 3H5, Canada

来源：

ENGINEERING APPLICATIONS OF ARTIFICIAL INTELLIGENCE | 2005年 / 18卷 / 02期

基金：

加拿大自然科学与工程研究理事会;

关键词：

agent-oriented software development; goal-oriented requirements analysis; early requirements analysis; multi-agent systems;

D O I：

10.1016/j.engappai.2004.11.017

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

Tropos is an agent-oriented software methodology proposed in (J. Autonomous Agents Multi-Agent Syst. 8(3) (2004) 203; Inf. Syst. 27(6) (2002) 365). 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 (J. Data Semantics 1 (2003); Proceedings of the International Conference on Advanced Information Systems Engineering, CAISE'04, vol. 3804 of LNCS, Springer, Berlin, 2004, pp. 20-33) to make the goal analysis process concrete through the use of forward and backward reasoning for goal models. The formal goal analysis is illustrated through examples, using an implemented goal reasoning tool. (c) 2004 Elsevier Ltd. All rights reserved.

引用

下载

页码：159 / 171

页数：13

共 50 条

[21] Goal-oriented requirements engineering: A guided tour
van Lamsweerde, A
FIFTH IEEE INTERNATIONAL SYMPOSIUM ON REQUIREMENTS ENGINEERING, PROCEEDINGS, 2001, : 249 - 262
[22] A goal-oriented approach for safety requirements specification
Navarro, Elena
Sanchez, Pedro
Letelier, Patricio
Pastor, Juan A.
Ramos, Isidro
13TH ANNUAL IEEE INTERNATIONAL SYMPOSIUM AND WORKSHOP ON ENGINEERING OF COMPUTER BASED SYSTEMS, PROCEEDINGS: MASTERING THE COMPLEXITY OF COMPUTER-BASED SYSTEMS, 2006, : 319 - +
[23] Towards Goal-Oriented Software Requirements Elicitation
Redouane, Abdesselam
2021 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS (SMC), 2021, : 596 - 599
[24] Goal-Oriented Requirements Engineering at the age of majority
Castro, Jaelson
THIRTIETH BRAZILIAN SYMPOSIUM ON SOFTWARE ENGINEERING (SBES 2016), 2016, : 2 - 2
[25] Exploring Views for Goal-Oriented Requirements Comprehension
Silva, Lyrene
Moreira, Ana
Araujo, Joao
Gralha, Catarina
Goulao, Miguel
Amaral, Vasco
CONCEPTUAL MODELING, ER 2016, 2016, 9974 : 149 - 163
[26] Extending argumentation to goal-oriented requirements engineering
Habli, Ibrahim
Wu, Weihang
Attwood, Katrina
Kelly, Tim
ADVANCES IN CONCEPTUAL MODELING - FOUNDATIONS AND APPLICATIONS, 2007, 4802 : 306 - 316
[27] Goal-oriented requirements engineering: A unifying framework
Kavakli E.
Requirements Engineering, 2002, 6 (4) : 237 - 251
[28] A Unification of the Essence of Goal-oriented Requirements Engineering
Kaindl, Hermann
Wagner, Patrick
2009 FOURTH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING ADVANCES (ICSEA 2009), 2009, : 45 - 50
[29] Handling obstacles in goal-oriented requirements engineering
van Lamsweerde, A
Letier, E
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2000, 26 (10) : 978 - 1005
[30] Does Goal-Oriented Requirements Engineering Achieve its Goal?
Mavin, Alistair
Wilkinson, Philip
Teufl, Sabine
Femmer, Henning
Eckhardt, Jonas
Mund, Jakob
2017 IEEE 25TH INTERNATIONAL REQUIREMENTS ENGINEERING CONFERENCE (RE), 2017, : 174 - 183

← 1 2 3 4 5 →