Title | ||
---|---|---|
Summary Of: On The Expressiveness Of Modal Transition Systems With Variability Constraints |
Abstract | ||
---|---|---|
Modal transition systems (MTSs) and featured transition systems (FTSs) are widely recognised as fundamental behavioural models for software product lines. This short paper summarises the contributions published in [3]: MTSs with variability constraints (MTS.s) are equally expressive as FTSs. This is proved by giving sound and complete transformations of the latter into the former, and of the former into the latter. The benefits of this result are twofold. First, it contributes to the expressiveness hierarchy of such basic models studied in the literature. Second, it provides an automatic algorithm from FTSs to MTS.s that preserves the original (compact) branching structure, thus paving the way for model checking FTSs with the variability model checker VMC. |
Year | DOI | Venue |
---|---|---|
2019 | 10.1007/978-3-030-34968-4_34 | INTEGRATED FORMAL METHODS, IFM 2019 |
Keywords | Field | DocType |
SPL, Variability, Behavioural model, Formal specification, Featured transition system, Modal transition system | Programming language,Computer science,Theoretical computer science,Modal,Expressivity | Conference |
Volume | ISSN | Citations |
11918 | 0302-9743 | 0 |
PageRank | References | Authors |
0.34 | 0 | 5 |
Name | Order | Citations | PageRank |
---|---|---|---|
Maurice H. ter Beek | 1 | 718 | 62.08 |
Ferruccio Damiani | 2 | 989 | 71.30 |
Stefania Gnesi | 3 | 1475 | 120.93 |
Franco Mazzanti | 4 | 272 | 21.69 |
Luca Paolini | 5 | 75 | 16.69 |