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、添加一个元素到集合属性 要求被增添的那个元素不同于那个集合里的所有元素成功地从集合属性里移走一个元素要求在那个集合里存在该元素读属性该动作询问所请求的属性值 对于向量或集合属性它返回完整的元素值表打开文卷该动作建立文卷打开时期以便在被选择的文卷上实施文卷访问动作 见第 章 当文卷为读而打开时仅读和定位动作有效当文卷为写而打开时所有文卷访问动作都有效关闭文卷按照有序方式该动作终止从前被打开文卷动作所建立的打开时期删除文卷该动作删除并去选已选择的文卷 它终止当前文卷选择时期去选文卷按有序方式该动作终止当前文卷选择时期文卷访问动作访问动作在由打开文卷动作建立起的时期内操作 在具体文卷上可用的动作将取
32、决于适用于该文卷的约束集并可被该约束集修改 见附录 此外文卷属性允许的动作和访问控制会进一步约束某些动作是否可在这个文卷上实施标识方式的可用范围可由约束集修改 供访问的文卷内容结构是在第 章中定义的文卷访问结构 它在执行读动作时由使用中的访问上下文修改定位该动作定位指定的 参数值包括请求在文卷的起始或结尾的位置定位 文卷打开时的位置按所使用的约束集中的规定允许通过参数值指出 标识的不同方式 在 里定义了合法的 标识值的范围如果定位操作失败当前位置保持不变读该动作定位并读一个 访问之后的位置不改变基于所要求的访问上下文决定待传送的数据单元和结构信息 请求可以针对规定在约束集里的任何已定义的访问上
33、下文插入该动作创建一个新的 并按约束集里的规定把它插在文卷中的某个位置 见附录 和在分级文卷里 可插在相对于父节点的任一级 此级被规定在 的之中见 缺省的相对级是置换该动作置换现存的 或 的内容从前的内容将丢失 置换或者针对当前定位的整个或者只针对连接到它根节点的 之内容仅当文卷结构信息在置换 时是可用的置换整个 才合法 置换动作既不能改变当前定位的 节点名 也不能改变它的根节点的弧长 置换对 里的结构信息和 都适用也即新结构信息可能被引进当作置换的一部分仅当被置换的 不影响文卷结构信息时置换连接到当前定位的 根节点的 才被允许置换动作不改变当前的位置扩展该动作把数据加到与当前定位的 根节点相
34、关联的 之末端 扩展动作仅适用于现存的扩展动作并不改变当前位置擦除擦去一个 并按前序遍历序列定位在该 之后剩余的 中的第一个 当定位在文卷的根节点时执行擦除动作 那么该文卷恢复到刚创建时的状态文卷动作与当前位置表 定义了文卷访问动作对当前位置的影响 如果调用动作的服务原语携带 标识符那么当前位置可能已经被一个蕴含的定位所建立 如果定位动作不成功 则当前位置不改变注 附录 包含了动作对当前位置影响的例子和建立结构的途径的例子表 动作对位置的影响访问操作 访问后的位置定位 如 标识所规定的那样定义在读 由 标识所规定插入见附录置换 不改变扩展 不改变擦除 跟在擦除的 之后的 按前序遍历序列第三篇属
35、性定义文卷属性每个文卷属性都是全局的在任一特定时刻 在全局里它有一个值或一组值 文卷动作的所有发起者对一个文卷属性都将看到同样的值 值集或者都得到 指示文卷名在文卷存储器里的每个文卷都有一个文卷名 文卷名是向量属性 它们中的元素形成名字组成部分的序列每个组成部分都是 类型的值 见第 章文卷名属性值在文卷创建时设置 而且能够由改属性动作修改注并不为文卷名的各组成部分定义任何解释 这为发起者和响应者提供了透明的命名机制名在虚文卷存储器中定义的组成部分和它在实系统环境中划分的组成部分之间的关系由本地实现选择 一个实现可把本地组成部分结构映射到文卷名属性的组成部分上或者它可以把现存的文卷名语法映射到从
36、虚文卷存储器看来只有一个组成部分的文卷名上一个实现可以将选择到该文卷的访问途径反映到虚文卷存储器文卷名的组成部分 但是这种选择本身对互连目的并不是可见的允许的动作允许的动作属性是向量属性 它指明能够在文卷上执行的动作集合 和能够被用于文卷访问动作的标识方式的集合 见 和第 章 响应者可用任何能够将其映射到所用实系统的方法来实现这个允许的动作集标识的不同方式被分成如下三种 标识组遍历反向遍历随机次序 单个 节点名序列 节点号该属性是向量其元素取布尔值 每个元素指明一个动作或 标识组的可用性 这些元素是可用的动作读插入置换扩展擦除读属性改属性删除文卷可用的 标识组遍历反向遍历随机次序该属性的值在文
37、卷创建时设置 且不能用改属性动作加以改变内容类型内容类型属性指明文卷内容和结构信息的抽象数据类型 如果在传送文卷期间必须维护完整的文卷结构和语义 则它是必需的 内容类型是标量属性该属性的值在文卷创建时设置 且不能用改属性动作改变该值或者是文件类型名可能带有任何类型的单值参数 或者是抽象语法名和约束集名对 这些名字都是类型 的值如果用于写的打开动作给出的内容类型信息不与这个属性相匹配那么这个打开动作就不会成功如果用于读的打开动作给出任何等于 简化或松弛于这个属性 见附录 的信息那么这个打开动作会成功 更进一步说给出的信息可以是不提供在此情况使用该属性的值抽象语法名和约束集名 在此情况匹配必须准确
38、没有参数的文件类型名在此情况对于写必须准确匹配 而对于读可以是已定义的简化带有空参数的文件类型名 在此情况名字必须匹配 或对读是简化 但参数值是从该属性值中提供带有非空参数的文卷类型名在此情况名字必须匹配或对读是简化 并且对于写 参数必须匹配或者是更受限而对于读 则要求参数匹配或者是松弛存储器帐户存储器帐户属性标识对累计的文卷存储器费用负责的可结算机构 它是标量属性该属性的值在文卷创建时设置 但能用改属性动作来修改存储器帐户属性的值是 类型注 管理帐户的机制和协商收费率的手段不属 这部分的范围创建日期和时间创建日期和时间属性指明该文卷创建于何时 它是标量属性当文卷被创建时由响应者设置它并且引用
39、响应者的本地日期和时间 日期和时间属性值是创建动作执行时的日期和时间不能够使用改属性动作来修改该属性该属性值的类型是 见上次修改的日期和时间上次修改的日期和时间属性是标量属性它指示文卷的内容上次是何时被修改的无论何时只要响应者为修改或扩展而打开文卷后又关闭了它 包括一个连接失败后的关闭 就改变该属性 除非被打开的文卷允许改变内容 否则该属性不改变 文卷属性改变时并不改变它 该属性值为执行文卷关闭动作时的日期和时间不能使用改属性动作来改变此属性属性的值是 类型见 对于新创建的文卷 该值等于创建日期和时间属性的值上次读访问的日期和时间上次读访问的日期和时间是标量属性它指明上次何时文卷的内容被读过无
40、论何时只要响应者为读而打开文卷后又关闭了它 包括一个连接失败后的关闭 就改变该属性该属性值为执行文卷关闭动作时的日期和时间 除非文卷被打开否则该属性不改变 如果文卷仅被选择但没被打开 例如读它的属性 则该属性并不改变不能够使用改属性动作来改变此属性该属性的值是 类型见 对于新创建的文卷该值等于创建日期和时间属性的值上次属性修改的日期和时间上次属性修改的日期和时间属性是标量属性 它指明文卷属性值上次何时被修改当对一个或多个属性成功地执行了改属性动作后 响应者改变该属性 一个属性 如文卷大小 的隐含变化并不改变该属性 该属性值为执行改属性动作时的日期和时间该属性不能由改属性动作来改变该属性的值是
41、类型见 对于新创建的文卷该值等于创建日期和时间属性的值创建者标识创建者标识属性是标量属性 当文卷被创建时由响应者设置它 该标识被设置成文卷创建时当前发起者标识活动属性的值不能够使用改属性动作改变该属性该属性值是 类型上次修改者标识上次修改者标识属性是标量属性 无论何时只要响应者为修改或扩展而打开文卷后又关闭了它 包括一个连接失败后的关闭 就改变该属性 当文卷关闭时该标识被设置成当前发起者标识活动属性的值不能够使用改属性动作改变该属性该属性值是 类型 对于新创建的文卷 此值等于创建者标识属性的值上次阅读者标识上次阅读者标识属性是标量属性 无论何时只要响应者为读而打开文卷后又关闭了它包括一个连接失
42、败后的关闭 就改变该属性 该标识被设置成文卷关闭时当前发起者标识活动属性的值不能够使用改属性动作改变该属性该属性值是 类型 对于新创建的文卷 此值等于创建者标识属性的值上次属性修改者的标识上次属性修改者标识属性是标量属性 当对一个或多个属性成功地执行了改属性动作后 由响应者改变它 该标识被设置成当前发起者标识的值不能够使用改属性动作改变该属性该属性值是 类型 对于新创建的文卷 此值等于创建者标识属性的值文卷可用性文卷可用性属性是标量属性 它指明在该文卷能打开之前是否要期待延迟该属性的值在文卷创建时设置 但能由改属性动作改变其值可以是 或注 此属性指明了对响应者有意义的一种文卷分类 而不是延时量
43、的度量 如果此值起初设置成则该文卷被假定保存在非可拆卸装置上 并且当访问此文卷时将不会遇到明显的延迟如果发起者设置该值为 则它可能是给响应者的一个指示 即此文卷可存储在可拆卸装置上 如果发起者将该属性重置为 则它可以是向响应者指明在此文卷已经被下载到可拆卸装置的情况下拷贝此文卷到立即可用的装置上 然而该属性的实际使用是依赖于实现的文卷大小文卷大小属性是标量属性无论何时只要响应者为修改或扩展而打开文卷后又关闭了它 包括一个连接失败后的关闭 就改变该属性 在文卷关闭时该属性值被设置成整个文卷按八位位组表示的标称值 见注该属性不能使用改属性动作来改变或用创建动作的初始属性参数来设置该属性值是整型 对
44、新创建的文卷此值被置为零注文卷大小基于实文卷存储器所涉及的数据类型的具体表示 当数据按不同形式移动或存储时取决于协商的传送语法 文卷的大小可变化如果实文卷存储器给文卷分配空间是按基本单位 如块存储桶的倍数计则也许不能确定文卷中确切的八位位组数目那么就只能假定文卷大小是按基本单位的倍数计按八位位组未来文卷大小未来文卷大小属性是标量属性它指明作为修改和扩展的结果 此文卷可能扩展到按八位位组表示的标称值该属性的值在文卷创建时设置 且能够用改属性动作修改该属性值是整型数注 在当前文卷大小属性值达到未来文卷大小属性值时响应者可以增大未来文卷大小增大未来文卷大小并给出警告不增大未来文卷大小 但指明差错访问
45、控制访问控制属性是集合属性 它定义文卷合法访问的条件集合中的每个元素给出一个文卷合法访问的条件至少要满足这些条件中的一个 才能允许访问该文卷 然而访问必须基于一个单个条件 而不是基于多个独立的条件的并集该属性的值在文卷创建时设置 且能够用改属性动作来改变一个条件包括一或二项说明它所允许的访问见下面 并且还包括给出基于各种活动属性值测试的零到三个其它项见下面 只有其中各项都满足时则整个条件才被满足这些项具体是访问的说明 包括一个动作表项 按照布尔向量的形式 如果某动作存在于该表内则对应的布尔量为真 各布尔量分别对应于动作读 插入 置换 扩展擦除 读属性改属性和删除文卷每当要设置当前访问请求属性时
46、就使用此动作表项 仅当包含在当前访问请求属性值里的动作全部出现在动作表中 该动作表项才被满足如果该动作表项被满足 那么选择文卷和去选文卷动作也是允许的 如果被满足的该动作表项包含任何一种文卷访问动作 见第 章 则动作打开文卷和关闭文卷也是允许的只要动作定位在建立的 时期里是可用的 则它也是允许的可选地按照并发键向量的形式出现的并发访问项 并发键分别对应于动作读 插入置换扩展 擦除 读属性 改属性和删除文卷 并发键是布尔向量它的元素对应于并发锁的可能值 见 在并发键里的元素对应于锁值 和每当要设置当前并发控制属性时 就使用该属性 仅当在并发键里对应于当前并发控制属性中所请求的锁的布尔量为真时 该
47、并发控制项才被满足如果从访问控制元素中省略了该项那么并发控制参数不应存在于由这种访问控制元素允许的访问之中测试项包括可选地一个标识此值是 类型 如果它与联系的当前发起者标识动作属性值见 相匹配 则该项被满足可选地按照串 可有一个或多个是空白 向量形式出现的口令向量的每个元素对应于动作读插入 置换 扩展 擦除 读属性 改属性和删除文卷之一 如果该向量中的每个非空串都与保持在当前访问口令属性里的对应口令相匹配则该项被满足可选地一个位置 其值是一个应用实体标题 如果它与 时期的当前主呼应用实体标题属性的值 见 相匹配 则该项被满足注当文卷生成时 访问控制属性的初始值被分配 如果当文卷生成时访问控制属
48、性不被支持 则它由一个局部响应者事件决定这个值的分配该属性可被一次只允许一个访问控制条件 长度为一的表 的实现所支持某些实现可能对条件中各项可能的组合方式 或者条件的各种可能存在形式之数目加以限制 例如一个实现可能只允许每个被容许的访问类型只有一个口令标识口令或应用实体标题的匹配并非必须是基于文字上的相同 例如个体名字可匹配组名只要此个体是那个组的成员法律限定法律限定属性是标量属性它运送关于文卷的法律状态和它的使用的信息该属性值在文卷创建时设置 它能够被改属性动作改变该属性值是 类型注 支持这个属性的含义支持将取决于国家数据保护立法的形式专用专用属性是标量属性 它的含义不定义在 这部分该属性值
49、可在文件创建时设置 它可由改属性动作来改变该属性值能够取任何一种形式注 非常不鼓励使用这个属性 提供它只是为了在当没有本标准内部属性的组合能够运送预期的语义的情况下使用活动属性活动属性被用作描述性工具 以反映进展中的 时期的状态 对于每个初始化了的 时期存在有一组活动属性值 这些属性值只反映文卷存储器访问的状态 而并不反映到文卷存储器通信路径的详细状态现役内容类型现役内容类型属性是标量属性它或者标识文件类型名 或者标识为文卷传送而建立的一对抽象语法名和约束集名 该属性值在此文卷打开时建立 可从内容类型属性中得出或从发起者提供的取代值中得出该值或者是文件类型名它可能带有任何类型的单值参数 或者是抽象语法名和约束集名对 这些名字都是类型 的值现役内容类型属性的作用域是打开时期当前访问请求当前访问请求属性是向量属性 它的元素取布尔值 对于每个动作有一个元素 这些动作在一个具体的选择时期可能允许也可能不允许 因此要在 时期中请求对应文卷访问动作的元素是读允许文卷访问动作读插入允许文卷访问动作插入置换允许文卷访问动作置换扩展 允许文卷访问动作扩展擦除 允许文卷访问动作擦除如果任何文件访问动作被允
