Object Constraint Language (OCL) 2.0 Source