Methods, Techniques and Tools for Product Line Model Verification

Raul Mazo (1) , Camille Salinesi

1 CRI - Centre de Recherche en Informatique de Paris 1

In this Centre de Recherche en Informatique's research report we suggest a PLM verification process focused in correctness evaluation on these types of models. We firstly do a bibliographic search that permit us make an inventory of some techniques. We then go on to formalisation work of each criterion, particularly those for model verification, with propositional logic. Next, we have do integration work through MAP formalism, in order to propose a PLM correctness verification process that can be carried out in different ways. We have validated this approach through a real case study and implementation of the proposed MAP process model in a computational tool

Mots clés: Product Line Model; formal verification

Domaines: Génie logiciel [cs.SE]; Sciences de l'information et de la communication; Logique [math.LO]

Raul Mazo, Camille Salinesi. Methods, Techniques and Tools for Product Line Model Verification. 2008. ⟨halshs-00323675⟩