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

《GB T 15936.10-1996 信息处理 文本和办公系统 办公文件体系结构(ODA)和交换格式 第10部分;形式规范.pdf》由会员分享，可在线阅读，更多相关《GB T 15936.10-1996 信息处理 文本和办公系统 办公文件体系结构(ODA)和交换格式 第10部分;形式规范.pdf（110页珍藏版）》请在麦多课文档分享上搜索。

1、中华人民共和国国家标准信息处理文本和办公系统办公文件体系结构和交换格式第部分形式规范发布实施国家技术监督局发布前言本标准等同采用国际标准信息处理文本和办公系统办公文件体系结构和交换格式第部分形式规范通过制定这项国家标准使信息处理文本和办公系统的文件便于交换本标准与的区别如下正文和附录中引用其他标准时用我国的标准编号代替相应的国际标准编号其对应关系是代替代替代替代替在原文中提到了附录附录和附录但并未给出这些附录所以在本标准中将出现这些附录的字样删去了根据编写国家标准的基本规定本标准保留了被采用国际标准的前言同时增加了前言在信息处理文本和办公系统办公文件体系结构和交换格式总标题下目前包括以下个部分

2、第部分即引言和导则第部分即文件结构第部分即文件轮廓第部分即办公文件交换格式第部分即字符内容体系结构第部分即光栅图形内容体系结构第部分即几何图形内容体系结构第部分即形式规范本标准的附录是提示的附录本标准由中华人民共和国电子工业部提出本标准由电子工业部标准化研究所归口本标准起草单位电子工业部标准化研究所本标准主要起草人杨霖罗韧鸿段祥李韵琴前言国际标准化组织是由各个国家标准化机构的成员体联合组成的一个世界性组织该组织通过其各个技术委员会进行国际标准的制定工作凡是对于已设有技术委员会的某一专业感兴趣的每一个成员体都有权参加该技术委员会与有联系的官方和非官方国际组织也可参与国际标准的制定工作与国际电工委

3、员会在电子技术标准化的所有方面都进行密切合作各个技术委员会提出的国际标准草案须先分发给各成员体表决通过后再由理事会批准为国际标准根据工作导则国际标准至少需要投票成员体的赞成国际标准是由信息处理系统技术委员会制定的本国际标准是与下述标准并行制定的办公文件体系结构用于信息通信服务的文件交换协议系列开放文件体系结构和交换格式目前由个部分组成第部分引言和总则第部分文件结构第部分文件轮廓第部分办公文件交换格式第部分字符内容体系结构第部分光栅图形内容体系结构第部分几何图形内容体系结构第部分形式规范注目前没有第部分和第部分本国际标准可增补新的部分附录只是提示的附录中华人民共和国国家标准信息处理文本和办公系统

4、办公文件体系结构和交换格式第部分形式规范国家技术监督局批准实施范围的目的是为了便于文件的交换在中将文件看成是诸如备忘录信件清单表格和报告的一些项它可包括图形和表格材料文件中使用的内容元素可以包括图形字符几何图形元素和光栅图形元素它们都可包含在同一个文件中注设计成允许扩充的以便在其中包括印刷特征颜色传单及诸如声音内容的附加类型适用于通过数据通信或交换存储媒体进行的文件交换为下列两种目的或其中之一提供文件交换允许按始发者的意图进行显现允许进行诸如编辑和重新格式化处理交换中文件的组成可有以下几种形式允许文件显现的格式化形式允许文件进行处理的可处理形式允许显现和进行处理的格式化可处理形式还提供了用于处

5、理被交换文件的信息结构的交换此外还允许包括一种或多种不同类型内容的文件交换诸如字符文本图像图形和声音本标准的主要内容如下规定一种适合描述文件结构文件轮廓和内容体系结构的技术规范的形式描述技术使用上述形式描述技术给出文件结构文件轮廓和内容体系结构形式规范使用开放文件体系结构形式规范的用途是使用形式语法和形式语义对第部分的技术规范提供一个精确的且无歧义的解释能用来作为实现的基础验证一致性系统的确认工具检查未来扩充和修订的基点如果在自然语言文本和形式规范之间发现存在矛盾则在解决此矛盾之前将自然语言文本看作此国家标准的有效解释引用标准下述标准中所包含的一些条文通过在本标准中引用而构成了本标准的条文本标

