补充资料：程序转换方法

程序转换方法
program transformational method

　　chengxu zhuanhuan fangfa程序转换方法(p到理，即m transfo们盯ationalmethod)由一程序转换至与之等价的另一程序的方法，简称转换方法。从软件自动化的角度看，程序转换有两类:一类是队向特换，即由一抽象级别较高的程序转至另一满足功能要求的抽象级别较低的程序。另一类是校向传换，即在相同(或类似)抽象级别上程序间的转换。 纵向转换涉及从功能规约到可执行的程序的全过程，可分为三个阶段:①从“做什么”的功能规约到“如何做”的设计规约转换;②从设计规约到高级语言程序的转换;③从高级语言程序到机器语言程序的转换。一般认为，①是其核心和难点，而②，③可借助编译技术完成。前者所要考虑的主要问题有:转换模型、转换过程中的正确性架构、知识及其表示机制和转换规则的选取等。代表性的工作是70年代中期西德慕尼黑技术大学信息学研究所在F.L.卫达uer教授主持下开始研究的软件自动化系统，即计算机辅助、直觉指导的程序设计(CIP)项目，以及南京大学计算机软件研究所徐家福教授主持研制的算法设计自动化系统NDADAS和软件自动化系统NDAU卫〕o CIP的目标是开发可形式保证程序正确性的程序开发系统。其课题有三:第一，设计并定义一广谱语言CIP一L;第二，开发一交互系统;第三，建立一指导程序开发中形式推理过程的方法学。CIP的特点是:第一，各步之间转换的实现只借助“保证正确性”的转换规则;第二，开发全过程由程序人员指导，亦即，由程序人员选定转换规则。 Nl〕AI〔)AS是实现功能规约到设计规约自动转换的算法设计自动化系统。它采用功能规约分解树模型，从给定的函数功能规约开始的转换过程由一系列自顶向下的精化步构成，每一精化步将某一函数规约或按某一控制结构分解成若干子函数功能规约;或将某一函数规约转换成另一易于求解的函数规约或算法已知的基元函数功能规约。此过程一直进行到所有未分解的(子)函数功能规约均是基元函数功能规约为止。结果即为相应的设计规约。 Nl)AUTO是实现设计规约到可执行的程序代码自动转换的软件自动化系统。主要工作是设计了一个图形化的软件设计规约语言GSPE〔:和实现了一个自动转换系统。(万PEC基于函数模型，并引人了新的软件分解模式，以及代数与一阶谓词相结合的抽象数据类型定义方法。系统转换过程分两步:第一，由转换程序将设计规约中的一阶谓词描述成分消去，将用户新定义的抽象数据类型用已有的类型实现;第二，由代码生成程序采用过程方法将转换后的设计规约翻译成可执行的程序代码。转换程序采用输人输出谓词综合法消去一阶谓词成分。

说明：补充资料仅用于学习参考，请勿用于其它任何用途。