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 条
  • [1] From a goal-oriented methodology to a BDI agent language:: The case of Tropos and Alan
    Pagliarecci, Francesco
    Penserini, Loris
    Spalazzi, Luca
    [J]. ON THE MOVE TO MEANINGFUL INTERNET SYSTEMS 2007: OTM 2007 WORKSHOPS, PT 1, PROCEEDINGS, 2007, 4805 : 105 - +
  • [2] A Tool for Attributed Goal-Oriented Requirements Analysis
    Saeki, Motoshi
    Hayashi, Shinpei
    Kaiya, Haruhiko
    [J]. 2009 IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING, PROCEEDINGS, 2009, : 674 - 676
  • [3] Goal-oriented requirements animation
    Van, HT
    van Lamsweerde, A
    Massonet, P
    Ponsard, C
    [J]. 12TH IEEE INTERNATIONAL REQUIREMENTS ENGINEERING CONFERENCE, PROCEEDINGS, 2004, : 218 - 228
  • [4] From object-oriented to goal-oriented requirements analysis
    Mylopoulos, J
    Chung, L
    Yu, E
    [J]. COMMUNICATIONS OF THE ACM, 1999, 42 (01) : 31 - 37
  • [5] Establishing Regulatory Compliance in Goal-Oriented Requirements Analysis
    Negishi, Yu
    Hayashi, Shinpei
    Saeki, Motoshi
    [J]. 2017 IEEE 19TH CONFERENCE ON BUSINESS INFORMATICS (CBI), VOL 1, 2017, 1 : 434 - 443
  • [6] Goal-Oriented Requirements Analysis Meets a Creativity Technique
    Kinoshita, Tomoo
    Hayashi, Shinpei
    Saeki, Motoshi
    [J]. ADVANCES IN CONCEPTUAL MODELING, ER 2017, 2017, 10651 : 101 - 110
  • [7] AGORA: Attributed goal-oriented requirements analysis method
    Kaiya, H
    Horai, H
    Saeki, M
    [J]. IEEE JOINT INTERNATIONAL CONFERENCE ON REQUIREMENTS ENGINEERING, PROCEEDINGS, 2002, : 13 - 22
  • [8] Impact Analysis of Goal-Oriented Requirements in Web Engineering
    Alfonso Aguilar, Jose
    Garrigos, Irene
    Mazon, Jose-Norberto
    [J]. COMPUTATIONAL SCIENCE AND ITS APPLICATIONS - ICCSA 2011, PT V, 2011, 6786 : 421 - 436
  • [9] Classification and Evaluation of Goal-Oriented Requirements Analysis Methods
    Mariyam, Farhana
    Mehfuz, Shabana
    Sadiq, Mohd
    [J]. APPLIED SOFT COMPUTING AND COMMUNICATION NETWORKS, 2021, 187 : 313 - 322
  • [10] Goal-Oriented Requirements Analysis using Goal Accumulation RDF Graph
    Lee, Jun H.
    Park, Young B.
    [J]. 2014 INTERNATIONAL CONFERENCE ON INFORMATION SCIENCE AND APPLICATIONS (ICISA), 2014,
12345