6、准出版时所示版本均为有效所有标准都会被修订使用对本标准的各方应探讨使用下列标准最新版本的可能性信息处理七位和八位编码字符集代码扩充技术数据元素和交换格式信息交换日期和时间表示法信息处理文本通信用编码字符集第二部分图形字符集信息处理系统计算机图形存储和传递图片描述信息的元文卷第部分功能描述信息处理系统计算机图形存储和传递图片描述信息的元文卷第部分二进制编码信息处理文本与办公系统办公文件体系结构和交换格式第一部分引言和总则信息处理文本与办公系统办公文件体系结构和交换格式第二部分文件结构信息处理文本与办公系统办公文件体系结构和交换格式第四部分文件轮廓信息处理文本与办公系统办公文件体系结构和交换格式第

7、六部分字符内容体系结构信息处理文本与办公系统办公文件体系结构和交换格式第七部分光栅图形内容体系结构信息处理文本与办公系统办公文件体系结构和交换格式第八部分几何图形内容体系结构信息技术字体信息交换第部分字体属性和字符模型即将出版定义中给出的定义适用于本标准规范语言的语法和语义本章描述用于形式规范的形式描述技术注附录单独给出该形式描述技术的说明基本概念通过抽象的信息构造描述了文件结构文件轮廓和内容体系结构这种信息构造是从下列结构类别得到的一个构造可以是一个原子构造例如客体标识符内的属性名或自然数一个构造可以是一个复合构造即它可包含其他构造至于它们之间的相互关系可用下面的三种复合来区分一个构造可以是

8、其他构造的一个集一个函数映射一个序列表串例如一个特定布局描述为各组元的一个集一个组元是一个为函数或映射从属性名到属性值的指派下级或客体标识符的属性值是一个原子自然数的序列用于形式规范的语言正是利用了这些结构该语言称作复合信息模型化语言此规范语言的语义包含下述抽象元素全域它是下列各种实体的非空集构造点点集即多个点的集实体未定义从全域到全域的函数即全域实体上的算符全域中的谓词即全域实体上的谓词一个构造是下列信息客体之一原子构造或简称原子复合构造或简称复合体它可以是一个聚合该聚合是成分构造的一个无序集一个指派它是一个能看成有序对组成的无序集的函数在此集中每一对都含一个名字和一个值一个连接它是由成分构

9、造组成的序列使用复合构造这一专门名词是为了与其他集函数或序列区别开来为了能对任意复合结构的构造中的各个成分进行讨论这里引入点的概念这个概念是与指向一个在某位置上的信息结构并声明在此处相关的直观思维的抽象对应物然而一般在此处不能由成分构造来唯一地标识例如在某个字中同一字母可多次出现而要由其所出现的上下文来标识为了从概念中处理在此处需要有一种标识上下文的途径引入点的概念使得能明确区别所考虑的构造及其作为某个复合构造的成分在此复合构造中的位置例如字符串一种连接含和等成分构造其中和各自只出现在一个点出现在两个点即出现在从头数起的第和第个位置上因此具有个成分点但只含个成分构造如果认为某个构造不在上下文范

10、围内则称其为独点各个点通常是由选择准则来选定的然而某种选择准则不一定是唯一的因此处理起来最自然的客体并不是点而是多个点的集或点集从而没有对单点的表达式只有对单点集的表达式即只含一个点的点集见中和中应该注意规范语言是建立在一阶谓词逻辑和数学集合论的基础之上的规范语言的语法该条定义规范语言的语法即形式规范中每一表达式均使用本条给出的语法规则来建立语法规则中出现的终结符的语义在至中规定元语言摘要符号对和及符号均属于元语言其含义为将被定义的元变量左边与定义它的元语言表达式右边隔开限定一个语法单位限定一个语法单位并指出该语法单位是可选的即它也可以不出现注元语言符号和不同于在空常量显式复合项和扩充聚合项的

11、产生式规则中所使用的特殊字符和限定元语言文本中的注释分隔可替换的语法单位即指明对多个语法单位中某一个的选择例如的含义是或或注元语言符号不同于表示集的项中使用的特殊字符它是递归定义的方便记号此符号跟在可能出现一次或多次的语法单位之后即该语法单位可重复出现几次例如的含义是或或等的含义是或或等语言定义中的一个空格符在定义的语言表达式中要求有一处或多处空白正好相反符号要求规范语言中相邻的串直接并置在一起如果不影响语法唯一性的话可以省去规范语言表达式中的空白例如括号前和括号后为了增强可读性将符号和用作元变量而不是如左定界符或右定界符的字符号所有其他的元变量均为由小写字母组成的串用连字符连接元变量的各个成

12、分产生式规则表达式公式项公式原公式公式公式公式变量公式变量公式公式注此产生式规则中所使用的终结符具有一阶谓词逻辑通常的语义是逻辑非异或蕴含和当且仅当为通常的逻辑连接词所有和存在是逻辑量词原公式参数部分谓词符号部分参数部分谓词符号部分参数部分谓词符号部分大写字母字母数字小写字母字母数字注此产生式规则中终结符的语义在中规定项变量常量算符项显式复合项条件项扩充聚合项扩充点集项点选择项项变量小写字母字母数字下标数字常量标准常量非标准常量标准常量空常量数原子常量空常量空聚合空指派空连接空点集数原子常量数字数字数字数字非标准常量字符字符对撇号加限制算符项参数部分算符符号部分参数部分算符符号部分参数部分算符

