We propose the Controlled Language for Software Product Lines CL4SPL with the twofold aim of ensuring simplicity of use for product line engineers and safe translations to executable languages amenable for automated verification. We show an implementation of CL4SPL in Maude, a well-known rewrite engine, thus allowing formal analyses over product families specified with CL4SPL. We illustrate our approach with a toy family of coffee machines.
Towards an executable algebra for product lines
Gnesi S;Petrocchi M
2012
Abstract
We propose the Controlled Language for Software Product Lines CL4SPL with the twofold aim of ensuring simplicity of use for product line engineers and safe translations to executable languages amenable for automated verification. We show an implementation of CL4SPL in Maude, a well-known rewrite engine, thus allowing formal analyses over product families specified with CL4SPL. We illustrate our approach with a toy family of coffee machines.File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
prod_276099-doc_78372.pdf
solo utenti autorizzati
Descrizione: Towards an executable algebra for product lines
Tipologia:
Versione Editoriale (PDF)
Dimensione
584.55 kB
Formato
Adobe PDF
|
584.55 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.
