The IRMA Community
Newsletters
Research IRM
Click a keyword to search titles using our InfoSci-OnDemand powered search:
|
Constraints: The Heart of Domain and Application Engineering in the Product Lines Engineering Strategy
|
|
Author(s): 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)and Alberto Lora-Michiels (Baxter International Inc, Belgium)
Copyright: 2012
Volume: 3
Issue: 2
Pages: 36
Source title:
International Journal of Information System Modeling and Design (IJISMD)
Editor(s)-in-Chief: Thierry O. C. Edoh (RFW-Universtät Bonn, (RFW University of Bonn), Bonn/Germany & Ecole Supérieure Multinationale des Telecomunications, Dakar/Senegal)
DOI: 10.4018/jismd.2012040102
Purchase
|
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.
Related Content
|
Nan Jiang.
© 2026.
18 pages.
|
|
Fang Zhou, Jianheng Ji, Shuping Wang, Wei Zhao.
© 2026.
28 pages.
|
|
Dhivya Guru, Baskar Chinnaiah, Senthilraj Subramaniam.
© 2026.
29 pages.
|
|
Jisheng Shi, Yunying He.
© 2026.
17 pages.
|
|
Yizihe Lang, Chunchao Chen, Qiancheng Cai, Shuangzhu Tao, Xiao Zhang, Baoxing Ju.
© 2026.
19 pages.
|
|
Yingdong Lai, Suijiang Mo, Zixin Li, Baoguo Li, Hongbing Wen.
© 2026.
16 pages.
|
|
Masafumi Nakano.
© 2026.
14 pages.
|
|
|