Document - On the expressiveness of modal transition systems with variability constraints

2019

Journal article Open Access

On the expressiveness of modal transition systems with variability constraints

Ter Beek M., Damiani F., Gnesi S., Mazzanti F., Paolini L.

Modal transition systems Formal specification Featured transition systems Software Software product lines Behavioural specification

We demonstrate that modal transition systems with variability constraints are equally expressive as featured transition systems, by defining a transformation of the latter into the former, a transformation of the former into the latter, and proving the soundness and completeness of both transformations. Modal transition systems and featured transition systems are widely recognised as fundamental behavioural models for software product lines and our results thus contribute to the expressiveness hierarchy of such basic models studied in other papers published in this journal.

Source: Science of computer programming (Print) 169 (2019): 1–17. doi:10.1016/j.scico.2018.09.006

Publisher: North-Holland, Amsterdam , Paesi Bassi

Metrics

Back to previous page

Cite as

BibTeX entry

@article{oai:it.cnr:prodotti:391938,
	title = {On the expressiveness of modal transition systems with variability constraints},
	author = {Ter Beek M. and Damiani F. and Gnesi S. and Mazzanti F. and Paolini L.},
	publisher = {North-Holland, Amsterdam , Paesi Bassi},
	doi = {10.1016/j.scico.2018.09.006},
	journal = {Science of computer programming (Print)},
	volume = {169},
	pages = {1–17},
	year = {2019}
}