Geodesic
Semantics-driven migration of Java programs: a practical experience
Modelirovanie i analiz informacionnyh sistem, Tome 24 (2017) no. 6, pp. 677-690

Voir la notice de l'article provenant de la source Math-Net.Ru

The purpose of the study is to demonstrate the feasibility of automated code migration to a new set of programming libraries. Code migration is a common task in modern software projects. For example, it may arise when a project should be ported to a more secure or feature-rich library, a new platform or a new version of an already used library. The developed method and tool are based on the previously created by the authors a formalism for describing libraries semantics. The formalism specifies a library behaviour by using a system of extended finite state machines (EFSM). This paper outlines the metamodel designed to specify library descriptions and proposes an easy to use domain-specific language (DSL), which can be used to define models for particular libraries. The mentioned metamodel directly forms the code migration procedure. A process of migration is split into five steps, and each step is also described in the paper. The procedure uses an algorithm based on the breadth-first search extended for the needs of the migration task. Models and algorithms were implemented in the prototype of an automated code migration tool. The prototype was tested by both artificial code examples and a real-world open source project. The article describes the experiments performed, the difficulties that have arisen in the process of migration of test samples, and how they are solved in the proposed procedure. The results of experiments indicate that code migration can be successfully automated.
Keywords: software library, behavioral description
Mots-clés : code migration, program transformation. 
@article{MAIS_2017_24_6_a1,
     author = {A. O. Aleksyuk and V. M. Itsykson},
     title = {Semantics-driven migration of {Java} programs: a practical experience},
     journal = {Modelirovanie i analiz informacionnyh sistem},
     pages = {677--690},
     publisher = {mathdoc},
     volume = {24},
     number = {6},
     year = {2017},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/MAIS_2017_24_6_a1/}
}
TY  - JOUR
AU  - A. O. Aleksyuk
AU  - V. M. Itsykson
TI  - Semantics-driven migration of Java programs: a practical experience
JO  - Modelirovanie i analiz informacionnyh sistem
PY  - 2017
SP  - 677
EP  - 690
VL  - 24
IS  - 6
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/MAIS_2017_24_6_a1/
LA  - ru
ID  - MAIS_2017_24_6_a1
ER  - 
%0 Journal Article
%A A. O. Aleksyuk
%A V. M. Itsykson
%T Semantics-driven migration of Java programs: a practical experience
%J Modelirovanie i analiz informacionnyh sistem
%D 2017
%P 677-690
%V 24
%N 6
%I mathdoc
%U http://geodesic.mathdoc.fr/item/MAIS_2017_24_6_a1/
%G ru
%F MAIS_2017_24_6_a1
A. O. Aleksyuk; V. M. Itsykson. Semantics-driven migration of Java programs: a practical experience. Modelirovanie i analiz informacionnyh sistem, Tome 24 (2017) no. 6, pp. 677-690. http://geodesic.mathdoc.fr/item/MAIS_2017_24_6_a1/