%X We study models of software systems with variants that stem from a specific choice of configuration parameters with a direct impact on performance properties. Using UML activity diagrams with quantitative annotations, we model such systems as a product line. The efficiency of a product-based evaluation is typically low because each product must be analyzed in isolation, making difficult the re-use of computations across variants. Here, we propose a family-based approach based on symbolic computation. A numerical assessment on large activity diagrams shows that this approach can be up to three orders of magnitude faster than product-based analysis in large models, thus enabling computationally efficient explorations of large parameter spaces.
%B Fundamental Approaches to Software Engineering
%L eprints2592
%O 17th International Conference, FASE 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings
%R 10.1007/978-3-642-54804-8_7
%P 94-108
%S Lecture Notes in Computer Science
%I Springer
%N 8411
%D 2014
%A Matthias Kowal
%A Ina Schaefer
%A Mirco Tribastone
%T Family-based performance analysis of variant-rich software systems