PUMA
Istituto di Scienza e Tecnologie dell'Informazione     
Gnesi S., Petrocchi M. Towards an executable algebra for product lines. In: SPLC '12 - 16th International Software Product Line Conference (Salvador, Brazil, 2-7 September 2012). Proceedings, vol. 2 pp. 66 - 73. Eduardo Santana de Almeida, Christa Schwanninger, David Benavides (eds.). ACM, 2012.
 
 
Abstract
(English)
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.
URL: http://dl.acm.org/citation.cfm?doid=2364412.2364424
DOI: 10.1145/2364412.2364424
Subject Product lines
Process algebras
D.2.4 Software/Program Verification


Icona documento 1) Download Document PDF


Icona documento Open access Icona documento Restricted Icona documento Private

 


Per ulteriori informazioni, contattare: Librarian http://puma.isti.cnr.it

Valid HTML 4.0 Transitional