Skip to Main content Skip to Navigation
Conference papers

CP-Based Framework for Software Product Lines Engineering

Abstract : The Product Line Engineering (PLE) and Software Product Line Engineering communities employ the term constraint referring to relations between elements in a system, non-functional requirements, feature relations, etc. It is almost natural that some authors formalize these concepts as boolean satisfiability problems or constraint satisfaction problems. Moreover, in the past years, many different works have formalized variability concepts and product line preferences in the shape of logic formulas or constraint satisfaction problems to support PLE activities like analysis, testing, verification, etc. with the purpose of taking advantage of Constraint Programming (CP) approaches. However, there is no proposal integrating CP in all the development stages of a PLE in a consistent manner. In this research project, we aim to design and develop a generic framework specially designed for PLE. With this framework, we want to consolidate the constraints, domains, and solvers to propose a more suitable approach for supporting PLE
Document type :
Conference papers
Complete list of metadatas

Cited literature [8 references]  Display  Hide  Download

https://hal-paris1.archives-ouvertes.fr/hal-01526861
Contributor : Angela Villota <>
Submitted on : Thursday, October 3, 2019 - 1:53:43 PM
Last modification on : Sunday, January 19, 2020 - 6:38:32 PM

File

JC_Infosird_AngelaVillota.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-01526861, version 1

Collections

Citation

Angela Villota. CP-Based Framework for Software Product Lines Engineering. Actes du 8e Forum Jeunes Chercheurs du congrès INFORSID, May 2016, Grenoble, France. ⟨hal-01526861⟩

Share

Metrics

Record views

38

Files downloads

20