School of Computing

Embedding OCL Expressions in YATL

Octavian Patrascoiu and Peter Rodgers

In Proceedings of the "OCL and Model Driven Engineering" wokshop, UML'04, pages 182-196, October 2004.


Modeling is a technique used extensively in industry to define software systems, the UML being the most prominent example. With the increased use of modeling techniques has come the desire to use model transformations. While the current OMG standards such as Unified Modeling Language (UML) and Meta Object Facility (MOF) provide a well-established foundation for defining models, no such well-established foundation exists for transforming models. The current paper describes how the OCL expressions are integrated in a transformation language called YATL (Yet Another Transformation Language) to provide support for model querying. The paper presents also the transformation environment and the main features of YATL.

Download publication 275 kbytes (PDF)

Bibtex Record

author = {Octavian Patrascoiu and Peter Rodgers},
title = {{E}mbedding {OCL} {E}xpressions in {YATL}},
month = {October},
year = {2004},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {},
    publication_type = {conference},
    submission_id = {23483_1098099711},
    booktitle = {Proceedings of the "OCL and Model Driven Engineering" wokshop, UML'04},

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

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

Last Updated: 21/03/2014