Eclipse Community Forums: M2M (model-to-model transformation)

Help

Home

Home » Archived » M2M (model-to-model transformation) » RE: Using ATL to validate models

Show: Today's Messages :: Show Polls :: Message Navigator

RE: Using ATL to validate models [message #74112]

Thu, 31 January 2008 22:49

Mark Melia

Messages: 142
Registered: July 2009

Senior Member

Hi all,

Quick question - I have an ecore model and metamodel - at the moment I am
setting OCL constraints on the metamodel and then checking that that model
is correct. I am just wondering would it be possible to specify my OCL
constraints in ATL by specifying the context in the ATL 'from' and the
invariant in the ATL 'do' and then use the print function to output any
problems?

Mark

Report message to a moderator