Garment中的归约语义.PDFVIP

Garment 中的归约语义* 1 2 郑红军 张乃孝 (北京大学, 北京100871) 摘要 本文用代数方法研究了 Garment 中程序设计语言的归约语义, 首先给出 了归约语义在形式语言理论中的含义, 然后提出了 Garment 中语言的代数模型. 在此代数模型下讨论了归约语义及其性质, 并给出了语言可归约的充分条件. 关键词 Garment 程序设计语言 归约语义 基调 项代数 1. 引言 通过研究程序设计语言与一类专用软件及其学科领域间的内在联系, 我们 提出了一种系统的软件开发方法称为“面向模型的变换型软件开发方法” [1]. 这 种方法把数据抽象的思想提高到语言抽象层次; 将软件规范归结为语言的抽象; 把软件的实现抽象为语言的归约. 为支持这种方法, 我们提出了一种语言的抽 象与封装机制Garment [2]. Garment 能够对已有的语言进行抽象, 使得抽象出的语言易于描述某一学科 领域的问题. 每个Garment 封装了一个语言的定义和实现, 是一种更高层次的可 重用部件. Garment 对一个语言L 的抽象可简单地记为: L’= Gt(L), 其中L 或者是 核心语言, 或者是由Garment 已抽象出的语言, 并且L 的语义是已知的, Gt 描述 了L ’对语言L 的继承, 屏蔽和扩充, 构成了L ’的Garment 描述. 在不考虑屏蔽的 情况下 (在Garment 中描述L ’的归约语义时, 不存在屏蔽的问题, 被屏蔽的语言 成分只是对语言的使用者来说是不可用的), L 与 L ’间的关系可以表示为 L=L ’\F , . . . , F , 其中, F , . . . , F 是语言L ’中的成分, 但不是L 中的成分, L ’包含 1 n 1 n L 的所有语言成分, 并且与在L 中的语义相同. 简言之, 在语法和语义上, L 都是 L ’的子语言. 所以, Gt 只需描述F , . . . , F 的语法和语义, 即可构成一个新语言 1 n L ’. 本文将讨论描述这些扩充成分F , . . . , F 语义的方法及其代数基础. 关于 1 n Garment 的语法结构及实现, 参见文献[2-3]. 我们采用Backus 提出的归约语义[8]描述F , . . . , F 的语义. 基本思想是用 1 n * 本项研究得到国家自然科学基金的资助. 1 北京大学 计算机科学与技术系(北京 100871)博士生, 1969 年生, 研究方向为软件开发方法学与程序设 计语言. 2 本文联系人: 北京大学 数学科学院 信息科学系(北京 100871)教授, 1942 年生, 1965 年毕业于北京大学 数学力学系, 研究方向为软件开发方法学与程序设计语言. - 1 - 语言L 来描述L ’中F , . . . , F 的语义, 将F , . . . , F 归约至语言L 的成分(L 的语 1 n 1 n 义是已知的). 相当于语言L 是L ’的基本结构( 固定部分), F , . . . , F 是