Author
Listed:
- 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)
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.
Suggested Citation
Raúl Mazo & Camille Salinesi & Daniel Diaz & Olfa Djebbi & Alberto Lora-Michiels, 2012.
"Constraints: The Heart of Domain and Application Engineering in the Product Lines Engineering Strategy,"
International Journal of Information System Modeling and Design (IJISMD), IGI Global, vol. 3(2), pages 33-68, April.
Handle:
RePEc:igg:jismd0:v:3:y:2012:i:2:p:33-68
Download full text from publisher
Corrections
All material on this site has been provided by the respective publishers and authors. You can help correct errors and omissions. When requesting a correction, please mention this item's handle: RePEc:igg:jismd0:v:3:y:2012:i:2:p:33-68. See general information about how to correct material in RePEc.
If you have authored this item and are not yet registered with RePEc, we encourage you to do it here. This allows to link your profile to this item. It also allows you to accept potential citations to this item that we are uncertain about.
We have no bibliographic references for this item. You can help adding them by using this form .
If you know of missing items citing this one, you can help us creating those links by adding the relevant references in the same way as above, for each refering item. If you are a registered author of this item, you may also want to check the "citations" tab in your RePEc Author Service profile, as there may be some citations waiting for confirmation.
For technical questions regarding this item, or to correct its authors, title, abstract, bibliographic or download information, contact: Journal Editor (email available below). General contact details of provider: https://www.igi-global.com .
Please note that corrections may take a couple of weeks to filter through
the various RePEc services.