School of Computing

OCL: Implementing the Standard

David Akehurst and Octavian Patrascoiu

In OCL2.0-"Industry standard or scientific playground?" - Proceedings of the UML'03 workshop, pages 182-196. Electronic Notes in Theoretical Computer Science, November 2003.


OCL 2.0 is the newest version of the OMG�s constraint language to accompany their suit of Object Oriented modelling languages. The use of OCL as an accompanying constraint and query language to modelling with these languages is essential. As tools are built to support the modelling languages, it is also necessary to implement the OCL. This paper reports our experience of implementing OCL based on the latest version of the OMG�s OCL standard. We provide an ecient LALR grammar for parsing the language and describe an architecture that enables the language to be bridged to any OO modelling language. In addition we give feedback on problems and ambiguities discovered in the standard, with some suggested solutions.

Download publication 370 kbytes (PDF)

Bibtex Record

author = {David Akehurst and Octavian Patrascoiu},
title = {{OCL}: {I}mplementing the {S}tandard},
month = {November},
year = {2003},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {},
    publication_type = {inproceedings},
    submission_id = {10221_1069241657},
    booktitle = {OCL2.0-"Industry standard or scientific playground?" - Proceedings of the UML'03 workshop},
    publisher = {Electronic Notes in Theoretical Computer Science},

School of Computing, University of Kent, Canterbury, Kent, CT2 7NF

Enquiries: +44 (0)1227 824180 or contact us.

Last Updated: 21/03/2014