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

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 17:49

Eclipse User

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 18:56

Eclipse User

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:

-=] Back to Top [=-

Current Time: Fri Jul 04 10:28:23 EDT 2025

.:: Contact :: Home ::.

Breadcrumbs

Sign up to our Newsletter