规格说明语言ChiSL  

A Specification Language──ChiSL

作　　者：许创[1] 陈沐天[1] 徐永森[1] 

机构地区：[1]广东省汕头大学计算机系,江苏省南京大学计算机系

出　　处：《高技术通讯》1995年第2期7-12,共6页Chinese High Technology Letters

基　　金：国家自然科学基金

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

关 键 词：软件工程 规格说明语言 程序设计 

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