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.
On the expressiveness of modal transition systems with variability constraints
ter Beek M;Gnesi S;Mazzanti F;
2019
Abstract
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.File in questo prodotto:
File | Dimensione | Formato | |
---|---|---|---|
prod_391938-doc_135478.pdf
accesso aperto
Descrizione: On the Expressiveness of Modal Transition Systems with Variability Constraints
Tipologia:
Versione Editoriale (PDF)
Dimensione
658.69 kB
Formato
Adobe PDF
|
658.69 kB | Adobe PDF | Visualizza/Apri |
prod_391938-doc_136001.pdf
non disponibili
Descrizione: On the Expressiveness of Modal Transition Systems with Variability Constraints
Tipologia:
Versione Editoriale (PDF)
Dimensione
499.24 kB
Formato
Adobe PDF
|
499.24 kB | Adobe PDF | Visualizza/Apri Richiedi una copia |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.