13、符号部分大写字母大写字母数字注本产生式规则中终结符的语义在中规定显式复合项项项聚合项项项项指派项项连接字符字符字符连接对引号的限制条件项公式项项注该产生式规则中终结符和的语义在中规定扩充聚合项变量公式公式所适用构造的聚合扩充点聚合项变量公式公式所适用单点集的并集点选择项项点选择子句椭圆点选择项点选择子句变量公式公式假定为变量名字规范名字规范椭圆点选择项项名字规范注该产生式规则中终结符和的语义在中规定名字规范非标准常量变量参数部分项项项字符字母数字下标数字特殊字符字母大写字母小写字母大写字母小写字母数字下标数字特殊字符等含固有语义的谓词符号谓词符号部分序列即指一个谓词符号对于每个元谓词符号都有一

14、个在规范语言全域上元谓词即全域实体上的一种元关系某些谓词符号具有下面所介绍的固有语义注谓词符号部分在语法上不同于算符符号部分和变量表示有效事实所陈述的事物为真表示无效事实所陈述的事物为假表示是一个原子构造或简称原子表示是一个自然数除零外表示是一个整数表示是一个实数表示是一个聚合表示是一个指派表示是一个连接表示是一个点集表示是一个单点集表示等于所有实体表示的非与不等表示小于数表示小于或等于表示大于表示大于或等于表示是聚合的元素表示不是的元素表示是单点集并且是的子集点集表示是的子集聚合或点集表示是的子集或者等于聚合或点集表示是的子集聚合或点集表示是的子集或者与相等聚合或点集一元谓词符号表示的是表达

15、某个实体属于某一特定类别或类型实体的谓词这种谓词表达某个实体保持某一特定的性质二元谓词符号所指的谓词指明两个实体间是否具有特别的关系含固有语义的算符符号一算符符号部分序列指一个算符符号对于每个元算符符号都有一个从规范语言全域至全域的元算符或函数即从元组实体至全域实体的映射某些算符符号具有下面所介绍固有语义注算符符号部分在语法上不同于谓词符号部分和变量对于所有的算符来说如果某一参数项不满足下面的所述的要求则结果均是未定义的如果表示一个单点集则表示在所给点的成分构造如果是一个点的单点集且该点是一个指派的成分形式术语为指派的直接内含则表示在指派中该成分的名字构造如果表示仅由一个点组成的集且它是一个连

16、接点的直接内含则表示连接中的前面部分并且它与连但不包含所给成分位置号小于的成分的连接如果是一个聚合或点集则表示它的基数即成分构造个数或点数如果表示仅由一个点组成的集且它是一个连接的直接内含则表示所给成分之后的不含连接的后面部分位置号大于的成分的连接如果和都是数则它们表示算术运算的数通常的算术算符的优先规则适用于此处如果和表示聚合或点集则它们分别表示聚合或点集的并交差如果和都是连接则表示按所给的次序并置这两个连接所获得的最终连接如果表示一个构造则的独点表示含独点的单点集如果表示不含原子点原子构成点的点集则下级内含表示这样一个集该集中所有点的均是点集的各点的直接内含如果表示一个点集则表示给定点所有

17、内含终结点组成的集或者对原子和空构造表示与所给点相等的所有终结点组成的集称为最低内含如果表示不含独点的点集表示这样一个集其所有点均是所给各点的直接外部称为上级外部如果表示一个点集则表示给定点所有外部独点组成的集或者对独点表示与所给点相等的所有独点组成的集称为最高外部如果表示空点集则算符项也表示空点集表达式的正常求值顺序为从左至右但有以下例外情况如果某一项在括号内则首先对该项求值算符优先于谓词各个算符之间的优先顺序为独点下级内含上级外部最低内含最高外部点选择条款点选择项其他算符其他项除算符项以外还有其他产生构造或点集的复合项或未定义下面介绍它们的固有语义如果表示构造则整个项表示以构造为成分的聚合

18、它是显式复合项的一个例子表示空聚合它是空常量的例子如果和都表示构造且所有都不同则整个项表示以唯一名字下的构造为成分的指派这是显式复合项的例子表示空指派这是空常量的例子如果表示构造则整个项表示包含作为指派序列中成分亦可是成员的连接这是显式复合项的例子表示连接括在引号内的一串字符表示这些字符的连接串中的引号对代表连接中的单个字符这是显式复合项的例子表示空连接这是空常量的例子表示空点集这是空常量的例子公式如果都是项则上面的整个项为或它分别取决于公式计算结果为真或假这是条件项的例子变量公式表示满足公式的所有构造变量的聚合这是扩充聚合项例子变量公式表示点集该点集是满足公式的所有单点集变量的并这是扩充点集

