• 废止
  • 已被废除、停止使用，并不再更新
  • 1989-07-27 颁布
©正版授权
注：本标准为国际组织发行的正版标准，下载后为完整内容；本图片为程序生成，仅供参考，介绍内容如有偏差，以实际下载内容为准
【正版授权】 ISO 9074:1989 EN Information processing systems - Open Systems Interconnection - Estelle: A formal description technique based on an extended state transition model_第1页
全文预览已结束

下载本文档

基本信息：

  • 标准号：ISO 9074:1989 EN
  • 标准名称：信息处理系统 开放系统互连 Estelle：基于扩展状态转换模型的正式描述技术
  • 英文名称：Information processing systems — Open Systems Interconnection — Estelle: A formal description technique based on an extended state transition model
  • 标准状态：废止
  • 发布日期：1989-07-27

文档简介

ISO9074:1989ENInformationprocessingsystems—OpenSystemsInterconnection—Estelle:Aformaldescriptiontechniquebasedonanextendedstatetransitionmodel是一个基于扩展状态转换模型的正式描述技术。它是一种用于描述信息处理系统（如网络、数据库管理系统等）的模型，旨在提供一种形式化的方法来描述系统的结构和行为。它是一种标准化的方法，可用于系统开发、测试、文档编写和系统集成等方面。

该技术包括以下几个关键概念：

1.状态：系统中的各种状态，表示系统当前所处的状态。

2.转换：状态之间的转换，表示系统从一个状态转移到另一个状态的事件或操作。

3.事件：触发转换的事件，可以是外部输入、内部条件变化等。

4.规则：描述转换规则的集合，用于确定在特定事件发生时系统如何从当前状态转移到下一个状态。

通过使用Estelle技术，开发人员可以详细描述系统的结构和行为，包括系统的输入、输出、内部处理和外部交互等方面。这有助于开发人员更好地理解系统的功能和限制，以及更好地设计和测试系统。此外，Estelle技术还可以用于文档编写和系统集成，因为它提供了一种形式化的方法来描述和交流系统的功能和行为。

ISO9074:1989ENInformationprocessingsystems—OpenSystemsInterconnection—Estelle:Aformaldescriptiontechniquebasedonanextendedstatetransitionmodel是一种用于描述信息处理系统（如网络、数据库管理系统等）的模型，提供了一种形式化的方

人人文库> 全部分类> 行业资料 > 各类标准

温馨提示

  • 1. 本站所提供的标准文本仅供个人学习、研究之用，未经授权，严禁复制、发行、汇编、翻译或网络传播等，侵权必究。
  • 2. 本站所提供的标准均为PDF格式电子版文本（可阅读打印），因数字商品的特殊性，一经售出，不提供退换货服务。
  • 3. 标准文档要求电子版与印刷版保持一致，所以下载的文档中可能包含空白页，非文档质量问题。
  • 4. 下载后请按顺序安装Reader（点击安装）和FileOpen（点击安装）方可打开。详细可查看标准文档下载声明

最新文档

评论

0/150

提交评论