A method for business logic extraction from legacy COBOL code of industrial systems

A.A. Guba, A.V. Kolchin, S.V. Potiyenko


The purpose of this work is to develop a software tool for analysis automation and simplifying of understanding of software systems behavior. Methods for translation, abstraction, debugging and test generation for COBOL are proposed. We developed a software system, which implements the methods.

Problems in programming 2016; 2-3: 17-25


translation; Cobol; modeling; abstraction; test generation; debugging


Cosentino V., Cabot J., and oth. Extracting Business Rules from COBOL: A Model-Based Tool // Working Conference on Reverse Engineering, Koblenz, Germany. - 2013. - P. 483-484.


Hajnal A., Forgacs I. A demand-driven approach to slicing legacy COBOL systems // Journal of software: evolution and process. - Vol. 24. - P. 67-82.


Ning J.Q., Engberts A., Kozaczynski W. Automated support for legacy code understanding // Communs ACM -1994. - Vol. 38. - P. 50-57.


Jones N., Gomard C., and Sestoft P. Partial Evaluation and AutomaticProgram Generation. Prentice Hall International - 1993. - 415 p.

Letichevsky A., Godlevsky A., Letychevskyy O.(jr.), Potiyenko S., Peschanenko V. Properties of VRS predicate transformer // Cybernetics and System Analysis. - 2010. - Vol. 46. - P. 521-532.


Dijkstra E. Guarded commands, nondeterminacy and formal derivation of programs // Communications of the ACM. - 1975. - Vol. 18. - № 8. - P. 453-457.


ITU-T Recommendation Z.151 . User requirements notation (URN), 10/2012.

Guba A., Shushpanov K. Insertion semantics of flat multithreaded models of UCM // USIM. - 2012. -№6. - P.15-22.

Vale M. The evolving algebra semantics of Cobol. Part 1: programs and control. Technical Report CSE-TR-162-93, EECS Dept., University of Michigan. - 1993. - 29 P.

Kolchin A., Letychevskyy A., Potiyenko S. A static method for elimination of redundant dependencies in preconditions of transitions of formal models of transition systems. - 2015. - N 1-2. - P. 127-136.

Kolchin A. V. An automatic method for the dynamic construction of abstractions of states of a formal model // Cybernetics and system analysis. - 2010. - № 4. - P. 70-90.


Kolchin A. V. A method for reduction of analyzed behavior space during verification of formal models of distributed software systems // Artificial intelligence. - 2013. - № 4. - P. 113-126.

Kolchin A.V., Kotlyarov V.P., Drobintsev P.D. Method of test scenario generation in insertion modeling environment // Control systems and machines. - 2012. - N 6. - P. 43-48, 63.

Drobintsev P., Kolchin A., Kotlyarov V., Letichevsky A., Peschanenko V. An approach to creating concretized test scenarios within test automation technology for industrial software projects // Automatic Control and Computer Sciences. - 2013. - Vol. 47(7). - P. 433-442.


DOI: https://doi.org/10.15407/pp2016.02-03.017


  • There are currently no refbacks.