Gold sponsors

IBM Corporation

Jasmine Conseil logo

Cloudsoft logo

Sonatype logo

SAP logo

Xored logo


Amazon logo

Silver sponsors

Blackberry logo

ZeroTurnaround logo

Amazon Web Services logo

bsi logo

OnPositive logo


Nuxeo logo


Bronze sponsors



Microsoft logo

Paremus logo

JBoss logo

Genuitec logo

Juniper logo

Soyatec logo

itemis logo

Totvs logo

AccuRev logo

Activity sponsor


Media sponsors

Methods & Tools logo

Enrich Your Models With OCL

Ed Willink, Axel Uhl (SAP AG )

Making at Eclipse · Tutorial
Monday, 15:40, 2 hours | Ballroom D


The utility of the Object Constraint Language for modeling within Eclipse has increased dramatically in the last few years, so that Eclipse OCL is now useful for everyday modelers rather than just advanced Java programmers.

This tutorial will demonstrate to existing EMF users how OCL in isolation can enhance their models and how the Eclipse support is re-used within advanced model transformation tools.

The tutorial will first introduce OMG's OCL language and its capabilities, then show how OCL can be embedded within Ecore to support validation and evaluation of dynamic EMF models without using genmodel at all. This part of the tutorial will introduce the OCLinEcore text editor that supports the combined development of OCL and Ecore, the CompleteOCL editor that supports complementary development of OCL and the the Interactive OCL Console that supports interactive evaluation.

Models developed during the Ecore integration part of the tutorial will be elaborated during the rest of the tutorial to demonstrate how model representations can be transformed using model to model transformations and then presented in human-friendly fashion by model to text transformations.

The model to model transformation section of the tutorial will provide a brief overview of OMG's QVT Operational Mappings language and Eclipse's M2M/QVTo tooling, while developing the running example with particular emphasis on the use of OCL to perform complex navigations and queries.

The model to text transformation section of the tutorial will provide similar brief overviews of OMG's M2T language and Eclipse's M2T/Acceleo tooling. The running example will be elaborated to showing more extensive use of OCL.

OCL supports the formulation of very compact queries that it is useful to practice. The tutorial will demonstrate this style of working by providing regular opportunities to configure and use some OCL facility with additional challenges for those participants who find the basic examples too easy.


Attendees are advised to prepare an Eclipse 3.7M6 installation in advance and to install Acceleo, GMF Runtime, OCL Examples and Editors, Operational QVT, UML2 and Xtext. Further detail may be found in the first ten slides.

Ed Willink is the leader of the MDT/OCL and M2M/QVTd projects, co-founder of the GMT project and the Thales representative for the OMG OCL and QVT RTFs. He has been working with Eclipse Modeling for 8 years.

Axel works as Chief Development Architect in the Technology Strategy group at SAP. His main interests include tools, languages, language workbenches and metadata management. Before he joined SAP, Axel used to work for Interactive Objects, developing an MDA tool called ArcStyler. He is co-author of MDA Distilled and has published a number of papers on different aspects of model-driven development.


Download Material

Download file of related material.