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

Damiani, Ferruccio;Paolini, Luca
2019-01-01

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.
2019
169
1
17
https://www.sciencedirect.com/science/article/pii/S0167642318303769
Software product lines, Formal specification, Behavioural specification, Modal transition systems, Featured transition systems
ter Beek, Maurice H.*; Damiani, Ferruccio; Gnesi, Stefania; Mazzanti, Franco; Paolini, Luca
File in questo prodotto:
File Dimensione Formato  
On the expressiveness of modal transition systems with variability constraints - SciCO 2019.pdf

Accesso riservato

Tipo di file: PDF EDITORIALE
Dimensione 575.4 kB
Formato Adobe PDF
575.4 kB Adobe PDF   Visualizza/Apri   Richiedi una copia
fts2mts.pdf

Open Access dal 02/01/2021

Descrizione: Articolo principale
Tipo di file: PREPRINT (PRIMA BOZZA)
Dimensione 659.02 kB
Formato Adobe PDF
659.02 kB Adobe PDF Visualizza/Apri

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/2318/1696240
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 15
  • ???jsp.display-item.citation.isi??? 11
social impact