Long-term Average Cost in Featured Transition Systems
dc.contributor.author | Olaechea, Rafael | |
dc.contributor.author | Fahrenberg, Uli | |
dc.contributor.author | Atlee, Joanne M. | |
dc.contributor.author | Legay, Axel | |
dc.date.accessioned | 2019-12-23T15:56:06Z | |
dc.date.available | 2019-12-23T15:56:06Z | |
dc.date.issued | 2016-09 | |
dc.description | © ACM 2019 Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from permissions@acm.org. | en |
dc.description.abstract | A software product line is a family of software products that share a common set of mandatory features and whose individual products are differentiated by their variable (optional or alternative) features. Family-based analysis of software product lines takes as input a single model of a complete product line and analyzes all its products at the same time. As the number of products in a software product line may be large, this is generally preferable to analyzing each product on its own. Family-based analysis, however, requires that standard algorithms be adapted to accomodate variability. In this paper we adapt the standard algorithm for computing limit average cost of a weighted transition system to software product lines. Limit average is a useful and popular measure for the long-term average behavior of a quality attribute such as performance or energy consumption, but has hitherto not been available for family-based analysis of software product lines. Our algorithm operates on weighted featured transition systems, at a symbolic level, and computes limit average cost for all products in a software product line at the same time. We have implemented the algorithm and evaluated it on several examples. | en |
dc.description.sponsorship | NSERC Discovery Grant, 155243-12 || Ontario Research Fund, RE05-044 | en |
dc.identifier.uri | https://doi.org/10.1145/2934466.2934473 | |
dc.identifier.uri | http://hdl.handle.net/10012/15374 | |
dc.language.iso | en | en |
dc.publisher | ACM | en |
dc.title | Long-term Average Cost in Featured Transition Systems | en |
dc.type | Conference Paper | en |
dcterms.bibliographicCitation | Rafael Olaechea, Uli Fahrenberg, Joanne M. Atlee, and Axel Legay. 2016. Long-term average cost in featured transition systems. In Proceedings of the 20th International Systems and Software Product Line Conference (SPLC '16). ACM, New York, NY, USA, 109-118. | en |
uws.contributor.affiliation1 | Faculty of Mathematics | en |
uws.contributor.affiliation2 | David R. Cheriton School of Computer Science | en |
uws.peerReviewStatus | Reviewed | en |
uws.scholarLevel | Faculty | en |
uws.scholarLevel | Post-Doctorate | en |
uws.scholarLevel | Graduate | en |
uws.typeOfResource | Text | en |