Translator
: OCL to R2ML
(alpha version)
for R2ML version 0.4
Examples:
-,
Contact:
Milan Milanovic
,
Adrian Giurca
and
Marco Pehla
context Person inv: Person.allInstances()->forAll(x1, x2 | (self.hasFather = x1 and x1.hasBrother = x2) implies self.hasUncle = x2)
With this web
translator
we give you the ability to generate
R2ML
from
OCL
markup.