Object Constraint Language (OCL)