• 现行
  • 正在执行有效
  • 1989-02-09 颁布
©正版授权
注:本标准为国际组织发行的正版标准,下载后为完整内容;本图片为程序生成,仅供参考,介绍内容如有偏差,以实际下载内容为准
【正版授权-英语版】 ISO 8807:1989 EN Information processing systems - Open Systems Interconnection - LOTOS - A formal description technique based on the temporal ordering of observational behav_第1页
全文预览已结束

下载本文档

基本信息:

  • 标准号:ISO 8807:1989 EN
  • 标准名称:信息处理系统 开放系统互连 LOTOS 基于观察行为时间顺序的正式描述技术
  • 英文名称:Information processing systems — Open Systems Interconnection — LOTOS — A formal description technique based on the temporal ordering of observational behaviour
  • 标准状态:现行
  • 发布日期:1989-02-09

文档简介

ISO8807:1989是关于信息处理系统的标准,特别关注开放系统互连,即在不同系统之间进行信息交换的标准。LOTOS是这种开放系统互连的一种描述技术。LOTOS是一种基于对观察行为的时间排序的正式描述技术。

LOTOS描述技术的主要特点在于它对观察行为的详细分析。观察行为是系统对外部环境或其它系统的反应,它包括了对输入信息的处理和输出信息的产生。LOTOS通过将观察行为按照时间顺序进行排列,从而实现对系统行为的精确描述。

这种描述技术对于理解系统的功能和交互方式非常有用。它可以帮助开发者理解系统的各个部分是如何协同工作的,以及如何通过系统间的信息交换来实现互连。此外,LOTOS还提供了一种形式化的描述方式,使得系统设计更加规范化和标准化。

ISO8807:1989ENInformationprocessingsystems—OpenSystemsInterconnection—LOTOS—Aformaldescriptiontechniquebasedonthetemporalorderingofobservationalbehaviour是一种非常重要的信息处理系统标准,它提供了一种基于时间排序观察行为的L

温馨提示

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

评论

0/150

提交评论