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

Help

Home

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

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

[ATL] Formal method [message #653686]

Thu, 10 February 2011 17:36

fabio Mising name

Messages: 3
Registered: February 2011

Junior Member

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?

Report message to a moderator

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

Goto Forum:

-=] Back to Top [=-

[ Syndicate this forum (XML) ] [

]

Current Time: Sat Jun 06 08:01:46 GMT 2020

.:: Contact :: Home ::.

Breadcrumbs

Sign up to our Newsletter