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.

[img]
Preview
PDF
Download (56kB)

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 Areas: A. > School of Science and Technology > Computer Science
A. > School of Science and Technology > Computer Science > Intelligent Environments Research Group
A. > School of Science and Technology > Computer Science > SensoLab group
Item ID: 6279
Depositing User: Devika Mohan
Date Deposited: 13 Jul 2010 05:47
Last Modified: 22 Sep 2015 17:39
URI: http://eprints.mdx.ac.uk/id/eprint/6279

Actions (login required)

Edit Item Edit Item

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