SIS SS-ISO 9074-1989 信息处理系统．开放式系统互连．延续性状态转换模型（Estelle）基于延续性状态转换模型的形式化描述技术

标准号：SIS SS-ISO 9074-1989
中文标准名称：信息处理系统．开放式系统互连．延续性状态转换模型（Estelle）基于延续性状态转换模型的形式化描述技术
英文标准名称：Information processing systems — Open Systems Interconnection — Estelle — A form?l description technique based on an extended state transition model
发布日期：1989/12/6 12:00:00
实施日期：1999/12/31 12:00:00
适用范围：This Iniemational Standard dennes ihe semantics and syntax of the Form?l Descripljon Technique Estelle. Estelle is in general used for the formal description of dislributed, concurrent information pro-cessing systems. In particular Estelle can be used formally to describe the service definitions and proto-col specificalions of the layers of Open Systems Interconnection described in ISO 7498. This International Standard does not denne methods for the verification of specifications wrilten in Estelle.