Re: [mdr-users] question about model transformation

Hi "testsoftware implementation" :-), 
> I do not know how to transform a model (M1) to another (M2)
You can use YATL, ATL, MTL, SDM, ... to implement the transformation. 
By the way, be careful with the terms "M1" and "M2", I'd use "Ma" and
"Mb" instead because "M1" and "M2" are a bit overloaded in OMG
discussions.

MoTMoT translates UML models describing your model transformation (and
comforming to the profile for SDM) to JMI code.  MoTMoT also includes
the required (Maven) script infrastructure to compile the JMI code and
execute it on your models.  The following tutorial describes a UML to
UML transformation but MoTMoT works for any model conforming to a MOF
metamodel: http://www.fots.ua.ac.be/motmot/docs/profileTutorial.php

> The target model must be semanticaly the same as source model. 
It will be hard to check this automatically but you could already
capture the static semantics of your modeling language in OCL
well-formedness rules.  For checking the dynamic semantics, you can
have a look at the work of Reiko Heckel et al (
http://prog.vub.ac.be/FFSE/Presentations/fse2002-01-Heckel-UPB.pdf ). 
You can also write (or reuse?) a dedicated code generator for your
modeling language and write a testsuite that checks if the code for
both models acts the same in a number of scenario's...

Regards,
Pieter Van Gorp
http://motmot.sourceforge.net/

On 9/13/05, testsoftware implementation <[email protected]> wrote:
> Dear friends,
>  
> I generated JMI using MDR Explorer for My metamodel. Imported models in
> repository according to given metamodel. 
>  
> I do not know how to transform a model (M1) to another (M2), both models
> conform the same metamodel, using user defined rules. Can I use QVT or YATL
> language? The target model must be semanticaly the same as source model. 
> 
>  
> Thank you very much.
> ROBERT
> 
> 
> __________________________________________________
> Do You Yahoo!?
> Tired of spam? Yahoo! Mail has the best spam protection around 
> http://mail.yahoo.com