Comprehension and transformation of object-oriented models