关键词:
EGCL语言
Java语言
软件重用
程序转换
可重用库
摘要:
软件开发的自动化一直是软件工程领域的一个研究热点和难点.按照薛锦云教授提出的分划递推法等理论,计算机工作者可以充分地发挥自己的创造性,开发出由RADL算法描述语言描述的算法,然后构造一个自动转换工具先将RADL算法转换成抽象程度较高的EGCL程序,再将EGCL抽象程序转换成可执行的高级语言程序.该文以国家自然科学基金课题和江西省跨世纪学术和技术带头人项目为背景,研究任务主要是集中在从抽象程度较高的EGCL语言程序到可执行的Java语言程序的自动转换.这是薛锦云教授提出的分划递推法运用于软件开发全过程的一种尝试.作者按照部分实现理论开发了一套基于Java语言的可重用类库用一牟转换,对由EGCL语言到Java语言的转换规则进行了归纳和整理,在计算机上实现了从EGCL语言程序到Java语言程序的自动转换,作者已经对求解立方问题、最长平台问题、先序遍历二叉树问题等一些典型算法的EGCL语言程序进行了转换,得到了满意的结果.该文共分为六大部分.第一章和第二章主要介绍形式化开发方法和软件重用的一些基本概念.第三章对于程序转换器的原理和设计作一个总体的概述.第四章着重讨论可重用类库的设计和实现.第五章就程序转换器的实现技术进行阐述.第六章对整个工作做了总结和展望.