Corpus ID: 15526448

A Generic Framework for Model-Driven Analysis of Heterogeneous Legacy Software Systems

@inproceedings{Saeidi2017AGF,
  title={A Generic Framework for Model-Driven Analysis of Heterogeneous Legacy Software Systems},
  author={Amir Saeidi and Jurriaan Hage and Ravi Khadka and Slinger Jansen},
  year={2017}
}
Reverse engineering of legacy systems is a process that involves analysis and understanding of the system. Some people believe in-depth knowledge of the system is a prerequisite for its analysis, whereas others, ourselves included, argue that only specific knowledge is required on a per-project basis. To give support for the latter approach, we propose a generic framework that employs the techniques of non-determinism and abstraction to enable us to build tooling for analyzing large systems. As… 
1 Citations
A Generic Framework for the Analysis of Heterogeneous Legacy Software Systems
TLDR
A generic framework that employs the techniques of non-determinism and abstraction to enable us to build tooling for analyzing large systems and introduces an extensible imperative procedural language called KERNEL which can be used for constructing an abstract representation of the control flow and data flow of the system.

References

SHOWING 1-10 OF 33 REFERENCES
Gelato: GEneric language tools for model-driven analysis of legacy software systems
TLDR
An integrated set of language-independent (generic) tools for analyzing legacy software systems: Gelato, which consists of a generic extensible imperative language called Kernel which provides a separation between syntactic and semantic analysis.
A generic architecture for data flow analysis to support reverse engineering
TLDR
This paper presents a flexible and generic software architecture for describing and performing language-independent data flow analysis which allows such transparent multi-language analysis.
Semantics-based Reverse Engineering
TLDR
This paper introduces and advocates a powerful approach to the semantic analysis of programs for reverse engineering purposes, which has its roots in the formal static analysis methods developed in modern programming language theory.
The ASF+SDF Meta-environment: A Component-Based Language Development Environment
TLDR
A completely new, component-based, version of the Asf+Sdf Meta-environment, used in a variety of academic and commercial projects ranging from formal program manipulation to conversion of COBOL systems is built.
Cross-Language Code Analysis and Refactoring
  • P. Mayer, Andreas Schroeder
  • Computer Science
    2012 IEEE 12th International Working Conference on Source Code Analysis and Manipulation
  • 2012
TLDR
This paper advocates a generic approach to understanding, analyzing and refactoring cross-language code by explicitly specifying and exploiting semantic links with the aim of giving developers the same amount of control over and confidence in multi-language programs they have for single- language code today.
RASCAL: A Domain Specific Language for Source Code Analysis and Manipulation
  • P. Klint, T. Storm, J. Vinju
  • Computer Science
    2009 Ninth IEEE International Working Conference on Source Code Analysis and Manipulation
  • 2009
TLDR
Rascal is a domain-specific language that takes away most of this boilerplate by integrating source code analysis and manipulation at the conceptual, syntactic, semantic and technical level.
A method engineering based legacy to SOA migration method
TLDR
A legacy to SOA migration method that does not single out the migration feasibility and technical perspectives, but combines these two perspectives of migration, is proposed and is found to be appropriate and effective in extracting services from legacy code with the aim of reusing these services in new configurations.
Program comprehension in multi-language systems
TLDR
This paper presents an approach to program comprehension in multi-language systems characterized by a high amount of source codes in various languages for programming, database definition and job control using the EER/GRAL approach to graph-based conceptual modeling.
Model-driven Modernisation of Java Programs with JaMoPP
The history of all programming languages exposes the introduction of new language features. In the case of Java— a widespread general purpose language—multiple language extensions were applied over
Program Analysis and Specialization for the C Programming Language
TLDR
This thesis presents an automatic partial evaluator for the Ansi C programming language, and proves that partial evaluation at most can accomplish linear speedup, and develops an automatic speedup analysis.
...
1
2
3
4
...