ICS_35. 240. 20 L 76 GB 中华人民共和国国家标准 GB/T 15936.10—1996 idt IS0 8613-10:1991 信息处理 文本和办公系统 办公文件体系结构(ODA)和交换格式 第10部分：形式规范 Information processing--Text and office systems- Office Document Architecture(ODA) and interchange formatPart 10:Formal specifications 1996-12-26发布 1997-07-01实施 国家技术监督局发布 GB/T 15936.10---1996 目 次 前言 ISO前言 1范围 2 引用标准 3 定义 4 规范语言的语法和语义 4.1 基本概念…· 4.2 规范语言的语法 4.3 含固有语义的谓词符号 4.4 含固有语义的算符符号 4.5 其他项 4.6 记号筒化 5 形式规范的结构 6 常用定义 oi 文件结构的形式规范 16 7. 1 组元集· 7. 2 组元· 31 7. 3 属性…· 55 7. 4 辅助定义· 80 7. 4. 1 谓词 80 7.4.2 函数· 87 7.5补充术语定义。 7. 6 谓词符号、算符和属性名的索引 91 附录A（提示的附录）有关规范语言的介绍 101 Ai 引言 101 A2 原子构造 101 A3 复合构造 102 A4 点 102 A5 谓词 103 A6 算符 104 A7 GB/T15936形式规范的谓词 106 A8 进 一步举例 106 GB/T15936.10—1996 前言 本标准等同采用国际标准IS08613-10—1989《信息处理文本和办公系统办公文件体系结构 (ODA)和交换格式：第10部分：形式规范》。 通过制定这项国家标准，使信息处理文本和办公系统的文件便于交换。 本标准与ISO8613-10的区别如下： a）正文和附录中引用其他标准时，用我国的标准编号代替相应的国际标准编号，其对应关系是： GB2311—1990 代替 ISO2022:1986; GB/T 7408-1994 代替 ISO 8601:1988; GB 8565—1988 代替 ISO 6937:1983; GB/T15936 代替 ISO 8613:1989. b）在原文中提到了附录B、附录C和附录D，但并未给出这些附录，所以在本标准中将出现这些附 录的字样删去了。 c）根据编写国家标准的基本规定，本标准保留了被采用国际标准的前言，同时增加了“前言” GB/T15936在《信息处理文本和办公系统办公文件体系结构和交换格式》总标题下，目前包 括以下8个部分： 第1部分（即GB/T15936.1）：引言和导则； 第2部分（即GB/T15936.2）：文件结构； 第4部分（即GB/T15936.4）：文件轮廓； 第5部分（即GB/T15936.5）：办公文件交换格式（ODIF）； 第6部分（即GB/T15936.6）：字符内容体系结构； 第7部分（即GB/T15936.7）：光栅图形内容体系结构； 第8部分（即GB/T15936.8）：几何图形内容体系结构； 第10部分（即GB/T15936.10）：形式规范。 本标准的附录A是提示的附录。 本标准由中华人民共和国电子工业部提出。 本标准由电子工业部标准化研究所归口。 本标准起草单位：电子工业部标准化研究所。 本标准主要起草人：杨霖、罗韧鸿、段祥、李韵琴。 GB/T15936.10—1996 ISO 前言 ISO(国际标准化组织)是由各个国家标准化机构（ISO的成员体）联合组成的一个世界性组织。该 组织通过其各个技术委员会进行国际标准的制定工作。凡是对于已设有技术委员会的某一专业感兴趣 的每一个成员体，都有权参加该技术委员会。与ISO有联系的官方和非官方国际组织也可参与国际标 准的制定工作。ISO与国际电工委员会(IEC)在电子技术标准化的所有方面都进行密切合作。 各个技术委员会提出的国际标准草案，须先分发给各成员体表决通过后，再由ISO理事会批准为 国际标准。根据ISO工作导则，国际标准至少需要投票成员体的75%赞成。 国际标准ISO8613.10是由ISO/TC97"信息处理系统"技术委员会制定的。 本国际标准是与下述标准并行制定的： ECMA-101（1985）：办公文件体系结构； -CCITTT.73(1984）：用于信息通信服务的文件交换协议； CCITTT.410系列(1988）：开放文件体系结构(ODA）和交换格式。 目前，ISO8613由8个部分组成： 第1部分：引言和总则； 第2部分：文件结构； 第4部分：文件轮廓； 一第5部分：办公文件交换格式（ODIF）； 一第6部分：字符内容体系结构； 一第7部分：光栅图形内容体系结构； 一第8部分：几何图形内容体系结构； 第10部分：形式规范。 注：目前没有第3部分和第9部分。 本国际标准可增补新的部分。 附录A只是提示的附录。 中华人民共和国国家标准 信息处理 文本和办公系统 办公文件体系结构(ODA)和交换格式 第10部分：形式规范 GB/T15936.10—1996 idt IsO 8613-10:1991 Information processing---Text and office systems- Office Document Architecture(ODA)and interchange format -Part 10:Formal specifications 1范围 GB/T15936的目的是为了便于文件的交换。 在GB/T15936中，将文件看成是诸如备忘录、信件、清单、表格和报告的一些项，它可包括图形和 表格材料。文件中使用的内容元素可以包括图形字符、几何图形元素和光栅图形元素，它们都可包含在 同一个文件中。 注：GB/T15936设计成允许扩充的，以便在其中包括印刷特征、额色、传单及诸如声音内容的附加类型。 GB/T15936适用于通过数据通信或交换存储媒体进行的文件交换。 GB/T15936为下列两种目的或其中之一提供文件交换： 允许按始发者的意图进行显现； 允许进行诸如编辑和重新格式化处理。 交换中，文件的组成可有以下几种形式： 允许文件显现的格式化形式； 允许文件进行处理的可处理形式； 允许显现和进行处理的格式化可处理形式。 GB/T15936还提供了用于处理被交换文件的ODA信息结构的交换。 此外，GB/T15936还允许包括一种或多种不同类型内容的文件交换，诸如字符文本、图像、图形和 声音。 本标准的主要内容如下： 一规定一种适合描述文件结构（GB/T15936.2）、文件轮廓（GB/T15936.4)和内容体系结构 (GB/T15936.6，GB/T15936.7,GB/T15936.8)的技术规范的形式描述技术； 使用上述形式描述技术，给出文件结构、文件轮廓：和内容体系结构形式规范。 使用开放文件体系结构形式规范(FODA)的用途是使用形式语法和形式语义，对GB/T15936第 2、4、6、7、8部分的技术规范提供一个精确的且无歧义的解释。 FODA能用来作为 实现GB/T15936的基础； 验证一致性系统的确认工具； 检查GB/T15936未来扩充和修订的基点。 如果在自然语言文本和形式规范之间发现存在矛盾，贝在解决此矛盾之前，将自然语言文本看作此 国家技术监督局1996-12-26批准 1997-07-01实施 1 中华人民共和国国家标准 信息处理 文本和办公系统 办公文件体系结构(ODA)和交换格式 第10部分：形式规范 GB/T15936.10—1996 idt IsO 8613-10:1991 Information processing---Text and office systems- Office Document Architecture(ODA)and interchange format -Part 10:Formal specifications 1范围 GB/T15936的目的是为了便于文件的交换。 在GB/T15936中，将文件看成是诸如备忘录、信件、清单、表格和报告的一些项，它可包括图形和 表格材料。文件中使用的内容元素可以包括图形字符、几何图形元素和光栅图形元素，它们都可包含在 同一个文件中。 注：GB/T15936设计成允许扩充的，以便在其中包括印刷特征、额色、传单及诸如声音内容的附加类型。 GB/T15936适用于通过数据通信或交换存储媒体进行的文件交换。 GB/T15936为下列两种目的或其中之一提供文件交换： 允许按始发者的意图进行显现； 允许进行诸如编辑和重新格式化处理。 交换中，文件的组成可有以下几种形式： 允许文件显现的格式化形式； 允许文件进行处理的可处理形式； 允许显现和进行处理的格式化可处理形式。 GB/T15936还提供了用于处理被交换文件的ODA信息结构的交换。 此外，GB/T15936还允许包括一种或多种不同类型内容的文件交换，诸如字符文本、图像、图形和 声音。 本标准的主要内容如下： 一规定一种适合描述文件结构（GB/T15936.2）、文件轮廓（GB/T15936.4)和内容体系结构 (GB/T15936.6，GB/T15936.7,GB/T15936.8)的技术规范的形式描述技术； 使用上述形式描述技术，给出文件结构、文件轮廓：和内容体系结构形式规范。 使用开放文件体系结构形式规范(FODA)的用途是使用形式语法和形式语义，对GB/