OCL checks/transformations?

[arcanefoam]

In the paper[1] referenced from the README you use Eclipse OCL. Where are the OCL sources for the checks and transformations?

Further, since OCL is a query language, how did you implemented a transformation based on OCL?

Thanks,

[1]The Train Benchmark: cross-technology performance evaluation of continuous model queries

[szarnyasg]

I decided to remove OCL after 1.0 release, as I aimed to shift the focus of the benchmark to graph databases (in favour of MDE tools).

However, the code is still in the version control system's history:

https://github.com/FTSRG/trainbenchmark/blob/6490047d7449f9a4b66cec032b9377bfc06a54d2/trainbenchmark-tool-eclipseocl/src/main/java/hu/bme/mit/trainbenchmark/benchmark/eclipseocl/operations/EclipseOclModelOperationFactory.java#L99-L104

This shows that for OCL, the transformations are implemented using the vanilla EMF API.