摘要： 对一个面向CAD的自动程序设计系统(CAPS)的功能和实现方法作了介绍。该系统采用转换与过程相结合的方法,实现了从规格说明语言GSL编写的软件规格说明(FML)到可执行程序的自动生成。讨论了规格说明语言GSL的定义和特点;用于语法检查的检测程序(SCAN)的功能;自动转换程序(AUP)的工作原理和实现方法;知识库的组成及其在自动转换中的作用。最后对该系统的特点作了简要说明。

关键词: 自动程序设计, 规格说明, 自动转换, 知识库

Abstract: By combining the transformational & procedural method, the formal files can be transformed executable program. The formal definition and feature of specification language GSL. the function and implementation of the examining program, and the principle of automatic transformable program are described. The composition of knowledge base and the action in the automatic transformation are studied.

中图分类号: 

• TP391.72