Constraints: The Heart of Domain and Application Engineering in the Product Lines Engineering Strategy

Raúl Mazo, Camille Salinesi, Daniel Diaz, Olfa Djebbi and Alberto Lora-Michiels
Additional contact information
Raúl Mazo: University of Antioquia & CRI Panthéon Sorbonne University, France
Camille Salinesi: CRI Panthéon Sorbonne University, France
Daniel Diaz: CRI Panthéon Sorbonne University, France
Olfa Djebbi: CRI Panthéon Sorbonne University, France
Alberto Lora-Michiels: Baxter International Inc, Belgium

International Journal of Information System Modeling and Design (IJISMD), 2012, vol. 3, issue 2, 33-68

Abstract: Drawing from an analogy between features based Product Line (PL) models and Constraint Programming (CP), this paper explores the use of CP in the Domain Engineering and Application Engineering activities that are put in motion in a Product Line Engineering strategy. Specifying a PL as a constraint program instead of a feature model carries out two important qualities of CP: expressiveness and direct automation. On the one hand, variables in CP can take values over boolean, integer, real or even complex domains and not only boolean values as in most PL languages such as the Feature-Oriented Domain Analysis (FODA). Specifying boolean, arithmetic, symbolic and reified constraint, provides a power of expression that spans beyond that provided by the boolean dependencies in FODA models. On the other hand, PL models expressed as constraint programs can directly be executed and analyzed by off-the-shelf solvers. This paper explores the issues of (a) how to specify a PL model using CP, including in the presence of multi-model representation, (b) how to verify PL specifications, (c) how to specify configuration requirements, and (d) how to support the product configuration activity. Tests performed on a benchmark of 50 PL models show that the approach is efficient and scales up easily to very large and complex PL specifications.

Date: 2012
References: Add references at CitEc
Citations:

Downloads: (external link)
http://services.igi-global.com/resolvedoi/resolve. ... 018/jismd.2012040102 (application/pdf)

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:igg:jismd0:v:3:y:2012:i:2:p:33-68

Access Statistics for this article

International Journal of Information System Modeling and Design (IJISMD) is currently edited by Thierry O. C. Edoh

More articles in International Journal of Information System Modeling and Design (IJISMD) from IGI Global
Bibliographic data for series maintained by Journal Editor ().