Goal-oriented requirements analysis and reasoning in the Tropos methodology

被引：120
作者：
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
相关论文
共 21 条
[1]   Tropos: An agent-oriented software development methodology [J].
Bresciani, P ;
Perini, A ;
Giorgini, P ;
Giunchiglia, F ;
Mylopoulos, J .
AUTONOMOUS AGENTS AND MULTI-AGENT SYSTEMS, 2004, 8 (03) :203-236
[2]   Towards requirements-driven information systems engineering:: the Tropos project [J].
Castro, J ;
Kolp, M ;
Mylopoulos, J .
INFORMATION SYSTEMS, 2002, 27 (06) :365-389
[3]  
COHEN P, 1990, ARTIF INTELL, V32, P213
[4]  
CONALLEN J, 2000, BUILDING WEB APPL UM
[5]   GOAL-DIRECTED REQUIREMENTS ACQUISITION [J].
DARDENNE, A ;
VANLAMSWEERDE, A ;
FICKAS, S .
SCIENCE OF COMPUTER PROGRAMMING, 1993, 20 (1-2) :3-50
[6]  
Fuxman A, 2003, 11TH IEEE INTERNATIONAL REQUIREMENTS ENGINEERING CONFERENCE, PROCEEDINGS, P105
[7]  
Giorgini P, 2003, LECT NOTES COMPUT SC, V2800, P1
[8]  
GIORGINI P, 2002, P INT C CONC MOD ER, V2503
[9]  
Liberatore P., 2000, ALGORITHMS EXPT FIND
[10]  
MOSKEWICZ MW, 2001, DES AUT C
123