|Re: Evaluation of transformations with OCL [message #33671 is a reply to message #33638]
||Fri, 20 July 2007 20:06
Originally posted by: cdamus.ca.ibm.com|
Are you dealing with metamodel-to-metamodel transformations, or with
model-to-model transformations in the same metamodel? Note that OCL (as
implemented in MDT) supports only the Ecore and UML metamodels, to date.
You may want to ask about this on the GMT and/or M2M newsgroups. There QVT
implementations in the works in these projects, and their communities have
some valuable insight.
Andrew Carton wrote:
> I was wondering if anyone has experience with evaluating transformations
> with OCL. From my limited knowledge on the subject, I believe constraint
> based checking can be used to verify that a transformation is correct.
> By providing a redundant specification in OCL of the result of the
> transformation can a transformation be evaluated? If anyone have any
> tips, tools, papers or links that may be of interest I would appreciate
Powered by FUDForum
. Page generated in 0.05774 seconds