Semantics-based reverse engineering of object-oriented data models

ABSTRACT

We present an algorithm for reverse engineering object-oriented (OO) data models from programs written in weakly-typed languages like Cobol. These models, similar to UML class diagrams, can facilitate a variety of program maintenance and migration activities. Our algorithm is based on a semantic analysis of the program's code, and we provide a bisimulation-based formalization of what it means for an OO data model to be correct for a program.

REFERENCES

• 1: G. Canfora, A. Cimitile, and G. A. D. Lucca. Recovering a conceptual data model from cobol code. In Proc. 8th Intl. Conf. on Softw. Engg. and Knowledge Engg. (SEKE '96), pages 277--284. Knowledge Systems Institute, 1996.
• 2: Peter Harry Eidorff , Fritz Henglein , Christian Mossin , Henning Niss , Morten Heine Sørensen , Mads Tofte, AnnoDomini: from type theory to Year 2000 conversion tool, Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.1-14, January 20-22, 1999, San Antonio, Texas, United States [doi>10.1145/292540.292543]
• 3: R. Komondoor, G. Ramalingam, S. Chandra, and J. Field. Dependent types for program understanding. In Proc. Intl. Conf. on Tools and Algorithms for the Construction and Analysis of Systems, pages 157--173, 2005.
• 4: Robert O'Callahan , Daniel Jackson, Lackwit: a program understanding tool based on type inference, Proceedings of the 19th international conference on Software engineering, p.338-348, May 17-23, 1997, Boston, Massachusetts, United States [doi>10.1145/253228.253351]
• 5: G. Ramalingam , John Field , Frank Tip, Aggregate structure identification and its application to program analysis, Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.119-132, January 20-22, 1999, San Antonio, Texas, United States [doi>10.1145/292540.292553]
• 6: Gregor Snelting , Frank Tip, Understanding class hierarchies using concept analysis, ACM Transactions on Programming Languages and Systems (TOPLAS), v.22 n.3, p.540-582, May 2000 [doi>10.1145/353926.353940]
• 7: Frank Tip , Peter F. Sweeney, Class hierarchy specialization, Acta Informatica, v.36 n.12, p.927-982, Jan. 2000 [doi>10.1007/PL00013298]
• 8: Arie Van Deursen , Leon Moonen, Understanding COBOL Systems using Inferred Types, Proceedings of the 7th International Workshop on Program Comprehension, p.74, May 05-07, 1999
• 9: R. Wille. Restructuring lattice theory: an approach based on hierarchies of concept. In I. Rival, editor, Ordered Sets, pages 445--470. Reidel, Dordecht/Boston, 1982.

INDEX TERMS

Primary Classification:
  D. Software
  D.2 SOFTWARE ENGINEERING
      D.2.7 Distribution, Maintenance, and Enhancement
          Subjects: Restructuring, reverse engineering, and reengineering

Additional Classification:
  F. Theory of Computation
  F.3 LOGICS AND MEANINGS OF PROGRAMS
      F.3.2 Semantics of Programming Languages
          Subjects: Program analysis

General Terms:
Algorithms, Languages

Keywords:
program understanding, type inference