Combining declarative and procedural views in the feature-oriented specification and analysis of product families (Contributo in atti di convegno)

Type

• Prodotto della ricerca (Classe)
• Contributo in atti di convegno (Classe)

Label

• Combining declarative and procedural views in the feature-oriented specification and analysis of product families (Contributo in atti di convegno) (literal)

Anno

• 2013-01-01T00:00:00+01:00 (literal)

Alternative label

• Ter Beek M., Lluch Lafuente A., Petrocchi M. (2013)
  Combining declarative and procedural views in the feature-oriented specification and analysis of product families
  in 14th Italian Conference on Theoretical Computer Science, Palermo, Italy, 9-11 September 2013
  (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#autori

• Ter Beek M., Lluch Lafuente A., Petrocchi M. (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#url

• http://www.unipa.it/ictcs13/accepted.html (literal)

Note

• PuMa (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#affiliazioni

• CNR-ISTI, Pisa, Italy; IMT, Lucca, Italy; CNR-IIT, Pisa, Italy. (literal)

Titolo

• Combining declarative and procedural views in the feature-oriented specification and analysis of product families (literal)

Abstract

• We present the recently introduced 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 the constraints on features that are commonly used in software product line engineering, including the cross-tree constraints well 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 these two 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. (literal)

Prodotto di

• Istituto di scienza e tecnologie dell'informazione \"Alessandro Faedo\" (ISTI) (Istituto)
• Metodi e Strumenti per la Progettazione di Sistemi Software-Intensive ad Elevata Complessità (ICT.P09.008.002) (Modulo)
• Istituto di informatica e telematica (IIT) (Istituto)

Autore CNR

• MAURICE HENRI TER BEEK (Unità di personale esterno)
• MARINELLA PETROCCHI (Unità di personale esterno)

Insieme di parole chiave

• Keywords of "Combining declarative and procedural views in the feature-oriented specification and analysis of product families" (Insieme di parole chiave)

Incoming links:

Prodotto

• Istituto di informatica e telematica (IIT) (Istituto)
• Istituto di scienza e tecnologie dell'informazione \"Alessandro Faedo\" (ISTI) (Istituto)
• Metodi e Strumenti per la Progettazione di Sistemi Software-Intensive ad Elevata Complessità (ICT.P09.008.002) (Modulo)

Autore CNR di

• MARINELLA PETROCCHI (Unità di personale esterno)
• MAURICE HENRI TER BEEK (Unità di personale esterno)

Insieme di parole chiave di

• Keywords of "Combining declarative and procedural views in the feature-oriented specification and analysis of product families" (Insieme di parole chiave)