Istituto di Scienza e Tecnologie dell'Informazione     
Ter Beek M. H., Lluch Lafuente A., Petrocchi M. Combining declarative and procedural views in the specification and analysis of product families. In: FMASPLE-SPLC'13 - 17th International Software Product Line Conference co-located Workshop on Formal Methods and Analysis in Software Product Line Engineering (Tokyo, Japan, 26-30 August 2013). Proceedings, pp. 10 - 17. ACM, 2013.
We introduce the feature-oriented language FLan as a proof of concept for specifying both declarative aspects of product families, namely constraints on their features, and procedural aspects, namely feature configuration and run-time behaviour. FLan is inspired by the concurrent constraint programming paradigm. A store of constraints allows one to specify in a declarative way all common constraints on features, including inter-feature constraints. A standard yet rich set of process-algebraic operators allows one to specify in a procedural way the configuration and behaviour of products. There is a close interaction between both views: (i) the execution of a process is constrained by its store to forbid undesired configurations; (ii) a process can query a store to resolve design and behavioural choices; (iii) a process can update the store by adding new features. An implementation in the Maude framework allows for a variety of formal automated analyses of product families specified in FLan, ranging from consistency checking to model checking.
URL: http://dl.acm.org/citation.cfm?id=2499777.2500722&coll=DL&dl=ACM&CFID=244225590&CFTOKEN=57182565
DOI: 10.1145/2499777.2500722
Subject Product families
Process algebra
Concurrent constraint programming
Behavioural analyses
D.2.4 Software/Program Verification. Formal methods, Model checking, Validation
D.2.4 Software/Program Verification. Model checking
D.2.4 Software/Program Verification. Validation

Icona documento 1) Download Document PDF
Icona documento 2) 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