eprintid: 2058
rev_number: 8
eprint_status: archive
userid: 30
dir: disk0/00/00/20/58
datestamp: 2013-12-12 13:23:05
lastmod: 2013-12-12 13:23:05
status_changed: 2013-12-12 13:23:05
type: conference_item
succeeds: 1606
metadata_visibility: show
creators_name: ter Beek, Maurice H.
creators_name: Lluch-Lafuente, Alberto
creators_name: Petrocchi, Marinella
creators_id: maurice.terbeek@isti.cnr.it
creators_id: alberto.lluch@imtlucca.it
creators_id: marinella.petrocchi@iit.cnr.it
title: Combining Declarative and Procedural Views in the Specification and Analysis of Product Families
ispublished: pub
subjects: QA75
divisions: CSA
full_text_status: public
monograph_type: working_paper
pres_type: paper
abstract: 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 design processes and run-time behaviour. FLan is inspired by the con- current constraint programming paradigm. A store of constraints allows one to specify in a declarative way all common constraints on features, including cross-tree constraints as known from feature models. 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, for instance to add new features. An implementa- tion 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.
date: 2013-05
date_type: published
event_title: 4th Int'l Workshop on Formal Methods and Analysis in Software Product Line Eng. (FMSPLE 2013)
event_type: workshop
institution: I
refereed: TRUE
official_url: http://doi.ieeecomputersociety.org/10.1109/PDP.2013.47
projects: ASCENS
projects: QUANTICOL
projects: CINA
citation:   ter Beek, Maurice H. and Lluch-Lafuente, Alberto and Petrocchi, Marinella  Combining Declarative and Procedural Views in the Specification and Analysis of Product Families.  In: 4th Int'l Workshop on Formal Methods and Analysis in Software Product Line Eng. (FMSPLE 2013)         (2013)  
document_url: http://eprints.imtlucca.it/2058/1/paper.pdf
document_url: http://eprints.imtlucca.it/2058/6/paper.pdf
document_url: http://eprints.imtlucca.it/2058/7/fmsple2013.pdf
document_url: http://eprints.imtlucca.it/2058/16/fmsple2013.pdf