{"title":"Research on technology of transforming Abstract Syntax Tree of JAVA Language to Implementation Layer of Procedure Blueprint","authors":"Pei-Hong Tu, Jian-bin Liu","doi":"10.1109/ICISE.2010.5689146","DOIUrl":null,"url":null,"abstract":"In the process of reverse-engineering software systems and then transforming information extracted into Procedure Blueprint models, the process of transforming Abstract Syntax Tree to Implementation Layer of Procedure Blueprint is the key. In this paper, we propose the technology of transforming Abstract Syntax Tree of JAVA Language to implementation layer of Procedure Blueprint. We specify the mapping rules of the transforming process with first-order logic, and then we prove the consistency and validity of the process. We show an example of this process and assess the practical application of the technology.","PeriodicalId":206435,"journal":{"name":"The 2nd International Conference on Information Science and Engineering","volume":"177 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2010-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"1","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"The 2nd International Conference on Information Science and Engineering","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/ICISE.2010.5689146","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 1
Abstract
In the process of reverse-engineering software systems and then transforming information extracted into Procedure Blueprint models, the process of transforming Abstract Syntax Tree to Implementation Layer of Procedure Blueprint is the key. In this paper, we propose the technology of transforming Abstract Syntax Tree of JAVA Language to implementation layer of Procedure Blueprint. We specify the mapping rules of the transforming process with first-order logic, and then we prove the consistency and validity of the process. We show an example of this process and assess the practical application of the technology.
京公网安备 11010802042870号
京ICP备2023020795号-1
分享
求助内容：
应助结果提醒方式：
扫码关注我们
