We present VMC, a tool for the modeling and analysis of variability in product lines. It accepts a product family specified as a modal transition system, possibly with additional variability constraints, after which it can automatically generate all the family's valid products, visualize the family/products as modal/labeled transition systems, and efficiently model check properties expressed in an action- and state-based branching-time temporal logic over products and families alike.
VMC: a tool for product variability analysis.
Ter Beek M H;Mazzanti F;
2012
Abstract
We present VMC, a tool for the modeling and analysis of variability in product lines. It accepts a product family specified as a modal transition system, possibly with additional variability constraints, after which it can automatically generate all the family's valid products, visualize the family/products as modal/labeled transition systems, and efficiently model check properties expressed in an action- and state-based branching-time temporal logic over products and families alike.File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
prod_218314-doc_51192.pdf
solo utenti autorizzati
Descrizione: VMC: a tool for product variability analysis
Tipologia:
Versione Editoriale (PDF)
Dimensione
157.96 kB
Formato
Adobe PDF
|
157.96 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.
