VMWare: Tool Support for Automatic Verification of Structural and Semantic Correctness in Product Line Models - Université Paris 1 Panthéon-Sorbonne Accéder directement au contenu
Communication Dans Un Congrès Année : 2009

VMWare: Tool Support for Automatic Verification of Structural and Semantic Correctness in Product Line Models

Résumé

The verification of variability models is recognized as one of the key challenges for automated development of product lines. Some computational tools have been proposed to verify product line models and product line configurations models. VMWare is a tool integrating different criteria to verify structural and semantic correctness of models derived from the FORE metamodel. Our tool gives the possibility of (i) build feature-based product line models and product line configuration models, (ii) verify their structural and semantic correctness in a completely automated manner and (iii) import/export them in XMI files.
Fichier principal
Vignette du fichier
VMWare_Tool_Support_for_Product_Line_Models_Verification_and_Validation_-_Published_in_VaMoS_09.pdf (216.31 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-00707523 , version 1 (01-11-2012)

Identifiants

  • HAL Id : hal-00707523 , version 1

Citer

Camille Salinesi, Colette Rolland, Raul Mazo. VMWare: Tool Support for Automatic Verification of Structural and Semantic Correctness in Product Line Models. International Workshop on Variability Modelling of Software-intensive Systems (VaMos), Jan 2009, Sevilla, Spain. pp.173. ⟨hal-00707523⟩

Collections

UNIV-PARIS1 CRI
165 Consultations
129 Téléchargements

Partager

Gmail Facebook X LinkedIn More