Eclipse OCL Eclipse Project

Eclipse OCL is an implementation of the Object Constraint Language (OCL) OMG standard for EMF-based models. Eclipse OCL provides both:

• An implementation of the OCL 2.4 standard specification (ISO/IEC 19507).
• A prototypical implementation of the future OCL 2.5 specification.

Members of OMG OCL RTF(Revision Task Force) are actively involved with the Eclipse OCL project. The core OCL component provides the following capabilities to support OCL integration:

• Defines APIs for parsing and evaluating OCL constraints and queries on Ecore or UML models.
• Defines Ecore and UML implementations of the OCL abstract syntax model, including support for serialization of parsed OCL expressions.
• Provides a Visitor API for analyzing/transforming the AST model of OCL expressions.
• Provides an extensibility API for clients to customize the parsing and evaluation environments used by the parser.

The accompanying examples provide:

• A Console for interactive evaluation of OCL expression on models.
• An Impact Analyzer to support analysis and optimised re-evaluation.

The additional OCL Examples and Editors component provides interactive support for OCL:

• An Xtext editor for OCL in Ecore (to define constraints in your Ecore models).
• An Xtext editor for OCL expressions (used by Papyrus and the Console).
• An Xtext editor for OCL documents complementing meta-models (Complete OCL).
• An Xtext editor for the OCL 'Standard' Library model.
• A UML-aligned OCL meta-model supporting templates and reflection.
• An OCL evaluator exploiting the extensible OCL library model.
• An Xtext Console for interactive evaluation of OCL expression on models.
• (Luna) Direct OCL to Java code generation (preliminary)
• (Luna) A Validity View for detailed Constraint/ModelElement validity visualization
• (Luna) An OCL debugger