信息技术.开放系统互连.CCR协议的LOTOS描述

[中文适用范围]： 使用形式描述语言 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.