| 1 (2007) | |||||||||||||||
Abstract | |||||||||||||||
| Abstract The main objectives of OCL are to restrict UML models by additional constraints and to clarify the denition of the UML meta model. For certain applications, however, it is crucial for the modeler to have a exible and precisely dened access mechanism to the meta level of UML models. In the present paper we sketch such a modeling scenario and we argue that the current denition of OclType is insucient. We propose an alternative denition based on metamodeling the type system of OCL in such a way that it is fully integrated with the UML meta model. This also claries some ambiguous issues in the OCL language speci cation and makes the re exion mechanisms in OCL explicit. 1 | |||||||||||||||
Publication details | |||||||||||||||
| |||||||||||||||