Object Modeling with the OCL (ocl)