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
problems?

Mark
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
Member
Hello,

You may looking for this.
http://tfs.cs.tu-berlin.de/gramot/Gramot2005/FinalVersions/P DF/BezivinJouault.pdf


BTW: Does anybody know my AtlLauncher question,please.

Wong
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: Sat Apr 10 15:34:39 GMT 2021

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

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

Back to the top