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)

[img]
Preview
PDF
TemplateOCL.pdf
All rights reserved.

Download (56kB) | Preview
Official URL: http://www.kcl.ac.uk/nms/depts/informatics/researc...

Abstract

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
URI: https://shura.shu.ac.uk/id/eprint/11919

Actions (login required)

View Item View Item

Downloads

Downloads per month over past year

View more statistics