This would open the possibility of re-using the MDT-OCL EvaluationVisitor. This may imply defining ATC-bindings for components. In this case we pursue a binding for MDT-OCL. Once achieved, we could no longer worry about an EssentialOCL feature not supported in the EssentialOCL2ATC translation transformation, which shoud guarantee that any QVTc model is completely translated into ATC, provided that the QVTc2ATC model transformation works as expected.
It has been said that effective OCL code synthesis is a topic just beginning to be consideredf for MDT-OCL. Related with artifact #2831095.
This artifact is part of #2831088 and will be treated independently here.