Partial Evaluation of OCL ExpressionsBastian Ulke, Friedrich Steimann and Ralf Lämmel
Abstract (taken from the paper) -- In the academic literature, many uses of the Object Constraint Language (OCL) have been proposed. By contrast, the utilization of OCL in contemporary modelling tools lags behind, suggesting that leverage of OCL remains limited in practice. We consider this undeserved, and present a scheme for partially evaluating OCL expressions that allows one to capitalize on given OCL specifications for a wide array of purposes using a single implementation: a partial evaluator of OCL.
In this context, our artifact delivers the following contributions:
The artifact consists consists of three parts:
All three parts contain own README files with further details on their usage.
In case you use parts of this artifact for your own research, please cite our publication in your work.