Defining OCL expressions using templates.

Willans, James and Sammut, Paul and Maskeri, Girish and Evans, Andy and Clark, Tony (2002) Defining OCL expressions using templates. Technical Report. King's College.


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 Areas:School of Science and Technology > Science & Technology
ID Code:6279
Useful Links:
Deposited On:13 Jul 2010 05:47
Last Modified:23 Jul 2014 12:01

Repository staff only: item control page

Full text downloads (NB count will be zero if no full text documents are attached to the record)

Downloads per month over the past year