Statistical analysis of probabilistic models of software product lines with quantitative constraints

M.H. ter  Beek; A.  Legay; Alberto Lluch Lafuente; A.  Vandin

doi:10.1145/2791060.2791087

Statistical analysis of probabilistic models of software product lines with quantitative constraints

M.H. ter Beek, A. Legay, Alberto Lluch Lafuente, A. Vandin

Department of Applied Mathematics and Computer Science

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

517 Downloads (Pure)

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.

Original language	English
Title of host publication	Proceedings of the 19th International Conference on Software Product Line (SPLC '15)
Publisher	Association for Computing Machinery
Publication date	2015
Pages	11-15
ISBN (Print)	978-1-4503-3613-0
DOIs	https://doi.org/10.1145/2791060.2791087
Publication status	Published - 2015
Event	19th International Conference on Software Product Line (SPLC '15) - Nashville, United States Duration: 20 Jul 2015 → 24 Jul 2015 Conference number: 19 http://www.splc2015.net/

Conference

Conference	19th International Conference on Software Product Line (SPLC '15)
Number	19
Country/Territory	United States
City	Nashville
Period	20/07/2015 → 24/07/2015
Internet address	http://www.splc2015.net/

Access to Document

10.1145/2791060.2791087

Statistical Analysis of Probabilistic Models of Software Product Lines with Quantitative ConstraintsAccepted author manuscript, 632 KB

OpenUrl availability

Full text

Cite this

@inproceedings{a136e1734d1f42f0afdd9bdc21642d91,

title = "Statistical analysis of probabilistic models of software product lines with quantitative constraints",

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.",

author = "Beek, {M.H. ter} and A. Legay and {Lluch Lafuente}, Alberto and A. Vandin",

year = "2015",

doi = "10.1145/2791060.2791087",

language = "English",

isbn = "978-1-4503-3613-0",

pages = "11--15",

booktitle = "Proceedings of the 19th International Conference on Software Product Line (SPLC '15)",

publisher = "Association for Computing Machinery",

address = "United States",

note = "19th International Conference on Software Product Line (SPLC '15), SPLC ; Conference date: 20-07-2015 Through 24-07-2015",

url = "http://www.splc2015.net/",

}

Beek, MHT, Legay, A, Lluch Lafuente, A & Vandin, A 2015, Statistical analysis of probabilistic models of software product lines with quantitative constraints. in Proceedings of the 19th International Conference on Software Product Line (SPLC '15). Association for Computing Machinery, pp. 11-15, 19th International Conference on Software Product Line (SPLC '15), Nashville, United States, 20/07/2015. https://doi.org/10.1145/2791060.2791087

Statistical analysis of probabilistic models of software product lines with quantitative constraints. / Beek, M.H. ter ; Legay, A. ; Lluch Lafuente, Alberto et al.
Proceedings of the 19th International Conference on Software Product Line (SPLC '15). Association for Computing Machinery, 2015. p. 11-15.

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

TY - GEN

T1 - Statistical analysis of probabilistic models of software product lines with quantitative constraints

AU - Beek, M.H. ter

AU - Legay, A.

AU - Lluch Lafuente, Alberto

AU - Vandin, A.

N1 - Conference code: 19

PY - 2015

Y1 - 2015

N2 - 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.

AB - 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.

U2 - 10.1145/2791060.2791087

DO - 10.1145/2791060.2791087

M3 - Article in proceedings

SN - 978-1-4503-3613-0

SP - 11

EP - 15

BT - Proceedings of the 19th International Conference on Software Product Line (SPLC '15)

PB - Association for Computing Machinery

T2 - 19th International Conference on Software Product Line (SPLC '15)

Y2 - 20 July 2015 through 24 July 2015

ER -

Statistical analysis of probabilistic models of software product lines with quantitative constraints

Abstract

Conference

Access to Document

OpenUrl availability

Fingerprint

Cite this