Ter Beek M. H., Damiani F., Gnesi S, Mazzanti F., Paolini L.
Variability Formal specification Modal transition system Behavioural model Featured transition system SPL
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.
Source: IFM'19 - 15th International Conference on Integrated Formal Methods, pp. 542–546, Bergen, Norway, 2-6 December 2019
@inproceedings{oai:it.cnr:prodotti:413198, title = {A summary of: on the expressiveness of modal transition systems with variability constraints}, author = {Ter Beek M. H. and Damiani F. and Gnesi S and Mazzanti F. and Paolini L.}, doi = {10.1007/978-3-030-34968-4_34}, booktitle = {IFM'19 - 15th International Conference on Integrated Formal Methods, pp. 542–546, Bergen, Norway, 2-6 December 2019}, year = {2019} }