非线性代数规范的直接实现技术

代数规范是支持软件规格说明和设计的一种有效的方法，代数规范的直接实现技术是该研究领域的一个主要分支，目前这方面的研究基本上局限于线性代数规范，本文介绍一个实现非线性代数规范的转换过程，从该过程可自然是导出针对不同程序设计语言的转换系统，我们已实现了一个基于Ｐａｓｃａｌ语言的转换系统。

DIRECT IMPLEMENTATION OF NON-LINEAR ALGEBRAIC SPECIFICATION

Algebraic specification is an efficient way to support software specification and design. Many efforts have been made on the direct implementation of algebraic specification that transforms an algebraic specification to a current programming language, but they restricted the specifications to be linear. This paper presents a formal transformation process to implement algebraic specification, whichreleases the linear restriction of algebraic axioms. From this formal process, different implementation systems can be derived formally based on different programminglanguages. A Pascal--based transformation system is developed.