Skip to main content

Eclipse Community Forums
Forum Search:

Search      Help    Register    Login    Home
Home » Archived » M2M (model-to-model transformation) » RE: Using ATL to validate models
RE: Using ATL to validate models [message #74112] Thu, 31 January 2008 22:49 Go to next message
Mark Melia is currently offline Mark MeliaFriend
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

Re: Using ATL to validate models [message #74147 is a reply to message #74112] Thu, 31 January 2008 23:56 Go to previous message
wong is currently offline wongFriend
Messages: 54
Registered: July 2009

You may looking for this. DF/BezivinJouault.pdf

BTW: Does anybody know my AtlLauncher question,please.

Previous Topic:[ATL]Rule Transformation
Next Topic:[ATL] New ATL Use Case: "Model-Driven Performance Engineering: From UML/SPT to AnyLogic"
Goto Forum:

Current Time: Mon Aug 08 23:41:38 GMT 2022

Powered by FUDForum. Page generated in 0.01709 seconds
.:: Contact :: Home ::.

Powered by: FUDforum 3.0.2.
Copyright ©2001-2010 FUDforum Bulletin Board Software

Back to the top