CP-Based Framework for Software Product Lines Engineering

Angela Villota (1)

1 CRI - Centre de Recherche en Informatique de Paris 1

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

Mots clés: Constraint programming; Product lines; Product line engineering; Constraint solvers

Mots clés: Ingénierie des lignes de produits; Lignes de produits; Programmation par contraintes; Solveurs de contraintes

Domaines: Génie logiciel [cs.SE]

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⟩