Specification (2.4) (PDF)
Implementations
Reading
- The ultimate OCL tutorial
- An extensible OCL virtual machine and code generator
- Java Bytecode Verification with OCL: Why, How and When?
- A-OCL: A Pure-Java Constraint and Transformation Language for MDE: OCL is a standard MDE language to express constraints. OCL has been criticized for being too complicated, over-engineered, and difficult to learn. But beneath OCL’s complicated exterior is an elegant language based on relational algebra. We call this language Aocl, which has a straightforward implementation in Java. Aocl can be used to write OCL-like constraints and model transformations in Java. A simple MDE tool generates an Aocl Java 8.0 package from an input class diagram for Aocl to be used.
- Compilation of OCL into Java for the Eclipse OCL Implementation (Thesis, Ayatullah Jibran Shidqie): The separation of Platform Independent Model (PIM) and Platform Specific Model (PSM) defined by Model Driven Architecture (MDA) results in flexibility representation in process design. UML which becomes the standard in modeling representing the PIM can fits into several implementation platforms of the systems. Afterwards PSM can be derived from PIM by either automatically performed by compiler or manually created. OCL constraints come into play to ensure, among other things, the well-formedness of the models that conform to the languages in which PIMs and PSMs are expressed. EMF (Eclipse Modeling Framework) provides facility to generate code from structured data model. Beyond that, MDT (Modeling Development Tools) which provide new technologies within modeling project in eclipse platform, extends EMF feature by providing OCL implementation. It does not compile the OCL into Java code, instead it only interprets the OCL at runtime. Due to the fact that currently there are no tools of OCL compilation involves in EMF, the OCL compiler will be a significant improvement for the EMF community. This thesis offers an implementation of compilation OCL into Java within EMF. Compiler technology approach is used in designing this OCL compiler.
Tags:
language
format
object
Last modified 11 October 2025