Abstract
In this paper we describe a COBOL-program restructuring tool currently under development. The tool is constructed using program transformations executed by the TAMPR program transformation system. We discuss the COBOL knowledge embodied in the transformations and how they restructure an example COBOL program developed in the mid–1970s. While the tool is not yet a robust commercial product, early use for restructuring COBOL programs demonstrates the power and flexibility of this transformation–based approach.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
References
Bennett K.H. (1991). Automated Support of Software Maintenance, Information and Software Technology, 33:74-85.
Boyle J.M., Harmer T.J. and Winter V.W. (1996). The TAMPR Program Transformation System, Proceedings of the Durham Transformation Workshop, 1-2 April.
Boyle J.M., Harmer T.J. and Winter V.W. (1997). The TAMPR Program Transformation System: Simplifying the Development of Numerical Software, In Modern Software Tools for Scientific Computing, editors Arge, Erland and Bruaset, Are Magnus and Langtangen, Hans Petter, pages 353–372, Birhauser, Boston.
Boyle J.M. and Muralidharan M.N (1984). Program reusability through program transformation, IEEE Trans. Software Eng., 10:574-88.
Boyle J.M. and Harmer T.J. (1992). A Practical Functional Program for the CRAY X-MP, Journal of Functional Programming, 2:81-126.
Bowen J., Breuer P. and Lano K. (1993). A compendium of formal techniques for software maintenance, Software Engineering Journal, 8:253-262.
Burson S., Kotik G.B. and Markosian L.Z. (1990). A Program Transformation Approach to Automating Software Re-engineering, Proc. 14th Annual Int. Computer Software & Applications Conference (COMPSAC), pages 314-322.
Burstall R.M and Darlington J. (1977). A Transformation System for Developing Recursive Programs, ACM Journal, 24:44–67.
Edwards H.M. and Munro M. (1993). RECAST: reverse engineering from COBOL to SSADM specification, Proceedings the International Conference on Software Engineering, pages 499-508, IEEE Computer Society Press.
Kozaczynski W., Ning J.Q. and Engberts A. (1993). Concept recognition-based program transformation, Proceedings of the International Conference on Software Maintenance, pages 73-82, IEEE Computer Society Press 73-82.
Fitzpatrick S., Harmer T.J., Stewart A., Clint M. and Boyle JM (1997). The Automated Transformation of Abstract Specifications of Numerical Algorithms into Efficient Array Processor Implementations, Science of Computer Programming, 28:1–41.
Kozaczynski W., Ning J.Q. and Engberts A. (1992). Program concept recognition and transformation, IEEE Trans. Software Eng., 18:1065-1075.
Sommerville I. (1996). Software Engineering, Addison-Wesley.
Smith W. (1990). KIDS: A Semiautomatic Program Development System, IEEE Transactions on Software Engineering, 16:1024-1043.
Ward M.P. (1995). Reverse Engineering through formal transformations: Knuth's' polynomial addition' algorithm, Computer Journal, 37:795-813.
Winter, V.W. and Boyle, J.M. (1996). Proving Refinement Transformations for Deriving High-Assurance Software, Proceedings of the IEEE High-Assurance Systems Engineering Workshop, Niagara on the Lake, Ontario, Canada, Oct. 22, 1996.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Harmer, T.J., McParland, P.J. & Boyle, J.M. Transformations to Restructure and Re–engineer COBOL Programs. Automated Software Engineering 5, 321–345 (1998). https://doi.org/10.1023/A:1008656708551
Issue Date:
DOI: https://doi.org/10.1023/A:1008656708551