Defining OCL expressions using templates.

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

[img]
Preview
PDF
Download (56kB) | Preview

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 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: 19 Jun 2021 04:39
URI: https://eprints.mdx.ac.uk/id/eprint/6279

Actions (login required)

View Item View Item

Statistics

Downloads
Activity Overview
383Downloads
446Hits

Additional statistics are available via IRStats2.