Skip to main content

Eclipse Community Forums
Forum Search:

Search      Help    Register    Login    Home
Home » Archived » M2M (model-to-model transformation) » [ATL] Formal method(Formal study about ATL transformation)
[ATL] Formal method [message #653686] Thu, 10 February 2011 17:36
fabio Mising name is currently offline fabio Mising nameFriend
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?
Previous Topic:simple UML2UML without results
Next Topic:State Machine Transformation
Goto Forum:

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

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

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

Back to the top