Category Archives: OCL

State of the art on static model verification tools

During the second half of 2011 and the first half of 2012, Jordi and myself (Carlos González) conducted an analysis on the field of static model verification, with the intent of shedding some light on what was the current landscape on the area and, if possible, trying to discover new challenges and/or weaknesses that could

Over 10.000 views for the OCL tutorial slides

OCL tutorial

Slides and full chapter for our introductory tutorial to the OCL language, now with more than 10.000 views on slideshare

Executing OCL expressions on plain Java – How to do it?

Java logo

In twitter, Sébastien Mosser raised the question of how to execute OCL expressions on plain Java classes. As you may know, we can use EMFQuery to query EObjects using OCL expressions as filters as shown in this example (taken from this tutorial) where we select all objects of the Writer class having written books in

UMLtoCSP – Check the quality of your UML class diagrams with Constraint Programming

uml standard

UMLtoCSP helps you to check that your UML class diagrams (extended with OCL constraints) satisfy a number of correctness properties, including weak and strong satisfiability (to make sure your model can be instantiated in a way that no constraints are violated) or absence of constraint redundancies among others. Unfortunately, these kind of mistakes are more

Object Constraint Language (OCL) v. 2.4 has now been released


Ed Willink , the driving force behind the standard AND implementation tasks for the OCL language has just announced the availability of OCL 2.4. According to Ed: The OCL 2.4 specification has now been formally adopted and is available from The revision contains the easy maintenance changes that can be done now prior to

Formal semantics for the OCL (Object Constraint Language) – new attempt

dresden ocl logo

OCL (Object Constraint Language) is used everywhere: to define well-formedness rules, query expressions, model transformations,… but (as happens with most languages) a precise definition of the OCL semantics was lacking. Indeed, the OCL standard document from the OMG does include an Appendix A with a partial formal semantics but this was useful more as a

From SQL to OCL – Extracting constraints and derivation rules from relational DBs

sql to ocl

Valerio Cosentino and Salvador Martinez presented in the International Workshop on OCL, Model Constraint and Query Languages (OCL 2013) co-located with MODELS 2013 their work on the extraction of OCL integrity constraints and derived types from relational databases. Valerio briefly describes their approach. The goal of this work is to complement existing works on reverse

The Dresden OCL debugger

dresden ocl logo

Yesterday in the OCL Workshop I saw the presentation of the paper: Tool-Supported Step-By-Step Debugging for the Object Constraint Language, the first debugger (AFAIK) available for the OCL language. I really liked what I saw so I asked Birgit Demuth to share with all of you some more information about the debugger. Enter Birgit. The

OCL Workshop 2013 – Program and papers available

Quick note to let you know that the program and all pdfs of accepted papers are now available here. Hope you find the papers interesting!

MoDELS 2013 – List of Tutorials and Workshops available


You can already check the list of accepted workshops and tutorials for the MoDELS 2013 conference (in Miami next October). Among the workshops, I’d strongly recommend you to take a closer look at the “OCL, Model Constraint and Query Languages” workshop, for sure the most important venue to discuss with experts on OCL and textual

Powered by WordPress