GB/T 15936.10-1996 信息处理 文本和办公系统 办公文件体系结构(ODA)和交换格式 第10部分;形式规范

标准号：GB/T 15936.10-1996
中文标准名称：信息处理 文本和办公系统 办公文件体系结构(ODA)和交换格式 第10部分;形式规范
英文标准名称：Information processing--Text and office systems--Office Document Architecture (ODA) and interchange format--Part 10: Formal specifications
标准类型：L76
发布日期：1996/12/26 12:00:00
实施日期：1997/7/1 12:00:00
中国标准分类号：L76
国际标准分类号：35.240.20
适用范围： GB/T 15936的目的是为了便于文件的交换。 在GB/T 15936中，将文件看成是诸如备忘录、信件、清单、表格和报告的一些项，它可包括图形和表格材料。文件中使用的内容元素可以包括图形字符、几何图形元素和光栅图形元素，它们都可包含在同一个文件中。 注：GB/T 15936设计成允许扩充的，以便在其中包括印刷特征、颜色、传单及诸如声音内容的附加类型。 GB/T 15936适用于通过数据通信或交换存储媒体进行的文件交换。 GB/T 15936为下列两种目的或其中之一提供文件交换： --允许按始发者的意图进行显现； --允许进行诸如编辑和重新格式化处理。 交换中，文件的组成可有以下几种形式： --允许文件显现的格式化形式； --允许文件进行处理的可处理形式； --允许显现和进行处理的格式化可处理形式。 GB/T 15936还提供了用于处理被交换文件的ODA信息结构的交换。 此外，GB/T 15936还允许包括一种或多种不同类型内容的文件交换，诸如字符文本、图像、图形和声音。 本标准的主要内容如下： --规定一种适合描述文件结构（GB/T 15936.2）、文件轮廓（GB/T 15936.4）和内容体系结构（GB/T 15936.6，GB/T 15936.7，GB/T 15936.8）的技术规范的形式描述技术； --使用上述形式描述技术，给出文件结构、文件轮廓和内容体系结构形式规范。 使用开放文件体系结构形式规范（FODA）的用途是使用形式语法和形式语义，对GB/T 15936第2、4、6、7、8部分的技术规范提供一个精确的且无歧义的解释。 FODA能用来作为 --实现GB/T 15936的基础； --验证一致性系统的确认工具； --检查GB/T 15936未来扩充和修订的基点。 如果在自然语言文本和形式规范之间发现存在矛盾，则在解决此矛盾之前 ，将自然语言文本看作此国家标准的有效解释