Object Modeling with the OCL