Raúl Mazo, Paul Grünbacher, Wolfgang Heider, Rick Rabiser, Camille Salinesi, Daniel Diaz,
"Using Constraint Programming to Verify DOPLER Variability Models"
, in ACM ICPS: Using Constraint Programming to Verify DOPLER Variability Models, Serie VaMoS '11 Proceedings of the 5th Workshop on Variability Modeling of Software-Intensive Systems, ACM Press, Seite(n) 97-104, 2011, ISBN: 978-1-4503-0570-9
Original Titel:
Using Constraint Programming to Verify DOPLER Variability Models
Sprache des Titels:
Englisch
Original Buchtitel:
Using Constraint Programming to Verify DOPLER Variability Models
Original Kurzfassung:
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.
Sprache der Kurzfassung:
Englisch
Veröffentlicher:
ACM Press
Serie:
VaMoS '11 Proceedings of the 5th Workshop on Variability Modeling of Software-Intensive Systems