Object Modeling with the OCL 2002