Research on technology of transforming Abstract Syntax Tree of JAVA Language to Implementation Layer of Procedure Blueprint

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.