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)
This is the latest version of this item.
|
PDF
- Submitted Version
Download (298kB) | Preview |
|
|
PDF
Download (256kB) | Preview |
|
|
PDF
Download (298kB) | Preview |
|
|
PDF
Download (258kB) | Preview |
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.
| Item Type: | Conference or Workshop Item (Paper) |
|---|---|
| Projects: | ASCENS, QUANTICOL, CINA |
| Subjects: | Q Science > QA Mathematics > QA75 Electronic computers. Computer science |
| Research Area: | Computer Science and Applications |
| Depositing User: | Users 30 not found. |
| Date Deposited: | 12 Dec 2013 13:23 |
| Last Modified: | 12 Dec 2013 13:23 |
| URI: | http://eprints.imtlucca.it/id/eprint/2058 |
Available Versions of this Item
-
Combining Declarative and Procedural Views in the Specification and Analysis of Product Families. (deposited 28 May 2013 13:49)
-
Combining Declarative and Procedural Views in the Specification and Analysis of Product Families. (deposited 03 Jun 2013 08:33)
- Combining Declarative and Procedural Views in the Specification and Analysis of Product Families. (deposited 12 Dec 2013 13:23) [Currently Displayed]
-
Combining Declarative and Procedural Views in the Specification and Analysis of Product Families. (deposited 03 Jun 2013 08:33)
Actions (login required)
 |
Edit Item |
