Verifying metamodel coverage of model transformations

Wang, J., Kim, S. K. and Carrington, D. A. (2006). Verifying metamodel coverage of model transformations. In: J. Han and M. Staples, Australian Software Engineering Conference (ASWEC 2006). ASWEC 2006: The Australian Software Engineering Conference, Sydney, Australia, (270-279). 18-21 April 2006. doi:10.1109/ASWEC.2006.55

Attached Files (Some files may be inaccessible until you login with your UQ eSpace credentials)
Name Description MIMEType Size Downloads

Author Wang, J.
Kim, S. K.
Carrington, D. A.
Title of paper Verifying metamodel coverage of model transformations
Conference name ASWEC 2006: The Australian Software Engineering Conference
Conference location Sydney, Australia
Conference dates 18-21 April 2006
Proceedings title Australian Software Engineering Conference (ASWEC 2006)
Place of Publication Piscataway, NJ, United States
Publisher IEEE - Institute of Electrical Electronics Engineers Inc.
Publication Year 2006
Sub-type Fully published paper
DOI 10.1109/ASWEC.2006.55
ISBN 0769525512
ISSN 1530-0803
Editor J. Han
M. Staples
Start page 270
End page 279
Total pages 10
Collection year 2006
Language eng
Abstract/Summary 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).
Subjects 700100 Computer Software and Services
280302 Software Engineering
Keyword Model driven architecture (MDA) initiative
Automatic model transformation systems
Eclipse modeling framework (EMF)
Q-Index Code E1
Q-Index Status Provisional Code
Institutional Status UQ

Version Filter Type
Citation counts: Scopus Citation Count Cited 7 times in Scopus Article | Citations
Google Scholar Search Google Scholar
Created: Thu, 23 Aug 2007, 22:32:26 EST