|Metamodel constraints in ATL HOT [message #1752101]
||Wed, 18 January 2017 18:57
| meriem lahr
Registered: March 2013
I'm writing a higher order transformation that takes a UML metamodel as input and provides an ATL transformation as output. The output transformation should verify either a model conforms to the metamodel (input of the HOT) so I need to access the metamodel constraints in OCL.
Please, does someone know how to access the metamodel constraints in a ATL? For example, for the class diagram metamodel, if a constraint asserts that two classes cannot have the same name, an ATL helper in this form should be created in the output transformation :
helper context CD!Class def: existSameName() : Boolean =
-- verification of the constraint
I hope my problem is clear. Thank you very much!
[Updated on: Sun, 22 January 2017 12:58]
Report message to a moderator
Powered by FUDForum
. Page generated in 0.02133 seconds