Methods, Techniques and Tools for Product Line Model Verification - HAL-SHS - Sciences de l'Homme et de la Société Accéder directement au contenu
Pré-Publication, Document De Travail Année : 2008

Methods, Techniques and Tools for Product Line Model Verification

Raul Mazo
Camille Salinesi

Résumé

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
Fichier principal
Vignette du fichier
Methods_Techniques_and_Tools_for_PLM_Verification.pdf (1.82 Mo) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

halshs-00323675 , version 1 (29-09-2008)

Identifiants

  • HAL Id : halshs-00323675 , version 1

Citer

Raul Mazo, Camille Salinesi. Methods, Techniques and Tools for Product Line Model Verification. 2008. ⟨halshs-00323675⟩
128 Consultations
2359 Téléchargements

Partager

Gmail Facebook X LinkedIn More