eprintid: 3517
rev_number: 7
eprint_status: archive
userid: 69
dir: disk0/00/00/35/17
datestamp: 2016-07-13 09:55:44
lastmod: 2016-07-13 09:55:44
status_changed: 2016-07-13 09:55:44
type: conference_item
metadata_visibility: show
creators_name: ter Beek, M.H.
creators_name: Legay, Axel
creators_name: Lluch-Lafuente, Alberto
creators_name: Vandin, Andrea
creators_id: 
creators_id: 
creators_id: alberto.lluch@imtlucca.it
creators_id: andrea.vandin@imtlucca.it
title: Statistical Analysis of Probabilistic Models of Software Product Lines with Quantitative Constraints
ispublished: pub
subjects: QA75
divisions: CSA
full_text_status: public
pres_type: paper
abstract: We investigate the suitability of statistical model checking for the analysis of probabilistic models of software product lines with complex quantitative constraints and advanced feature installation options. Such models are specified in the feature-oriented language QFLan, a rich process algebra whose operational behaviour interacts with a store of constraints, neatly separating product configuration from product behaviour. The resulting probabilistic configurations and behaviour converge seamlessly in a semantics based on DTMCs, thus enabling quantitative analyses ranging from the likelihood of certain behaviour to the expected average cost of products. This is supported by a Maude implementation of QFLan, integrated with the SMT solver Z3 and the distributed statistical model checker MultiVeStA. Our approach is illustrated with a bikes product line case study.
date: 2015
date_type: published
series: SPLC '15
publisher: ACM
place_of_pub: New York, NY, USA
pagerange: 11-15
event_title: Proceedings of the 19th International Conference on Software Product Line
event_location: New York, USA
event_dates: 2015
event_type: conference
refereed: TRUE
isbn: 978-1-4503-3613-0
book_title: Proceedings of the 19th International Conference on Software Product Line
official_url: http://doi.acm.org/10.1145/2791060.2791087
citation:   ter Beek, M.H. and Legay, Axel and Lluch-Lafuente, Alberto and Vandin, Andrea  Statistical Analysis of Probabilistic Models of Software Product Lines with Quantitative Constraints.  In: Proceedings of the 19th International Conference on Software Product Line, 2015, New York, USA pp. 11-15.  ISBN 978-1-4503-3613-0.      (2015)  
document_url: http://eprints.imtlucca.it/3517/1/splc15-TR.pdf