Automated Abstraction for Object-Oriented Models






Working with multiple views eases software 
development complexity since views allow development concerns 
to be broken up and investigated separately. 
On the downside, working with views also 
requires an explicit notion on how to 
exchange information between them ñ a necessity 
caused by the fact that problems and 
solutions described in separate views have to 
be integrated to form a coherent and 
consistent whole. This paper discusses a method 
for automated abstraction of diagrammatic views with 
a major emphasis on class and object 
diagrams. This technique is particularly suited for 
consistency checking and reverse engineering. Our approach 
is also fully tool supported and we 
have since validated both tool and model 
through a series of experiments.