Compositional and Relational Reasoning During Class Abstraction

  • Alexander Egyed
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 2863)


Class diagrams are among the most widely used object-oriented design techniques. They are effective in modeling the structure of software systems at any stages of the software life cycle. Still, class diagrams can become as complex and overwhelming as the software systems they describe. This paper describes a technique for abstracting lower-level class structures into higher-level ones by ‘collapsing’ lower-level class patterns into single, higher-level classes and relationships. This paper is an extension to an existing technique that re-interprets the transitive meaning of lower-level classes into higher-level relationships (relational reasoning). The existing technique is briefly summarized. The extensions proposed in this paper are two-fold: This paper augments the set of abstraction rules to also collapse class patterns into higher-level classes (compositional reasoning). While this augmentation is simple and in sync with traditional views of refinement and abstraction, it has drawbacks in defining class features like methods and attributes. This paper thus also demonstrates how to filter low-level class features during abstraction. Our approach requires some human guidance in deciding when to use compositional or relational reasoning but is otherwise fully automated. Our approach is conservative in its results guaranteeing completeness but at the expense of some false positives (i.e., the filter errs in favor of not eliminating in case of doubt). The proposed technique is applicable to model understanding, inconsistency detection, and reverse engineering.


Unify Modeling Language Class Structure Class Diagram Relational Reasoning Unify Modeling Language Class Diagram 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Boehm, B., Egyed, A., Kwan, J., Madachy, R.: Using the WinWin Spiral Model: A Case Study. IEEE Computer, 33–44 (1998)Google Scholar
  2. 2.
    Bourdeau, R.H., Cheng, B.H.C.: A Formal Semantics for Object Model Diagrams. IEEE Transactions on Software Engineering, TSE (1995)Google Scholar
  3. 3.
    Egyed, A.: Semantic Abstraction Rules for Class Diagrams. In: Proceedings of the 15th IEEE International Conference of Automated Software Engineering (ASE), Grenoble, France (September 2000)Google Scholar
  4. 4.
    Egyed, A.: Automated Abstraction of Class Diagrams. ACM Transaction on Software Engineering and Methodology (TOSEM) 11(4), 449–491 (2002)CrossRefGoogle Scholar
  5. 5.
    Egyed, A., Horling, B., Becker, R., Balzer, R.: Visualization and Debugging Tools. In: Lesser, V., Ortiz Jr., C.L., Tambe, M. (eds.) Distributed Sensor Networks: A multiagent perspective, Kluwer Academic Publishers, Boston (2003)Google Scholar
  6. 6.
    Egyed, A., Kruchten, P.: Rose/Architect: A Tool to Visualize Architecture. In: Proceedings of the 32nd Hawaii International Conference on System Sciences (HICSS) (January 1999)Google Scholar
  7. 7.
    Fagan, M.E.: Advances in software inspections. IEEE Transactions on Software Engineering (TSE) 12(7), 744–751 (1986)Google Scholar
  8. 8.
    Fahmy, H., Holt, R.C.: Using Graph Rewriting to Specify Software Architectural Transformations. In: Proceedings of the 15th IEEE International Conference on Automated Software Engineering (ASE), Grenoble, France, September 2000, pp. 187–196 (2000)Google Scholar
  9. 9.
    Finkelstein, A., Kramer, J., Nuseibeh, B., Finkelstein, L., Goedicke, M.: Viewpoints: A Framework for Integrating Multiple Perspectives in System Development. International Journal on Software Engineering and Knowledge Engineering, 31–58 (1991)Google Scholar
  10. 10.
    Lieberherr, K.J., Hursch, W.L., Xiao, C.: Object-Extending Class Transformations. Journal Formal Aspects of Computing 6(4), 391–416 (1994)zbMATHCrossRefGoogle Scholar
  11. 11.
    Racz, F.D., Koskimies, K.: Tool-Supported Compression of UML Class Diagrams. In: France, R.B., Rumpe, B. (eds.) UML 1999. LNCS, vol. 1723, pp. 172–187. Springer, Heidelberg (1999)CrossRefGoogle Scholar
  12. 12.
    Rumbaugh, J., Jacobson, I., Booch, G.: The Unified Modeling Language Reference Manual. Addison-Wesley, Reading (1999)Google Scholar
  13. 13.
    Snelting, G., Tip, F.: Understanding Class Hierarchies Using Concept Analysis. ACM Transactions on Programming Languages and Systems, 540–582 (2000)Google Scholar
  14. 14.
    Tarr, P., Osher, H., Harrison, W., Sutton Jr., S.M.: N Degrees of Separation: Multi- Dimensional Separation of Concerns. In: Proceedings of the 21st International Conference on Software Engineering (ICSE 21), May 1999, pp. 107–119 (1999)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2003

Authors and Affiliations

  • Alexander Egyed
    • 1
  1. 1.Teknowledge CorporationMarina Del ReyUSA

Personalised recommendations