qvt-r model transformation mde bidirectional transformation alloy model repair non-determinism relations calculus of relations multidirectional transformation
See more