Example Applications

The analysis and transformation framework just described can be used in a wide range of applications. In [22] generic analysis functions are used to extract to-be-classes using cluster analysis. In [23] generic analysis support is used to implement type inference for COBOL systems. Rewrite rules using COBOL concrete syntax extract type information about variables occurring in a COBOL system. This information is then used to infer type equivalences, subtype relations, literal elements contained in types, and enumeration types.

As it comes to software renovation factories, we have automated some changes that are needed for correcting the Year 2000 problem. In [54] native patterns are used to remedy a difficult to recognize leap year problem. Another example is the rejuvenation of old systems. In [51] we report on transformations for the restructuring of COBOL/SQL systems. In [17] the control flow of a COBOL/CICS legacy system is normalized. This restructuring improves maintainability, improves performance, and enables connection to the Internet/Intranet using an commercial-off-the-shelf Java to CICS Internet gateway.