Zusammenfassung
Der Beitrag beschäftigt sich mit der Frage, wie COBOL-Programme unter der Verwendung der logischen Programmiersprache Prolog analysiert werden können, um ihre logische Spezifikation zu erhalten. Ein wesentlicher Gesichtspunkt ist, ob eine Form der Spezifikation ableitbar ist, die semantisch äquivalent und ausführbar ist. Es wird eine Spezifikationssprache COPRA definiert, die eine eingeschränkte Teilmenge von Prolog ist. Sie dient zunächst dazu, zu zeigen, wie verschiedene imperative Konstrukte von COBOL wie GOTOs und Subroutinen-Aufrufe dargestellt werden können. Die Spezifikation wird aus dem COBOL-Programm automatisch erzeugt. Sie kann als Ausgangspunkt für Änderungen des Quellprogramms auf einer höheren (und sichereren) Ebene dienen.
Mit der beschriebenen Sprache COPRA werden Ergebnisse von Michael Nitsche posthum veröffentlicht.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Literatur
Aho, A. V.; Sethi, R; Ullman, J.D.: Compilers — Principles, Techniques and Tools. Addison-Wesley, 1986.
American National Standard for Information Systems — Programming Language — COBOL, ANSI X3. 1985, New York; American National Standards Institute, Inc., 1985.
Bergmann, J.: Reverse Software-Engineering, KI (1990) 52–58.
Breuer, P.T.; Lano, K.: Creating Specifications from Code: Reverseengineering Techniques. Software Maintenance: Research and Practice 3 (1991) 145–162.
Brown, G.D.: Advanced ANSI COBOL with Structured Programming, John Wiley & Sons, 1992.
Chikofsky, E.J.; Cross, J.H.: Reverse Engineering and Design Recovery. A Taxonomy. IEEE Software 7 (1990) 13–18.
Chikofsky, E.J.: Reverse Engineering of Software and Data. Tutorial held in conjunction with 4th European Software Engineering Conference, Garmisch, 1993.
Dijkstra, E.W.: GOTO Statement Considered Harmful. Comm. ACM 11 (1968) 147–148.
Geske, U.; Nitsche, M.: Reverse Engineering of COBOL Programs into Prolog Programs. Proc. Workshop on Appl. of Logic Progr. to Software Engineering in conjunction with ICLF94, Santa Margherita Ligure, Italy, June 1994.
Liu, Zheng-Yang: Automating Software Evolution. Int. Journal of Software and Knowledge Engineering, 5(1995)73–87.
Micro Focus COBOL/2. Palo Alto, CA; Micro Focus Inc., 1991.
Rock-Evans, R; Hales, K.: Ovum-Report. Reverse Engineering: Markets, Methods and Tools. Ovum Ltd., 1990.
van Zuylen, H.J. (ed.): The REDO Compendium: Reverse Engineering for Software Maintenance. John Wiley & Sons, 1993.
Editor information
Rights and permissions
Copyright information
© 1996 Springer Fachmedien Wiesbaden
About this chapter
Cite this chapter
Geske, U., Nitsche, M. (1996). Rengineering von COBOL — Verwendung der Logischen Programmierung. In: Lehner, F. (eds) Softwarewartung und Reengineering. Information Engineering und IV-Controlling. Deutscher Universitätsverlag, Wiesbaden. https://doi.org/10.1007/978-3-663-08951-3_16
Download citation
DOI: https://doi.org/10.1007/978-3-663-08951-3_16
Publisher Name: Deutscher Universitätsverlag, Wiesbaden
Print ISBN: 978-3-8244-6294-0
Online ISBN: 978-3-663-08951-3
eBook Packages: Springer Book Archive