Semantically-driven flexible division in object oriented models