Simulating and optimising design decisions in quantitative goal models

Authors:
W. Heaven;E. Letier
Affiliations:
Dept. of Comput. Sci., Univ. Coll. London, London, UK;Dept. of Comput. Sci., Univ. Coll. London, London, UK
Venue:
RE '11 Proceedings of the 2011 IEEE 19th International Requirements Engineering Conference
Year:
2011

Citing 0
Cited 4

The GISMOE challenge: constructing the pareto program surface using genetic programming to find better programs (keynote paper)

Proceedings of the 27th IEEE/ACM International Conference on Automated Software Engineering
On the value of user preferences in search-based software engineering: a case study in software product lines

Proceedings of the 2013 International Conference on Software Engineering
A goal-oriented simulation approach for obtaining good private cloud-based system architectures

Journal of Systems and Software
Optimal selection of operationalizations for non-functional requirements

APCCM '13 Proceedings of the Ninth Asia-Pacific Conference on Conceptual Modelling - Volume 143

Quantified Score

Hi-index	0.00

Visualization

Abstract

Making decisions among a set of alternative system designs is an essential activity of requirements engineering. It involves evaluating how well each alternative satisfies the stakeholders' goals and selecting one alternative that achieves some optimal tradeoffs between possibly conflicting goals. Quantitative goal models support such activities by describing how alternative system designs - expressed as alternative goal refinements and responsibility assignments - impact on the levels of goal satisfaction specified in terms of measurable objective functions. Analyzing large numbers of alternative designs in such models is an expensive activity for which no dedicated tool support is currently available. This paper takes a first step towards providing such support by presenting automated techniques for (i) simulating quantitative goal models so as to estimate the levels of goal satisfaction contributed by alternative system designs and (ii) optimising the system design by applying a multi-objective optimisation algorithm to search through the design space. These techniques are presented and validated using a quantitative goal model for a well-known ambulance service system.