Object Modeling with the OCL The Rationale Behind the Object Constraint Language | EKB DL