19、项的例子变量公式如果表示一个可能为空的点集则整个项表示所有下述单点集的并这些单点集含取自的一个点并且公式对于它们为真这是点选择项的例子下面是为经常出现的点选择条款提供的三种椭圆记号公式如果没有明显地引入变量则按标准变量检查的单点集或简称为检查点对简写项公式求值这是点选择项的例子如果公式的结构为变量或变量或其中是名字规范则该公式可以简写为一个名字规范表这是点选择项的例子如果只有一个名字规范用于点选择则给出一个椭圆点选择项作为特殊点选择项的简写以等结束代表见程序设计语言中的名字限定这是椭圆点选择项的例子记号简化对相邻逻辑限定条件可使用通常的记号简化方法下述例子解释这些常用于一阶谓词逻辑的简化记号表

20、达式公式可写成公式或甚至写成公式更进一步的简写有助于强调一个被限定公式的主要部分表达式公式可写成公式表达式公式可写成公式上述两种记号可结合起来使用表达式公式可写成公式但是要注意表达式公式包括了的限制因此该表达式要扩展为公式对可作同样的简写形式规范的结构本章概述形式规范的一般概念在整个形式规范中多处使用的项在第章给出形式地讲每一形式规范都是一阶谓词逻辑的单个公式此公式称作总体公式在靠近每一形式规范的开始处给出它包含由所连接的其他公式公式公式公式公式在本标准中将每个公式称作一个定义并用一个唯一的参考号来标识每个定义规定其他描述部分所使用的一个概念或者规定在整个定义中具有辅助作用的概念即它被单独列出

21、以使其他定义更加易读所有的定义被分成几个组例如在文件结构的形式规范中有关组元集的定义包含在内有关组元的定义在内而有关属性的定义在内另外形式规范中未使用但的文本中使用过的概念在中定义定义的分解只是为了方便规范制定者和读者它决不会对规范的形式严密性带来任何损害定义中出现的变量都用全域量词或存在量词来限定因此一旦为某个变量选定了一个值则不管变量在何处出现在整个量词范围内该值均被保留不从属于规范语言的谓词均用同一种格式来定义对一元谓词其格式为变量谓词符号变量公式元谓词使用类似的格式各个变量按自然的方式置于谓词符号的两旁例如将理解为是基本客体中一个内容部分的标识符一阶谓词逻辑中的一个谓词是一种命题模式其

22、中某几个位置留空以插入各个实体大于是该模式的一个例子一旦各个空位由各实体所占据该模式就成为一个可对其求真值的命题命题大于的求值结果为真而命题大于和大于的最终求值结果为假注意一个命题决不能求得一个未经定义的真值一元谓词是仅含一个留空参数位置的一种形式其定义由用单个实体代替其参数来求值它在的左边产生一个命题并将括号内的整个表达式转换为一个命题对大多数算符的定义也采用了一种统一的格式它依赖于规范语言的条件项变量算符符号变量公式项一个算符是将某些位置留空以插入各个实体的一种项模式加是该模式的一个例子一旦各个空位由各个实体所占据该模式就成为一个项即对其求值结果为一个实体或表示一个实体的表达式项加表示实体

23、而项加表示由形式规范语言中未定义所表达的实体因此如果对插入的实体未定义该算符则项的求值结果为未定义的应该注意形式规范不能直接应用于办公文件交换格式并且读者不应希望能得到任何直接的对应关系形式规范是基于概念的文字描述并不一定反映了文件的编码中规定编码的各条款通常对交换的数据流的构成还要施加补充规则可以认为这些补充规则不在形式规范的范畴内编码正式规定了这些补充规则因此没必要在中重复这些补充规则此外尽管不要求可缺省的属性或参数出现在交换的数据流中但对形式规范可以认为它们出现因为它们不同于非必备性属性它们的值必须通过的中定义的缺省机制得到可缺省属性或参数的概念由谓词作出形式描述见第章在整个形式规范中只

24、要是之外的其他国际标准或国家标准中所定义的一个实体就要用谓词例如用来指明实体在中定义它是最小子集中一个字符该实体的定义不在的范围内在第章中对已在某个附录中给出精确定义的实体当需要该实体的初始定义时也使用谓词便利时可使用引入定义来代替一个引入的定义是由之外的其他国际标准或国家标准规定其语义的一个函数或谓词在本标准的范围内只用半形式化描述并参引合适的国际标准来表达引入的定义的语义这些定义的形式规范不在本标准的范围内下面的提示信息将有助于读者理解形式规范注意除了应用为逻辑符号和算符符号以及括号所规定的优先级规则而产生的顺序外在一个公式中不存在阅读或求值顺序总公式并不打算包含定义的顺序也无需按所示的顺

