TimedGRL: Specifying Goal Models Over Time

被引:0
|
作者
Aprajita [1 ]
Mussbacher, Gunter [1 ]
机构
[1] McGill Univ, Dept Elect & Comp Engn, Montreal, PQ, Canada
来源
2016 IEEE 24TH INTERNATIONAL REQUIREMENTS ENGINEERING CONFERENCE WORKSHOPS (REW) | 2016年
关键词
goal modeling; evaluation mechanism; URN; User Requirements Notation; GRL; Goal-oriented Requirement Language; evolution; sustainability;
D O I
10.1109/REW.2016.17
中图分类号
TP31 [计算机软件];
学科分类号
081202 ; 0835 ;
摘要
Goal-oriented analysis allows performing trade-off analysis among competing solutions to a problem by determining which proposed solution strikes a more appropriate balance of stakeholder objectives and desired qualities of a system. Standard language definitions of common goal-oriented languages such as i*, the Goal-oriented Requirement Language (GRL), the NFR Framework, and KAOS offer varying support for such analysis. In most cases, however, the analysis is essentially confined to one snapshot in time. While several goal models may be created that represent different stages of a system, the current language definitions do not allow these models to be connected and make it difficult to analyze them simultaneously. Furthermore, many model elements need to be repeated in the models of the various stages, causing problems when these models need to be evolved consistently. This paper introduces TimedGRL, an extension of the GRL standard, which enables the modeling and analysis of a comprehensive set of changes to a goal model over time. The goal model and the changes to the goal model are captured in one model, which eases system evolution. The metamodel for TimedGRL is presented and an analysis algorithm for TimedGRL models is defined. The usefulness of TimedGRL is illustrated with an example from the sustainability domain.
引用
收藏
页码:125 / 134
页数:10
相关论文
共 50 条
  • [1] Formal reasoning for analyzing goal models that evolve over time
    Grubb, Alicia M.
    Chechik, Marsha
    REQUIREMENTS ENGINEERING, 2021, 26 (03) : 423 - 457
  • [2] Incorporating Presence Conditions into Goal Models that Evolve Over Time
    Bi, Xinran
    Grubb, Alicia M.
    2023 IEEE 31ST INTERNATIONAL REQUIREMENTS ENGINEERING CONFERENCE WORKSHOPS, REW, 2023, : 272 - 276
  • [3] Formal reasoning for analyzing goal models that evolve over time
    Alicia M. Grubb
    Marsha Chechik
    Requirements Engineering, 2021, 26 : 423 - 457
  • [4] Online Probabilistic Goal Recognition over Nominal Models
    Pereira, Ramon Fraga
    Vered, Mor
    Meneguzzi, Felipe
    Ramirez, Miquel
    PROCEEDINGS OF THE TWENTY-EIGHTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2019, : 5547 - 5553
  • [5] Specifying various time models with temporal propositional variables in duration calculus
    Van Hung, Dang
    FORMAL METHODS AND HYBRID REAL-TIME SYSTEMS, 2007, 4700 : 170 - 187
  • [6] Specifying quantities in software models
    Burgueno, Loli
    Mayerhofer, Tanja
    Wimmer, Manuel
    Vallecillo, Antonio
    INFORMATION AND SOFTWARE TECHNOLOGY, 2019, 113 : 82 - 97
  • [7] Specifying Privacy Requirements with Goal-Oriented Modeling Languages
    Peixoto, Mariana Maia
    Silva, Carla
    SBES'18: PROCEEDINGS OF THE XXXII BRAZILIAN SYMPOSIUM ON SOFTWARE ENGINEERING, 2018, : 112 - 121
  • [8] SPECIFYING GOAL-ORIENTED NETWORK MANAGEMENT-SYSTEMS
    BEAN, A
    WOOD, D
    FAIRCLOUGH, W
    IEEE COMMUNICATIONS MAGAZINE, 1993, 31 (05) : 30 - 36
  • [9] Specifying business processes over objects
    Hartel, P
    Jungclaus, R
    ENTITY-RELATIONSHIP APPROACH - ER '94, 1994, 881 : 10 - 27
  • [10] SPECIFYING DIMENSIONS OVER PINS AND BALLS
    FRANKS, DGK
    MACHINE DESIGN, 1977, 49 (05) : 83 - 83