论文部分内容阅读
随着社会信息化的不断深入,软件的应用领域不断拓展,软件系统复杂程度不断增加,许多现有的软件需要不断升级维护以适应新的应用的需求,从而对软件维护以及开发的效率提出了更高的要求。在此背景下,逆向工程、软件复用、再工程相关技术得到快速发展。作为过程蓝图程序设计方法的一个分支的过程蓝图逆向工程技术对过程蓝图的应用与发展显得极其重要。通过对遗产系统实施逆向工程,生成过程蓝图模型,可以充分利用过程蓝图在程序过程建模方面的优势,实现软件开发各阶段表示的统一。同时,过程蓝图算法模式库为开发人员提供了可复用的白盒组件,过程蓝图算法模式的逆向抽取技术可快速构建过程蓝图算法模式库,同时可分析遗产系统中使用的算法,有效地评估系统的质量,并为系统的重构与演化提供依据。 本文详细介绍过程蓝图逆向转换和算法实现模式抽取技术。首先,我们用一阶逻辑对过程蓝图抽象语法树进行定义,提出过程蓝图抽象语法树到过程蓝图实现层的逆向映射规则并证明其有效性。然后,我们对过程蓝图算法模式进行形式化定义,提出过程蓝图算法模式的元模型。我们详细介绍过程蓝图逆向转换和算法实现模式抽取方法。最后,我们设计了一个基于过程蓝图逆向转换和算法实现模式抽取技术的支撑工具。大量程序实例测试证明了该方法的有效性。