From: Jurgen Vinju To: Multiple recipients of list PEM <> Date: Tue, 23 Jan 2001 13:27:30 +0100 Subject: PEM - Steven Klusener - 25.01.01 Dear collegues, The first PEM of 2001 is by Steven Klusener. This announcement can be found with links at COBOL transformations using the new MetaEnvironment- Proof of Concept Date: 25.01.01 Time: 10:00 Venue: M2.80 CWI Speaker: Steven Klusener Title: COBOL transformations using the new MetaEnvironment- Proof of Conce pt In the autumn of 2000 (september - december) the Software Improvement Company has performed a project called "Proof of Concept cobol Conversion Tooling" for ABN AMRO, in cooperation with CWI (notably Mark, Jurgen and Pieter) and VU (Chris). The context of this project is the wish of ABN AMRO to migrate their large Cobol portfolio from a cobol'74 dialect to a more modern Cobol '85 dialect (with some Cobol 2000 flavour). Because there are no commercial tools available yet they have asked us, which has lead to this Proof of Concept in which we have implemented 8 transformation rules. Examples of these rules are: * The addition of the explicit scope terminator "END-IF" to IF-statements that are implicitly closed with a dot; * The replacement of nested IF-statements with an EVALUATE-statement (the Cobol case statement). We also have added 2 GO-TO elimination rules developed by Mark van den Brand, Alex Sellink and Chris Verhoef. Currently Hans Zaadnoordijk (an "afstudeerder" of UvA) is working (among other things) on the migration of the GOTO-elimination work to the new Meta-environment. Hans has also contributed to the Proof of Concept, although his work will not be presented in my talk in great detail. This project was also a test case for the new ASF+SDF Meta-environment. Although we have encountered several bugs in the beginning, which have been solved quite fast by Mark and Jurgen, the succes of the project was mainly due to the strength of the new Meta-environment. In my talk I will discuss the following issues * The Project * An overview; * The motivation of ABN AMRO; * ASF+SDF examples of some rules; * Using markers to define the layout of rewritten syntax; * Some figures. An infrastructure for Trafo-tooling (under construction) * A (very small) framework for Unit Testing; * Stand-alone generation of parse tables, etc.; * Combining rules depending on the customer's needs. Have a nice day. _________________________________________________________________ The programming environment meetings are a forum for the presentation and discussion of new ideas, ongoing and finished work. A typical meeting addresses a subject in the area of programming environments, program generation, algebraic specification, term rewriting, parsing, etc. A presentation ideally takes between 45 and 90 minutes. Meetings taking longer than 45 minutes are interrupted by a coffeebreak. Most Thursdays, a meeting is held which starts at 10:00 am. in one of the rooms at CWI/WINS. Exceptionally, dates or times may change. The program of the meetings is available on WWW: http://www.cwi.nl/~jurgenv/pem/index.html _________________________________________________________________