【面向对像程序综合的研究】赵莹.pdf

提要:本文首先设计了一种面向对象程序规约语言PSL.PSL以一阶逻辑为基础,能够在概要设计层描述面向对象程序规约.它提供了类和类的继承等描述机制,类的规约中描述了类的接口,类的组成及操作的行为特性.其中操作的规约是用一阶谓词公式描述的,从操作规约到操作具体算法的生成是面向对象软件自动生成的关键.基于PSL.规约语言,本文开发了一个程序综合系统,实现从程序概要设计到具体算法的转换.这种转换是程序自动化的重点,也是本文的主要研究内容.该系统是一个演绎式程序综合系统,它以定理证明为基础,将非子句归结、数学归纳、及转换规则等多种推导方法融于一个演绎系统中.

第一章引言第一章引言第一节向题的提出维护性的重要手段软件自动化是指尽可能借助计算机系统完成软件开发,在不同程度上实现从软件规约到可执行程序代码的自动生成.软件规约具有较高的抽象级别,是对软件功能的概括性描述,指出软件能够解决什么样的问题,而最后的目标代码则是低层次的,它描述了软件怎么样解决问题,包括具体的算法和数据结构.由此可见,算法的自动生成是软件自动化的核心与难点.从目前来看,程序自动化的研究还没有达到完全自动生成程序的水平,完成具有通用性的软件规约到目标代码的转换尚需人工干预。

2Z+语言 Z+语言[Lan90][Lan91][Bow93]是Z语言的另一种扩充,以支持面向对象软件的描述,并用于研究软件逆向工程,Z+语言基本上采用Z语言的记法,但增加了类的描述机制.类规格说明主要由五个方面组成:定义全称类型.定义对象类.定义系统状态,其中包括各操作中用到的变量及它们之间的不变式.定义初始状态,是用状态变量上的约束(constraint)来规定.定义操作,用状态变换描述操作.