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

Home » Archived » M2M (model-to-model transformation) » [ATL] Formal method(Formal study about ATL transformation)

Thu, 10 February 2011 12:36

Eclipse User

Hi, i would use ATL in a university research context,
I have to ensure that the results of transformation depend only
to the input model (assuming that the code of transformation is correct), using
some formal method, for example graph teory or something else.
There's a study about the correctness of ATL's transformations?

Previous Topic:	simple UML2UML without results
Next Topic:	State Machine Transformation

Goto Forum:

-=] Back to Top [=-

Current Time: Tue Jul 08 22:13:31 EDT 2025

.:: Contact :: Home ::.

Breadcrumbs

Sign up to our Newsletter