规格说明语言ChiSL

摘要

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