25、序来阅读相反此顺序只是为了支持规范的系统化对于依次由公式组成的任何定义来说同样也是如此本部分中使用上标指示一个谓词符号或算符符号的定义号例如如果该符号是规范语言中的部分即它是一个预定义的符号或是当前正在定义的符号则不出现上标这些上标引用号不是规范语言的一部分它们只是为了方便读者使读者能迅速找出一个被引用符号的定义此外还使用行号和带下标的括号来构造公式并建立半形式化描述和形式定义之间的交叉引用见上面这些行号和下标也不是形式规范的一部分只是为了方便读者形式规范的每个定义都由一个所谓半形式化描述来加以介绍这些半形式化描述充分利用规范方法的术语给出各个定义的英文解释半形式化描述本身不属于形式规范但它们

26、将有助于对形式定义理解在半形式化描述中对行号的引用置于括号内例如或或而对带下标的括号内的表达式的引用则需要冠以前缀例如常用定义本章包含的定义不专门针对文件结构的形式规范文件轮廓的形式规范或某个内容体系结构的形式规范作出规定半形式化描述谓词是一非空聚合如果实体是不为空的一个聚合则它是一个非空聚合构造集定义半形式化描述谓词是一个非空指派如果实体是不为空的一个指派则它是一个非空指派名字到构造的映射定义半形式化描述谓词是一个非空连接如果实体是一个不为空的连接则它是一个非空连接构造序列定义半形式化描述谓词是一个空聚合如果实体不含成分则它是一个空聚合定义半形式化描述谓词是一个空指派如果实体不含成分则它是一

27、个空指派定义半形式化描述谓词是一个空连接如果实体是不含成分则它是一个空连接定义半形式化描述谓词是一个非负整数如果实体是一个自然数或零则它是一个非负整数定义半形式化描述谓词是一个非负整数对一非负整数对是两个非负整数的一个连接定义半形式化描述谓词是一正整数对一正整数对是两个正整数的一个连接定义半形式化描述谓词是一个八位位组串八位位组串是形式规范的一个原子构造定义半形式化描述函数相对前端的位置返回指派成分的位置编号计数从第一个成分开始在所考虑的成分处结束且包含这一成分要求操作数表示一个连接内直接内含恰好一个点的点集定义半形式化描述函数相对后端的位置返回指派成分的位置编号计数从最后一个成分开始在所考虑

28、的成分处结束且包含这一成分要求操作数表示一个连接内直接内含恰好一个点的点集定义半形式化描述函数第一成分返回一个非空连接的第一成分定义半形式化描述函数最后成分返回一个连接的最后成分定义半形式化描述函数尾部成分返回一个从非空连接去掉第一成分后的剩余部分定义半形式化描述函数连接的长度返回连接的成分点的数目定义半形式化描述函数成分构造聚合在点集可能为空的各个点返回成分构造集定义半形式化描述函数一个指派的名字集返回所给指派的名字集即该指派各成分名的聚合定义半形式化描述谓词是任何属性值的地方保持者如果实体是具有这里所特定解释含义的原子则它是一个缺省属性值的地方保持者注项任何属性值的地方保持者不是的属性值它

29、是一个用于在整个形式规范中保持一致性及区分必备和缺省属性或参数的构造每当对可缺省属性或参数需要一个值实际值取决于相应的属性和缺省规则并且在文件处理编辑处理布局处理成象处理过程中确定定义半形式化描述谓词是一个最小子表串最小子表串是最小子表字符的一个连接定义半形式化描述谓词是一个最小子表字符一个最小子表字符是的最小子表的一个元素并可看作形式规范的一个原子构造定义半形式化描述谓词是不同非负整数的一个序列不同非负整数的一个序列是非负整数的一个连接其中每个整数至多出现一次定义半形式化描述谓词是非负整数的一个序列非负整数的一个序列是非负整数的一个连接其中一个整数可以出现一次以上定义半形式化描述谓词是一个非

