We illustrate how to manage variability in a single logical framework consisting of a Modal Transition System (MTS) and an associated set of formulae expressed in the branching-time temporal logic MHML interpreted in a deontic way over such MTSs. We discuss the commonalities and differences with the framework of Classen et al. based on Featured Transition Systems and Linear-time Temporal Logic.
Formal description of variability in product families
Asirelli P;Ter Beek M H;Gnesi;
2011
Abstract
We illustrate how to manage variability in a single logical framework consisting of a Modal Transition System (MTS) and an associated set of formulae expressed in the branching-time temporal logic MHML interpreted in a deontic way over such MTSs. We discuss the commonalities and differences with the framework of Classen et al. based on Featured Transition Systems and Linear-time Temporal Logic.File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
prod_205394-doc_46001.pdf
solo utenti autorizzati
Descrizione: contributo
Tipologia:
Versione Editoriale (PDF)
Dimensione
266.63 kB
Formato
Adobe PDF
|
266.63 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.
