|
|
Re: pre and post conditions in OCL metamodel [message #1748559 is a reply to message #1748557] |
Thu, 24 November 2016 11:52 |
meriem lahr Messages: 31 Registered: March 2013 |
Member |
|
|
Hi Ed,
Thanks for your answer and sorry, my question was not clear. The transformation constraints are as follow :
constraints on a model to be transformed
constraints on a model to be a valid result of the transformation (these constraints are independent of the source model)
constraints on the evolution between source and target models
My OCL constraints specification doesn't depend on a language or an execution (but they are specific to input/output metamodel). My goal is to be able to express them conforming to a metamodel in order provide them as input of a higher order transformation.
Regards
Meriem
[Updated on: Thu, 24 November 2016 16:56] Report message to a moderator
|
|
|
|
Powered by
FUDForum. Page generated in 0.03216 seconds