SEAMS 2019
Sat 25 - Sun 26 May 2019 Montreal, QC, Canada
co-located with ICSE 2019
Sat 25 May 2019 16:50 - 16:55 at Duluth - Requirements Chair(s): Betty H.C. Cheng

Goal-Oriented Requirements Engineering (GORE) offers proved means to decompose technical and non-technical requirements into well-defined entities (goals) and reason about the alternatives to meet them. Hence, it has been used as a means to model and reason about the systems’ ability to adapt to changes in dynamic environments. PistarGODA-MDP is a goal-oriented framework to model self-adaptive systems (SAS) under different classes of uncertainty, namely (i) system itself, (ii) system’s goals, and (iii) environment. The framework augments a Contextual Goal Model (CGM) with new annotations to represent uncertainties while acknowledging the nondeterminism brought by them. Then, it automatically generates: (i) a Markov Decision Process (MDP) model in PRISM language, and (ii) reliability and cost parametric formulae of the corresponding system. The former is an input used by probabilistic model checking activity to support system analysis and verification at design time. The latter is useful for the guidance of SAS adaptation policies at design time, and for runtime verification of system reliability and cost statuses.

Sat 25 May

seams-2019-papers
16:00 - 17:30: SEAMS 2019 - Requirements at Duluth
Chair(s): Betty H.C. ChengMichigan State University
seams-2019-papers16:00 - 16:25
Talk
Amel BennaceurThe Open University, Andrea ZismanThe Open University, Ciaran MccormickThe Open University, Danny BarthaudThe Open University, Bashar NuseibehThe Open University (UK) & Lero (Ireland)
seams-2019-papers16:25 - 16:50
Talk
Gabriela Félix SolanoUniversity of Brasília, Ricardo CaldasUniversity of Brası́lia, Genaína Nunes RodriguesUniversity of Brasília, Thomas VogelHumboldt-Universität zu Berlin, Patrizio PelliccioneChalmers | University of Gothenburg and University of L'Aquila
Pre-print
seams-2019-papers16:50 - 16:55
Talk
Gabriela Félix SolanoUniversity of Brasília, Ricardo CaldasUniversity of Brası́lia, Genaina RodriguesUniversity of Brasilia, Thomas VogelHumboldt-Universität zu Berlin, Patrizio PelliccioneChalmers | University of Gothenburg and University of L'Aquila
seams-2019-papers16:55 - 17:10
Talk
Christos TsigkanosTechnische Universität Wien, Laura NenziUniversity of Trieste, Michele LoretiUniversity of Camerino, Martin Garriga, Schahram DustdarTU Wien, Carlo GhezziPolitecnico di Milano
seams-2019-papers17:10 - 17:25
Talk
Paulo MaiaState University of Ceará, Lucas VieiraState University of Ceará, Matheus ChagasState University of Ceará, Yijun YuThe Open University, UK, Andrea ZismanThe Open University, Bashar NuseibehThe Open University (UK) & Lero (Ireland)