Defining OCL expressions using templates.
Official URL: http://www.eis.mdx.ac.uk/staffpages/tonyclark/Pape...
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 . 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. Middlesex University Schools and Centres > School of Science and Technology > Computer Science|
A. Middlesex University Schools and Centres > School of Science and Technology > Computer Science > SensoLab group
A. Middlesex University Schools and Centres > School of Science and Technology > Computer Science > Intelligent Environments group
|Deposited On:||13 Jul 2010 05:47|
|Last Modified:||10 Jan 2015 08:08|
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