抽象数据类型形式变换系统

A FORM TRANSFORMATION SYSTEM FOR ABSTRACT DATA TYPES

程序设计自动化是计算机科学研究中的热点,也是软件工作者们追求的目标。抽象数据类型是一种新的、重要的程序设计方法,是程序设计自动化的重要手段。 本文对抽象数据类型的代数规格说明进行了讨论,并形式化的研究了代数规格说明。然后,针对现有抽象数据类型的实现方法,提出了一种抽象数据类型形式变换方法,思想是将用代数规格说明的抽象数据类型变换为一种特定的中间抽象数据类型MLIST的形式,规格说明简单的MLIST的最终实现可直接使用已有的各种方法和系统来完成。

Automated programming design is one of the top points of computer sciences research in recent years. A kind of new principal method for programming design is Abstract Data Type (ADT). It is an advanced means for automated programming design.This article researches Algebraic Specification formally and some Implementations of ADT, then present a new idea about transformation of ADT, which method is transformes the algebraic specification of an abstract data type to a special abstract data type-MLIST, and the implementation of MLIST which specification is simple can be processed using given methods and systems.