ISO/IEC TR 11590:1995 信息技术,开放系统互连,CCR协议的LOTOS种类

标准编号：ISO/IEC TR 11590:1995

中文名称：信息技术,开放系统互连,CCR协议的LOTOS种类

英文名称：Information technology — Open Systems Interconnection — LOTOS description of the CCR protocol

发布日期：1995-09

标准范围

使用形式化描述语言LOTOS描述ISO/IEC 9805-1 CCR协议规范。LOTOS规范不仅包括CCR协议机，还包括控制ASE的CF（控制功能），以便CCR-ASE过程的体系结构与ALS结构兼容。根据ALS结构，本技术报告采用第6条所示的模型。LOTOS规范包括CF（控制功能）以及CCR协议机，然而，CF的描述仅包括其与CCR操作有关的功能。

Describes ISO/IEC 9805-1 CCR Protocol Specification using formal description language LOTOS. The LOTOS specification includes not only CCR protocol machine, but also CF (control function) which controls the ASEs in order that the architecture of the CCR-ASE process is compatible with the ALS structure. According to the ALS structure, this Technical Report employs the model as shown in clause 6. LOTOS Specification covers CF (control function) as well as CCR protocol machine, however, the description of CF includes only its functions concerning CCR operations.

标准预览图