规格说明语言ChiSL

A Specification Language──ChiSL

ＣｈｉＳＬ是一种作用式可执行的功能规格说明语言，它是以数据抽象为核心的将代数规格说明和面向模型的规格说明两种技术有机地结合起来的模块化语言，具有良好的数学性质和可读性，能比较方便地书写大型规格说明。由于该语言是可执行的，因此ＣｈｉＳＬ规格说明可作为所要开发的软件系统的一个原型在该语言的支撑系统上执行。本文后面介绍了使用ＣｈｉＳＬ语言及其支撑系统开发软件原型的一些应用实例。

ChiSL is an applicative executable specification language,centred around the concept of dataabstraction, with module construct in it.Both the algebraic and the model-oriented specification techniquesof abtract data types are embedded in the language.ChiSL is an applicative language which is readable andmathematical.With the module construct,it is convenient to use ChiSL to write large specifications.Beeause the language is executable,a specification in ChiSL may be viewed as a prototype of the specifiedsystem and be executed on the supporting system. In this paper,we also show some application examples byusing ChiSL and its supporting system.