COBOL语言形式语义模型的构造
来源期刊:昆明理工大学学报(自然科学版)1990年第6期
论文作者:周枫 李友仁
文章页码:76 - 82
关键词:COBOL 语言;形式语义模型;VDM 方法;语义规范;
摘 要:用形式技术描述过程序语义,是近年来有较大发展的一门前沿技术,其目标是用一个严格定义的形式模型表达程序的语义.这对于程序的形式开发与验证有着重要的意义.国外将它誊为“九十年代软件开发新模式的革命性方法”.本文采用这门技术构造了 COBOL 语言的形式语义模型.用抽象的形式描述等同表达 COBOL 语言文本定义中关于静态语义,功态语义的文字描述规则.第一次较完整地给出一个 COBOL 语言的形式语义模型.
周枫,李友仁
昆明工学院计算机及自动化系西安交通大学
摘 要:用形式技术描述过程序语义,是近年来有较大发展的一门前沿技术,其目标是用一个严格定义的形式模型表达程序的语义.这对于程序的形式开发与验证有着重要的意义.国外将它誊为“九十年代软件开发新模式的革命性方法”.本文采用这门技术构造了 COBOL 语言的形式语义模型.用抽象的形式描述等同表达 COBOL 语言文本定义中关于静态语义,功态语义的文字描述规则.第一次较完整地给出一个 COBOL 语言的形式语义模型.
关键词:COBOL 语言;形式语义模型;VDM 方法;语义规范;