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.
Domaines
Génie logiciel [cs.SE]
Fichier principal
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) |
---|