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

In many software and systems development projects, analysts specify requirements using a combination of modeling and natural language (NL). In such situations, systematic acceptance testing poses a challenge because defining the acceptance criteria (AC) to be met by the system under test has to account not only for the information in the (requirements) model but also that in the NL requirements. In other words, neither models nor NL requirements per se provide a complete picture of the information content relevant to AC. Our work in this paper is prompted by the observation that a reconciliation of the information content in NL requirements and models is necessary for obtaining precise AC. We perform such reconciliation by devising an approach that automatically extracts AC-related information from NL requirements and helps modelers enrich their model with the extracted information. An existing AC derivation technique is then applied to the model that has now been enriched by the information extracted from NL requirements. Using a real case study from the financial domain, we evaluate the usefulness of the AC-related model enrichments recommended by our approach. Our evaluation results are very promising: Over our case study system, a group of five domain experts found 89% of the recommended enrichments relevant to AC and yet absent from the original model (precision of 89%). Furthermore, the experts could not pinpoint any additional information in the NL requirements which was relevant to AC but which had not already been brought to their attention by our approach (recall of 100%).

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