Automated Reasoning for Derivation of Model-Driven SPLs - Archive ouverte HAL
Communication Dans Un Congrès Année : 2010

Automated Reasoning for Derivation of Model-Driven SPLs

Résumé

Model-Driven SPL approaches use metamodels and transformation rules to obtain concrete software artifacts departing from models. Most of such approaches use also feature models to express variability. Because of the variability, to derive products, they have to adapt the transformation rules according to user choices captured in feature configurations. In this paper we propose an approach based on Constraint Programming to derive Model-Driven SPLs. Our contribution is twofold. First, we assist product line architects when relating transformation rules and features in order to derive prod- ucts based on feature configurations; the novelty is that we facilitate the management of feature interactions to architects. Second, current approaches to reason on feature models in SPL Engineering only deal with problems related to product configuration. We improve such approaches adding facilities for product derivation.
Fichier non déposé

Dates et versions

hal-00536845 , version 1 (17-11-2010)

Identifiants

  • HAL Id : hal-00536845 , version 1

Citer

Hugo Arboleda, Victor Vargas, Francisco Diaz Juan, Jean-Claude Royer. Automated Reasoning for Derivation of Model-Driven SPLs. 2nd International Workshop on Model-driven Approaches in Software Product Line Engineering (MAPLE 2010) at SPLC 2010, Sep 2010, South Korea. pp.181--188. ⟨hal-00536845⟩
213 Consultations
0 Téléchargements

Partager

More