Semantic abstraction rules for class diagrams

Author

Egyed, Alexander

Author_Institution

Dept. of Comput. Sci., Univ. of Southern California, Los Angeles, CA, USA

fYear

2000

fDate

2000

Firstpage

301

Lastpage

304

Abstract

When dealing with object-oriented models like class and object diagrams, designers easily get overwhelmed by large numbers of model elements and their interdependencies. To deal with the complexities of large-scale software models, this paper presents rules and methods for automated abstraction. Our approach is tool supported and allows designers to periodically “zoom out” of a model to investigate and reason about its bigger picture. Our technique has also proven to be well-suited for consistency checking and reverse engineering

Keywords

computer aided software engineering; diagrams; formal verification; large-scale systems; object-oriented methods; reverse engineering; software tools; automated abstraction; class diagrams; consistency checking; large-scale software models; model element interdependencies; model overview; object diagrams; object-oriented design; object-oriented models; reverse engineering; semantic abstraction rules; software tool support; Computer science; Concrete; Joining processes; Navigation; Object oriented modeling; Packaging; Programming; Reverse engineering; Software design; Unified modeling language;

fLanguage

English

Publisher

ieee

Conference_Titel

Automated Software Engineering, 2000. Proceedings ASE 2000. The Fifteenth IEEE International Conference on

Conference_Location

Grenoble

ISSN

1938-4300

Print_ISBN

0-7695-0710-7

Type

conf

DOI

10.1109/ASE.2000.873683

Filename

873683