The research focuses on defining a reverse engineering methodology for legacy applications. Legacy applications can be represented as Parameterized Timed Transition Systems (a subclass of the Parameterized ATTSs defined in Research Activity “Formal Verification”). As a consequence, the research aims at defining (1) XAL, an XML-based language for representing Parameterized Timed Transition Systems, (2) an algorithm that translates a legacy application written in a high-level programming language (e.g., Java or PhP) in XAL, and (3) a methodology for analyzing (e.g. using model checking defined in Research Activity “Formal Verification”) and re-engineering a legacy application represented in XAL. Part of the results have been implemented in a tool available at:  http://www.computervaritt.it/xal/ .
|Laboratory SILab at DII|
|Contact Person: Luca Spalazzi|