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、见建立联系使用的定义如下某一客体标识符值在这个例子中允许服务器断联接着对参与交互的客体与它们使用的联系约定一起给以定义约定定义如下某一客体标识符值和服务器客体定义如下某一客体标识符值某一客体标识符值最后定义上面所提供的抽象定义的实现其中这包括用于协议和抽象语法的应用上下文定义通过协议交换的数据值的抽象语法定义如下某一客体标识符值其中使用的中类属的定义应用上下文定义如下某一客体标识符值其中和附录提示的附录分配的客体标识符值本标准中分配了下列客体标识符值引用条文客体标识符值客体描述符值附录上面是本标准定义的模型的标识符定义了允许的联系和传送实现上面是本标准定义的模型的标识符定义了表示的的抽象语法第章上面是联系实现信息客体不带拼接的客体标识符上面是联系实现信息客体允许拼接的客体标识符上面是联系实现信息客体的客体标识符上面是当使用不带拼接时传送实现信息客体的客体标识符上面是当使用带拼接时传送实现信息客体的客体标识符上面是当使用服务时传送实现信息客体的客体标识符
