loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Australian Software Engineering Conference (ASWEC'06)
Verifying Metamodel Coverage of Model Transformations
Sydney, Australia
April 18-April 21
ISBN: 0-7695-2551-2
Junhua Wang, University of Queensland, St Lucia 4072, Australia
Soon-Kyeong Kim, University of Queensland, St Lucia 4072, Australia
David Carrington, University of Queensland, St Lucia 4072, Australia
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).
Citation:
Junhua Wang, Soon-Kyeong Kim, David Carrington, "Verifying Metamodel Coverage of Model Transformations," aswec, pp.270-282, Australian Software Engineering Conference (ASWEC'06), 2006
Usage of this product signifies your acceptance of the Terms of Use.