Ada语言的数据抽象方法

DATA ABSTRACTION METHOD WITH ADA

数据抽象方法已经成为软件系统设计和验证的极为有效的方法。近年来,抽象数据类型的形式说明得到了广泛的研究,本文在Hoare 说明抽象类型的公理方法的基础上,用Ada 的程序包定义了一个抽象数据类型的实例,并以此例讨论了抽象数据类型的正确性验证方法和步骤以及抽象类型的自动实现方法。

Data abstraction method proves it useful in design and validation of soft-ware system.Recently,many people are dealing with the approaches in the specifica-tion of abstract data types.Based on Hoare's axiomatic method,this paper definesan example of abstract data type using Ada Package,discusses the verification andthe automatic implementation of abstract data types and its usage.