Migrating Esope to Fortran 2008 using model transformations
Younoussa Sow, Nicolas Anquetil, L\'eandre Brault, St\'ephane Ducasse

TL;DR
This paper presents an automated model-driven approach and tool for migrating legacy Esope code, a proprietary extension of FORTRAN 77, to modern Fortran 2008, ensuring readability and abstraction preservation.
Contribution
It introduces a novel model transformation-based method and tool for migrating proprietary FORTRAN extensions to Fortran 2008, addressing legacy code modernization challenges.
Findings
Successfully migrated Esope code to Fortran 2008 with maintained readability.
The approach supports scalability and adaptability to evolving requirements.
Discussion of advantages, limitations, and maintainability of the migration method.
Abstract
Legacy programming languages such as FORTRAN 77 still play a vital role in many industrial applications. Maintaining and modernizing these languages is challenging, especially when migrating to newer standards such as Fortran 2008. This is exacerbated in the presence of legacy proprietary extensions on such legacy languages, because their semantics are often based on old context (limits of legacy language, domain logic,...). This paper presents an approach for automatically migrating FORTRAN 77 with a proprietary extension, named Esope, to Fortran 2008. We introduce a tool that converts Esope source code to Fortran 2008. While supporting readability of the generated code, we want to maintain the level of abstraction provided by Esope. Our method uses model-driven engineering techniques, with transformations to generate a target model from which we export easy-to-read Fortran 2008 source…
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsModel-Driven Software Engineering Techniques · Formal Methods in Verification · Advanced Software Engineering Methodologies
