ftsrg / trainbenchmark

The Train Benchmark framework for evaluating incremental model validation performance
https://ftsrg.mit.bme.hu/trainbenchmark/
Eclipse Public License 1.0
11 stars 18 forks source link

OCL checks/transformations? #135

Open arcanefoam opened 6 years ago

arcanefoam commented 6 years ago

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 commented 6 years ago

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.