30、负实数一个非负实数是其值大于或等于零的实数定义半形式化描述谓词是一个正实数一个正实数是其值大于零的实数定义文件结构的形式规范半形式化描述中常参引一个或多个章条编号在本章中除非明显特别规定这些编号均指相应的章条下面所给出的是按照的规范规定文件结构的公式的概貌圆点指示为了便于阅读而省略的形式文本部分完整的公式可以用分别由为谓词符号或算符符号上标参引的定义取代每一行除外来获得因此谓词定义中所使用的变量必须由概貌中所出现的来替代如果它们不同一般为各变量选用助记名字从形式上看这是无关紧要的例如因为带有变量的一个定义必须对的任何值均起作用而不是仅对某个正确的特定布局描述起作用也就是说当且仅当的值是一个正确

31、的特定布局描述那么该定义对的这一特定值取真值否则定义取假值注意一个定义是一个公式因此不管代入变量的值是什么它决不能产生一个未定义的结果组元集组元属性属性GB/T 1593日.10-1996and 1sObjectOrObjectClassSelectionFunction叫吵旦旦豆1sBindingReferenceExpression.12)and 1sBindingReference ) 旦旦豆1sB恤dingN田n(v).旦旦正1sBindingSelectionFunction.75 (v ) and 1sCurrentInstanceFunction. 76 (吵旦旦且1sObjec

32、tTypeV alUe-17 and 1sLogicalObject1d吨旦旦且1sLayoutObjectId.79 (吵. and1sObjectId.80( 旦正1sLogt国ObjectCl础Id281 旦正1sLayoutObjectClass1d.82 (吵. 旦正1sObjectCl四s1d.田(v).旦旦且.1sSeqOfObjectCl嗣s1d.(吵and1sConstructionExpr田sion2-田(吵旦且IsConstructionType286. and 1sConstructionTerm. 87 (v) and 1sContentArchitectureCla

33、ss Value- 88 (吵and 1sCharacterContentArchitectureClass valu 89 (v) 旦旦且1sRasterGraphicsContentArchitectureClassV alue- 90 (v) 旦旦且1sGeometricGraphicsContentArchitectureClassV alu 91 (吵. and 1sPresentationA ttributes V alue-92) and 1sCharacterContentPresentationAttribute- 93 (v) 旦旦正1sResterGraphicsCont

34、entPresentationA ttribute. 94). 旦旦正1sGeometricGraphicsContentPresentationAttribute- 95 (v ) 旦旦且.1sB恒d扭gsValue.盹(v).and 1sDefaultV aluelists V alue盯and IsPosition Value2皿(v)and IsDimensions V alue2四(v)and 1sBorderValue- I00(v) and 1sBalance V alue.101 (吵旦旦正1sLayoutPathV alUe- I02 (v) 旦且.1sTransparenc

35、yV alue.1阻(v).and 1sColourValue- I04(v) 旦旦正1sMediumTypeV alue- 105 (. . and 1sProtection V alUe-1盼(吵旦旦且1sLayoutStyle1d.107 (吵.旦旦且1sBlockAlignmentValue.I08 (吵and 1sConcatenation Valu 109 (吵and 1sFillOrderValue. l1o () and 1sLayoutObjectReference日I(V)旦旦正1sLayoutCatName-11 19 辅助定义注这儿未列本处用到但在第章中定义的其他谓词或

36、算符原则上可以通过建立下式证明一个给定的交换集是否符合本项其中代表所有的公理和定义代表一个形式表达式一个项它指所涉的特定交换集如果该扩展的整个公式为真则文件描述符合否则不符合不可能得出一个未定义的结果组元集半形式化描述谓词是一个交换集如果实体是一个类属文件描述或一个文件描述则实体是一个交换集定义半形式化描述谓词是一个类属文件描述类属文件描述包括一个文件轮廓和一个文件体文件体由四个实体和的并组成如果布局式样集非空则类属逻辑结构非空要么出现一个类属逻辑描述要么出现一个类属布局描述或者两者都出现文件轮廓和文件体满足内容体系结构所施加的约束定义半形式化描述谓词是一个文件描述如果实体是一个文件轮廓则它是

37、一个文件描述如果该实体是一个可处理的格式化可处理的或格式化的实体文件轮廓属性文件体系结构类也具有对应相同的值且若文件中规定了任何源在轮廓中亦规定了一个源文件则该实体也是一个文件描述定义半形式化描述谓词是可处理的如果实体是由一个文件轮廓连同包括可能为空组元集和的一个文件体组成的一个组元聚合则它是可处理的文件轮廓中的属性指示一个特定逻辑描述此描述不可缺的出现及任选的类属逻辑描述类属布局描述布局式样集和显现式样集的出现如果轮廓属性类属逻辑结构的值是完整产生符集则特定的逻辑描述完全由类属逻辑描述来规定如果规定了轮廓属性类属布局结构其值为完整产生符集且类属布局描述是一个完整类属描述对轮廓属性特定布局结构

38、未作规定轮廓属性文件体系结构类取值为可处理的文件轮廓和文件体满足内容体系结构施加的各种限制定义半形式化描述谓词是格式化可处理的如果实体是由一个文件轮廓及包括可能为空的组元集和的一个文件体组成的一个组元聚合则它是格式化可处理的文件轮廓中的属性指示一个特定逻辑描述特定布局描述和类属布局描述的出现这三个集不可缺并指示任选的一个类属逻辑描述布局式样集和显现式样集的出现如果轮廓属性类属逻辑结构的值为完整产生符集则特定逻辑描述完全由类属逻辑描述规定如果轮廓属性类属布局结构是完整产生符集则特定布局描述完全由类属布局描述规定特定逻辑描述包含在特定布局描述中轮廓属性文件体系结构类取值为格式化可处理的文件轮廓和文

39、件体满足内容体系结构施加的各种限制半形式化描述谓词是格式化的如果实体是由一个文件轮廓及包括可能为空的组元集和的文件体组成的一个组元聚合则它是格式化的文件轮廓中的属性指示一个特定布局描述的出现此描述不可缺及任选指示一个类属布局描述和显现式样集的出现如果规定了轮廓属性类属布局结构其值为部分产生符集或因子集未规定轮廓属性特定逻辑结构类属逻辑结构和布局式样轮廓属性文件体系结构类取值为格式化的文件轮廓和文件体满足内容体系结构施加的各种限制定义半形式化描述谓词是一个文件体如果实体是可能为空的组元和的一个聚合则它是一个文件体非空是一个类属逻辑描述非空是一个特定逻辑描述非空是一个类属布局描述非空是一个特定布局

40、描述非空是一个布局式样集非空是一个显现式样集如果类属描述和对应的特定描述出现在一个文件体中特定描述由类属描述来描述即特定描述是类属描述所确定的类别中的一个实例对布局式样属性的布局客体类的所有参引都得到满足即每个被参引的布局客体类存在于类属布局结构布局式样属性到布局类别的所有参引都得到满足即每个被引用的布局类别都由某个布局式样规定从通过逻辑源对的所有参引均被满足从特定或类属布局结构由属性平衡参引的所有客体或对象类均存在如果规定了属性成像顺序和下级则它们的值必须确定同一组元集定义半形式化描述谓词是一个类属描述如果实体是客体类描述和可选内容部分描述的一个集则它是一个类属描述实体与内容相关且相应于内容

41、部分描述和客体类描述是完整的一个类属描述具有的根类描述不超过一个在集内属性客体类标识符的值是唯一的定义半形式化描述谓词是一个完整的类属描述如果实体是具有一个或多个初始类属组元客体类描述的一个类属描述则它是一个完整的类属描述这些中正好有一个是逻辑或布局根类描述并且涉及至少一个下级客体类描述此外每个非初始客体类描述都直接或间接地与恰好一个初始类属组元相关因此一个完整的类属描述是通过属性下级产生符相连的被指向的具有单个根的图形的聚合定义半形式化描述谓词是一个类属逻辑描述如果实体是一个只包含逻辑客体类描述和内容部分描述的类属描述则该实体是一个类属逻辑描述对一个内容部分描述存在属性内容标识符逻辑且其值是

42、一个类属逻辑标识符定义半形式化描述谓词是一个类属布局描述如果实体是一个只包含布局客体类描述和内容部分描述的类属描述则该实体是一个类属布局描述对一个内容部分描述存在内容标识符布局其值是一个类属布局标识符定义半形式化描述谓词是一个特定描述如果实体是客体描述和可选内容部分描述的一个集则该实体是一个特定描述它与内容相关且相对于内容部分描述和客体描述是完整的一个特定描述具有唯一的一个根描述它是中唯一的初始特定组元客体描述因此客体描述是由属性下级和内容部分所建立的树根的所有组元是该树的结点定义半形式化描述谓词是一个特定逻辑描述如果实体是只包含逻辑客体描述和内容部分描述的一个特定描述则该实体是一个特定逻辑描

43、述对一个内容部分描述存在属性内容标识符逻辑其值是一个特定逻辑标识符定义半形式化描述谓词是一个特定布局描述如果实体是一个只包含布局客体描述和内容部分描述的特定描述则该实体是一个特定布局描述对一个内容部分描述而言存在属性内容标识符布局其值是一个特定布局标识符布局根或一个页集的直接下级是页集和或面一复合页的直接下级是帧和或块一帧的直接下级是帧和或块如果块是一个组元的直接下级则对该组元不应规定属性平衡反之则必须出现或取缺省值定义半形式化描述谓词是一个布局式样集如果实体是一个布局式样的非空聚合各布局式样的标识符在此聚合中是唯一的则该实体是一个布局式样集定义半形式化描述谓词是一个显现式样集如果实体是一个显

44、现式样的非空集空各显现式样的标识符在此聚合中是唯一的则该实体是一个显现式样集定义半形式化描述谓词满足字符内容体系结构限制条件在文件结构的形式规范中谓词满足字符内容体系结构限制条件赋值为真定义半形式化描述谓词满足光栅图形内容体系结构限制条件在文件结构的形式规范中谓词满足光栅图形内容体系结构限制条件赋值为真定义半形式化描述谓词满足几何图形内容体系结构限制条件在文件结构的形式规范中谓词满足几何图形内容体系结构限制条件赋值为真定义组元在组元中缺省属性的值不必显式规定与必备或非必备属性相反在这种情况下形式规范为在文件描述中别处定义的或者在国家标准和国际标准中定义的值提供一个地方保持者作为缺省值形式地定义

45、这样一种哑值来满足谓词是地方保持者半形式化描述谓词是第部分的一个文件轮廓文件轮廓的形式规范只在这儿执行尽管它对中描述的文件结构的形式规范是必要的一个文件轮廓是一个轮廓属性聚合正如所要求的属性文件体系结构类是一个必备属性且其值是格式化的可处理的或格式化可处理的如果属性文件体系结构类的值是可处理的并且规定属性类属布局结构和特定逻辑结构而没规定特定布局结构属性类属布局结构的值是完整产生符集如果属性文件体系结构类的值是格式化可处理的并且规定了属性类属布局结构特定布局结构和特定逻辑结构属性类属布局结构的值是完整产生符集如果属性文件体系结构类的值是格式化的并且规定了类属布局结构和特定布局结构而没有规定特定

46、逻辑结构和类属逻辑结构属性类属布局结构的值是部分产生符集或因子集定义半形式化描述谓词是一个根类描述一个根类描述是一个逻辑根类描述或一个布局根类描述定义半形式化描述谓词是一个逻辑根类描述一个逻辑根类描述是一个属性集指派这个属性集可以包含属性应用说明联编缺省值表下级产生符布局式样客体类标识符客体类型保护资源用户可读说明和用户可见名属性客体类标识符和客体类型二者都需要并且以值和文件逻辑根作为它们各自的值所有的属性值不能缺省定义半形式化描述谓词是一个复合逻辑客体类描述一个复合逻辑客体类描述是一个逻辑根类描述或一个属性集指派这个属性集可以包含属性应用说明联编缺省值表下级产生符布局式样客体类标识符客体类型

47、保护资源用户可读说明和用户可见名属性客体类标识符和客体类型二者都需要并且以一个逻辑客体类标识符和复合逻辑客体作为各自的值所有属性值不能缺省定义半形式化描述谓词是一个基本逻辑客体类描述一个基本逻辑客体类描述是一个属性集指派这个属性集可以包含属性应用说明联编内容体系结构类内容产生符内容部分布局式样客体类标识符客体类型保护资源用户可读说明和用户可见名属性客体类标识符和客体类型二者都需要并且有一个逻辑客体类标识符和基本逻辑客体作为各自的值所有属性值不能缺省定义半形式化描述谓词是一个逻辑客体类描述一个逻辑客体类描述是一个基本逻辑客体类描述或一个复合逻辑客体类描述定义半形式化描述谓词是一个布局根类描述一个

48、布局根类描述是一个属性集指派这个属性集可以包含属性应用说明平衡联编缺省值表下级产生符布局式样客体类标识符客体类型保护资源用户可读说明和用户可见名属性客体类标识符和客体类型二者都需要且有一个值和文件布局根作为各自的值所有属性值不能缺省平衡的值是空或直接下级客体类标识符的一个序列在后一种情况下必须规定属性下级产生符注要求在这些客体类标识符和下级产生符的值之间的对应仅能在布局过程期间检验定义半形式化描述谓词是一个页集类描述一个页集类描述是一个属性集指派这个属性集可以包含属性应用说明平衡联编缺省值表下级产生符客体类标识符客体类型资源用户可读说明和用户可见名属性客体类标识符和客体类型二者都需要且有一个布局客体类标识符和页集作为各自的值所有属性值不能缺省平衡的值是空或直接下级客体类标识符的一个序列在后一种情况下必须规定属性下级产生符注要求在这些客体类标识符和下级产生符的值之间的对应仅能在布局过程期间检验定义半形式化描述谓词是一个复合页类描述一个复合页类描述是一个属性集指派这个属性集可以包含属性应用说明平衡联编颜色缺省值表尺寸下级产生符媒体类型客体类标识符客体类型页位置资源透明度用户可读说明和用户可见名属性客体类标识符和客体类型二者都需要并且有一个布局客体类标识符和复合或基本页作为各自的值所有属性值