Write a Blog >>
MODELS 2020
Fri 16 - Fri 23 October 2020
Thu 22 Oct 2020 11:40 - 12:00 at Room A - A4-Requirements Chair(s): Lola Burgueño

A goal model family is a set of related goal models that conform to the same metamodel, with commonalities and variabilities between models. Goal model families stem from the evolution of initial models into several versions over time and/or the variation of models over the space dimension (e.g., products). In contexts where there are several versions/variations of a goal model, analyzing a set of related models with typical similarities, one model at a time, often involves redundant computations and may require repeated user assistance (e.g., for interactive analysis) and laborious activities. This paper proposes the use of union models as first-class artifacts to analyze families of goal models, in order to improve performance of language-specific analysis procedures. The paper empirically evaluates the performance gain resulting from adapting (or lifting) an existing analysis technique specific to the Goal-oriented Requirement Language (GRL) on a family of GRL models, all at once using a union model, compared to analyzing individual models, one model at a time. Our experiments demonstrate, based on the use of the IBM CPLEX optimizer, the usefulness and performance gains of using union models to perform a computationally expensive analysis, namely quantitative backward propagation, on a family of GRL models.

Thu 22 Oct

Displayed time zone: Eastern Time (US & Canada) change

11:00 - 12:15
A4-RequirementsTechnical Track at Room A
Chair(s): Lola Burgueño Open University of Catalonia & CEA LIST
11:00
20m
Full-paper
Leveraging Natural-language Requirements for Deriving Better Acceptance Criteria from ModelsP&I
Technical Track
Alvaro Veizaga , Mauricio Alferez , Damiano Torre University of Luxembourg, Mehrdad Sabetzadeh University of Ottawa, Lionel Briand SnT Centre/University of Luxembourg
11:20
20m
Full-paper
From Text to Visual BPMN Process Models: Design and EvaluationP&I
Technical Track
Ana Ivanchikj Software Institute, Faculty of Informatics, USI Lugano, souhaila serbout Software Institute @ USI, Cesare Pautasso Software Institute, Faculty of Informatics, USI Lugano
Link to publication DOI Pre-print Media Attached
11:40
20m
Full-paper
"Union is Power": Analyzing Families of Goal Models using Union ModelsFT
Technical Track
Sanaa Alwidian University of Montreal, Daniel Amyot University of Ottawa
12:00
15m
Talk
Using empirical studies to mitigate symbol overload in iStar extensionsJ1st
Technical Track
Enyo Gonçalves , Camilo Almendra Universidade Federal do Ceará, Miguel Goulao NOVA-LINCS, FCT/UNL, João Araújo , Jaelson Castro
DOI