* ICSE 2018 *
Sun 27 May - Sun 3 June 2018 Gothenburg, Sweden
Fri 1 Jun 2018 14:20 - 14:40 at G1 room - Models and Modeling II Chair(s): Jon Whittle

In goal-oriented requirements engineering approaches, conflict analysis has been proposed as an abstraction for risk analysis. Intu- itively, given a set of expected goals to be achieved by the system-to-be, a conflict represents a subtle situation that makes goals diverge, i.e., not be satis able as a whole. Conflict analysis is typically driven by the identify-assess-control cycle, aimed at identifying, assessing and resolving conflicts that may obstruct the satisfaction of the expected goals. In particular, the assessment step is concerned with evaluating how likely the identi ed conflicts are, and how likely and severe are their consequences. So far, existing assessment approaches restrict their analysis to obstacles (conflicts that prevent the satisfaction of a single goal), and assume that certain probabilistic information on the domain is pro- vided, that needs to be previously elicited from experienced users, statistical data or simulations. In this paper, we present a novel automated approach to assess how likely a conflict is, that applies to general conflicts (not only obstacles) without requiring probabilistic information on the domain. Intuitively, given the LTL formulation of the domain and of a set of goals to be achieved, we compute goal conflicts, and exploit string model counting techniques to estimate the likelihood of the occurrence of the corresponding conflicting situations and the severity in which these a ect the satisfaction of the goals. This information can then be used to prioritize conflicts to be resolved, and suggest which goals to drive attention to for refinements.

slides for "Goal-Conflict likelihood assessment using Model Counting" (icse2018-goal-conflict-assessment.pdf)1.12MiB

Fri 1 Jun
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

14:00 - 15:30: Models and Modeling IITechnical Papers / Journal first papers at G1 room
Chair(s): Jon WhittleMonash University
14:00 - 14:20
Technical Papers
Hila PelegTechnion, Israel, Sharon ShohamTel Aviv university, Eran YahavTechnion
Pre-print Media Attached
14:20 - 14:40
Technical Papers
Renzo DegiovanniUniversidad Nacional de Río Cuarto, Pablo Castro, Marcelo Arroyo, Marcelo RuizDept. of Mathematics, FCEFQyN, University of Río Cuarto, Argentina , Nazareno AguirreDept. of Computer Science FCEFQyN, University of Rio Cuarto, Marcelo F. FriasDept. of Software Engineering Instituto Tecnológico de Buenos Aires
Pre-print File Attached
14:40 - 15:00
Journal first papers
15:00 - 15:20
Technical Papers
Julien LangeUniversity of Kent, Nicholas NgImperial College London, Bernardo ToninhoImperial College London, Nobuko YoshidaImperial College London
DOI Pre-print Media Attached
15:20 - 15:30
Technical Papers