License
When quoting this document, please refer to the following
DOI: 10.4230/LIPIcs.ECOOP.2016.25
URN: urn:nbn:de:0030-drops-61195
URL: http://drops.dagstuhl.de/opus/volltexte/2016/6119/
Go to the corresponding LIPIcs Volume Portal


Wang, Chenglong ; Jiang, Jiajun ; Li, Jun ; Xiong, Yingfei ; Luo, Xiangyu ; Zhang, Lu ; Hu, Zhenjiang

Transforming Programs between APIs with Many-to-Many Mappings

pdf-format:
LIPIcs-ECOOP-2016-25.pdf (0.8 MB)


Abstract

Transforming programs between two APIs or different versions of the same API is a common software engineering task. However, existing languages supporting for such transformation cannot satisfactorily handle the cases when the relations between elements in the old API and the new API are many-to-many mappings: multiple invocations to the old API are supposed to be replaced by multiple invocations to the new API. Since the multiple invocations of the original APIs may not appear consecutively and the variables in these calls may have different names, writing a tool correctly to cover all such invocation cases is not an easy task. In this paper we propose a novel guided-normalization approach to address this problem. Our core insight is that programs in different forms can be semantics-equivalently normalized into a basic form guided by transformation goals, and developers only need to write rules for the basic form to address the transformation. Based on this approach, we design a declarative program transformation language, PATL, for adapting Java programs between different APIs. PATL has simple syntax and basic semantics to handle transformations only considering consecutive statements inside basic blocks, while with guided-normalization, it can be extended to handle complex forms of invocations. Furthermore, PATL ensures that the user-written rules would not accidentally break def-use relations in the program. We formalize the semantics of PATL on Middleweight Java and prove the semantics-preserving property of guided-normalization. We also evaluated our language with three non-trivial case studies: i.e. updating Google Calendar API, switching from JDom to Dom4j, and switching from Swing to SWT. The result is encouraging; it shows that our language allows successful transformations of real world programs with a small number of rules and little manual resolution.

BibTeX - Entry

@InProceedings{wang_et_al:LIPIcs:2016:6119,
  author =	{Chenglong Wang and Jiajun Jiang and Jun Li and Yingfei Xiong and Xiangyu Luo and Lu Zhang and Zhenjiang Hu},
  title =	{{Transforming Programs between APIs with Many-to-Many Mappings}},
  booktitle =	{30th European Conference on Object-Oriented Programming (ECOOP 2016)},
  pages =	{25:1--25:26},
  series =	{Leibniz International Proceedings in Informatics (LIPIcs)},
  ISBN =	{978-3-95977-014-9},
  ISSN =	{1868-8969},
  year =	{2016},
  volume =	{56},
  editor =	{Shriram Krishnamurthi and Benjamin S. Lerner},
  publisher =	{Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{http://drops.dagstuhl.de/opus/volltexte/2016/6119},
  URN =		{urn:nbn:de:0030-drops-61195},
  doi =		{10.4230/LIPIcs.ECOOP.2016.25},
  annote =	{Keywords: Program transformation, API migration}
}

Keywords: Program transformation, API migration
Seminar: 30th European Conference on Object-Oriented Programming (ECOOP 2016)
Issue Date: 2016
Date of publication: 13.07.2016


DROPS-Home | Fulltext Search | Imprint Published by LZI