Skip to Main content Skip to Navigation
Conference papers

Using Constraint Programming to Verify DOPLER Variability Models

Abstract : Software product lines are typically developed using model-based approaches. Models are used to guide and automate key activities such as the derivation of products. The verification of product line models is thus essential to ensure the consistency of the derived products. While many authors have proposed approaches for verifying feature models there is so far no such approach for decision models. We discuss challenges of analyzing and verifying decision-oriented DOPLER variability models. The manual verification of these models is an error-prone, tedious, and sometimes infeasible task. We present a preliminary approach that converts DOPLER variability models into constraint programs to support their verification. We assess the feasibility of our approach by identifying defects in two existing variability models.
Document type :
Conference papers
Complete list of metadata

Cited literature [23 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-00707543
Contributor : Raul Mazo Connect in order to contact the contributor
Submitted on : Wednesday, June 13, 2012 - 12:18:11 AM
Last modification on : Friday, April 29, 2022 - 10:12:44 AM
Long-term archiving on: : Friday, September 14, 2012 - 2:20:56 AM

File

Formal_Verification_of_Dopler_...
Files produced by the author(s)

Identifiers

  • HAL Id : hal-00707543, version 1

Collections

Citation

Raul Mazo, Paul Grünbacher, Wolfgang Heider, Rick Rabiser, Camille Salinesi, et al.. Using Constraint Programming to Verify DOPLER Variability Models. 5th International Workshop on Variability Modelling of Software-intensive Systems (VaMos'11), Jan 2011, Namur, Belgium. ⟨hal-00707543⟩

Share

Metrics

Record views

156

Files downloads

234