Skip to Main content Skip to Navigation
Conference papers

Conformance Checking with Constraint Logic Programming: The Case of Feature Models

Abstract : Developing high quality systems depends on developing high quality models. An important facet of model quality is their consistency with respect to their meta-model. We call the verification of this quality the conformance checking process. We are interested in the conformance checking of Product Line Models (PLMs). The problem in the context of product lines is that product models are not created by instantiating a meta-model: they are derived from PLMs. Therefore it is usually at the level of PLMs that conformance checking is applied. On the semantic level, a PLM is defined as the collection of all the product models that can be derived from it. Therefore checking the conformance of the PLM is equivalent to checking the conformance of all the product models. However, we would like to avoid this naïve approach because it is not scalable due to the high number of models. In fact, it is even sometimes infeasible to calculate the number of product models of a PLM. Despite the importance of PLM conformance checking, very few research works have been published and tools do not adequately support it. In this paper, we present an approach that employs Constraint Logic Programming as a technology on which to build a PLM conformance checking solution. The paper demonstrates the approach with feature models, the de facto standard for modeling software product lines. Based on an extensive literature review and an empirical study, we identified a set of 9 conformance checking rules and implemented them on the GNU Prolog constraints solver. We evaluated our approach by applying our rules to 50 feature models of sizes up to 10000 features. The evaluation showed that our approach is effective and scalable to industry size models.
Document type :
Conference papers
Complete list of metadata

Cited literature [47 references]  Display  Hide  Download
Contributor : Raul Mazo Connect in order to contact the contributor
Submitted on : Wednesday, June 13, 2012 - 12:26:27 AM
Last modification on : Friday, April 29, 2022 - 10:12:44 AM
Long-term archiving on: : Friday, September 14, 2012 - 2:21:10 AM


Files produced by the author(s)


  • HAL Id : hal-00707545, version 1



Raul Mazo, Roberto Erick Lopez-Herrejon, Camille Salinesi, Daniel Diaz, Alexander Egyed. Conformance Checking with Constraint Logic Programming: The Case of Feature Models. In 35th IEEE International Computer Software and Applications Conference (COMPSAC), Jul 2011, Munich, Germany. ⟨hal-00707545⟩



Record views


Files downloads