Towards an executable algebra for product lines

Contributo in Atti di convegno
Data di Pubblicazione:
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.
Tipologia CRIS:
04.01 Contributo in Atti di convegno
Keywords:
Product lines; Process alg
Elenco autori:
Autori di Ateneo:
Link alla scheda completa:
https://iris.cnr.it/handle/20.500.14243/260980