A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf
.
Semantics of OCL Operation Specifications
2004
Electronical Notes in Theoretical Computer Science
The semantics of OCL operation specifications is discussed from a model theoretic perspective. It is argued that the semantics of operation specifications as defined in the OCL 2.0 proposal is not compatible with the view of operation specifications as contracts between a client and a supplier. As a solution, a semantics of OCL operation specifications based on standard model theory is presented. This semantics introduces the concept of a model over a UML class signature -which is a labelled
doi:10.1016/j.entcs.2003.09.006
fatcat:jyjrvgnznjgodb5obucxmhsuya