Towards Quantitative Trade-off Analysis in Goal Models with Multiple Obstacles using Constraint Programming

Christophe Ponsard, Robert Darimont

2020

Abstract

Goal Models capture system goals and their decomposition into operational requirements assigned to human, hardware or software agents. This refinement process supports alternatives both when refining goals processes but also when reasoning and refining obstacles to goals. This leads to large design space to explore in order to select a specific solution fulfilling a set of set of non-functional requirements (e.g. reliability, security, performance) or business goals (e.g. costs, satisfaction). This paper investigates how optimisation techniques can be used to efficiently explore the design space where multiple objectives have to be met simultaneously. This works extends previous work by allowing one not only to select a single alternative but also to combine different alternatives together to produce a more robust design. In order to explore the potentially very large design space, we show how to translate a model with many goals and obstacle alternatives, expressed in the KAOS notation, into a constraint programming (CP) problem. The OscaR.CP engine is then used to compute a set of Pareto-optimal solutions regarding the targeted evaluation objectives. Our method is implemented as a tool plugin of a requirements engineering platform and is benchmarked on a security case study close to attack trees.

Paper Citation

in Harvard Style

Ponsard C. and Darimont R. (2020). Towards Quantitative Trade-off Analysis in Goal Models with Multiple Obstacles using Constraint Programming.In Proceedings of the 15th International Conference on Software Technologies - Volume 1: ICSOFT, ISBN 978-989-758-443-5, pages 537-543. DOI: 10.5220/0009972105370543

in Bibtex Style

@conference{icsoft20,
author={Christophe Ponsard and Robert Darimont},
title={Towards Quantitative Trade-off Analysis in Goal Models with Multiple Obstacles using Constraint Programming},
booktitle={Proceedings of the 15th International Conference on Software Technologies - Volume 1: ICSOFT,},
year={2020},
pages={537-543},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0009972105370543},
isbn={978-989-758-443-5},
}

in EndNote Style

TY - CONF

JO - Proceedings of the 15th International Conference on Software Technologies - Volume 1: ICSOFT,
TI - Towards Quantitative Trade-off Analysis in Goal Models with Multiple Obstacles using Constraint Programming
SN - 978-989-758-443-5
AU - Ponsard C.
AU - Darimont R.
PY - 2020
SP - 537
EP - 543
DO - 10.5220/0009972105370543