Verifying metamodel coverage of model transformations
- 1 January 2006
- conference paper
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- No. 15300803,p. 10 pp.-282
- https://doi.org/10.1109/aswec.2006.55
Abstract
Since the object management group (OMG) commenced its model driven architecture (MDA) initiative, there has been considerable activity proposing and building automatic model transformation systems to help implement the MDA concept. Much less attention has been given to the need to ensure that model transformations generate the intended results. This paper explores one aspect of validation and verification for MDA: coverage of the source and/or target metamodels by a set of model transformations. The paper defines the property of metamodel coverage and some corresponding algorithms. This property helps the user assess which parts of a source (or target) metamodel are referenced by a given model transformation set. Some results are presented from a prototype implementation that is built on the eclipse modeling framework (EMF).This publication has 3 references indexed in Scilit:
- Validation in model-driven engineering: testing model transformationsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2006
- Automatic test case optimization using a bacteriological adaptation model: application to .NET componentsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- VIATRA - visual automated transformations for formal verification and validation of UML modelsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002