Artifact to paper 'Partial Evaluation of OCL Expressions', to appear in Proceedings of MODELS'17

Artifact Details
Bastian Ulke^1, Friedrich Steimann^1 and Ralf Lämmel^2
1 FernUniversitat in Hagen; 2 Universitat Koblenz-Landau
Required Tool(s): 
see README files.
Programming/Modeling Languages: 
Ecore, Java, OCL
Artifact Description: 

Partial Evaluation of OCL Expressions
Bastian 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:

  1. it presents a Java-based partial evaluator for OCL invariants. The partial evaluator evaluates OCL subexpressions where their value is fix and translates them to a constraint on variables where they are not (the genrated constraints can be solved by a constraint solver to find value assignments satisfying the invariants, thus repairing or completing a model instance; refer to section II for more details).
  2. The artifact comprises a text-based user interface to illustrate the constraint generation based on a user-specified set of dynamic and fix properties.
  3. The same interface can be used to reproduce the results of the implementation evaluation (please refer to section IX of our paper for further details).
  4. Our artifact also publishes the models and OCL invariants that were used for the evaluation.

The artifact consists consists of three parts:

  1. The metamodel for Java/JPA programs and 14 instances, constructed from Open Source projects, as well as the 77 OCL expressions reflecting JPA's rules of well-formedness.
  2. A Java SE-based setup of our Java-based OCL partial evaluator. This application can be used to reproduce evaluation results presented in our paper and to get an impression of the complexity reduction achieved by partially evaluating OCL expressions.
  3. A virtual machine, comprising a preconfigured Eclipse workspace to inspect the implementation of our partial evaluator for OCL. (Depending on your system configuration, you may want to ensure that the VM is set up to run an "Ubuntu (64 bit)" operating system.)

All three parts contain own README files with further details on their usage.

Terms of use
In case you use parts of this artifact for your own research, please cite our publication in your work.

Revision Summary: 
No revisions submitted.
Artifact Files and/or Links
Artifact Development Contexts: 
Artifact Types: 
Modeling Languages/Notations: 
No votes yet