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

DIRECT IMPLEMENTATION OF NON-LINEAR ALGEBRAIC SPECIFICATION

作　　者：金立群[1] 钱家骅[1] 

机构地区：[1]复旦大学计算机科学系

出　　处：《计算机学报》1996年第7期530-536,共7页Chinese Journal of Computers

基　　金：国家863高技术计划;国家教委博士点基金

摘　　要：代数规范（ＡｌｇｅｂｒａｉｃＳｐｅｃｉｆｉｃａｔｉｏｎ）是支持软件规格说明和设计的一种有效的方法．代数规范的直接实现技术（将一个代数规范转换为一个程序设计语言的具体实现的技术）是该研究领域的一个主要分支，目前这方面的研究基本上局限于线性代数规范．本文介绍一个实现非线性代数规范的转换过程，从该过程可自然地导出针对不同程序设计语言的转换系统．我们已实现了一个基于Ｐａｓｃａｌ语言的转换系统．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.

关 键 词：非线性 代数规范 数据类型 程序语言 程序设计 

分 类 号：TP311.11[自动化与计算机技术—计算机软件与理论]