EOL is inspired by OCL but makes some deliberate changes, most notably elimination of the -> collection navigation operator.
I am currently working on an ATL2QVTr transformation as a test harness for QVTr utility. It also requires an OCL to OCL sub-transformation but ATL-OCL is not deliberately different to OMG-OCL. Once this works ETL/EOL to OCL might be considered.
Today, I think your only alternative is manual transcription, unless you care to develop an automated approach.
Thanks. I should get an automatic approach. I would prefer this tool was developed. However, I should write it myself.
I need some details about the difference between ETL constraints and OCL constraints. Would you please help me in this regard?