Category Archives: OCL

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

Lightweight mechanism to reason on String values


Our paper Lightweight String Reasoning in Model Finding by Fabian Büttner and myself has been accepted for publication in the Journal of Systems and Software Modeling (SoSyM). The full paper (preprint version) is freely available here. The abstract is the following: Models play a key role in assuring software quality in the model-driven approach. Precise

OCL Workshop 2012 – Proceedings available


The proceedings of the 2012 Workshop on OCL and Textual Modelling (OCL 2012) are now available on the ACM digital library . Remember that a summary of the papers and discussions from the workshop can be read here. Preproceedings versions of all papers are also available from the Program page in the Workshop site If

Powered by WordPress