Defining OCL expressions using templates.

WILLANS, James, SAMMUT, Paul, MASKERI, Girish, EVANS, Andy and CLARK, Anthony (2002). Defining OCL expressions using templates. Technical Report. King's College London. (Unpublished)

All rights reserved.

Download (56kB) | Preview
Official URL:


OCL expressions are an essential part of UML. The current versions of OCL fail to have a meta-model which means that the integration of OCL with the UML meta-model cannot be formally defined [1]. This can result in ambiguous descriptions of systems which may compromise designs. The need to redesign the OCL has been addressed by a number of proposals submitted to the OMG. In this paper we demonstrate how a definition for OCL can be stamped out from a small number of templates. Such an approach enables a high level of reuse and an increased confidence that the definition is correct. This work forms part of the 2U consortium’s efforts for the definition of UML 2.0.

Item Type: Monograph (Technical Report)
Research Institute, Centre or Group - Does NOT include content added after October 2018: Cultural Communication and Computing Research Institute > Communication and Computing Research Centre
Departments - Does NOT include content added after October 2018: Faculty of Science, Technology and Arts > Department of Computing
Depositing User: Tony Clark
Date Deposited: 07 Apr 2016 11:04
Last Modified: 12 May 2021 19:11

Actions (login required)

View Item View Item


Downloads per month over past year

View more statistics