【英语版】国际标准 ISO 8807:1989 EN 信息处理系统 - 开放系统互连 - LOTOS - 基于观测行为的时空排序的正式描述技术 Information processing systems - Open Systems Interconnection - LOTOS - A formal description technique based on the temporal ordering of observational behaviour.pdf

  • 0
  • 0
  • 2024-07-10 发布于四川
  • 正版发售
  • 现行
  • 正在执行有效期
  •   |  1989-02-09 颁布

【英语版】国际标准 ISO 8807:1989 EN 信息处理系统 - 开放系统互连 - LOTOS - 基于观测行为的时空排序的正式描述技术 Information processing systems - Open Systems Interconnection - LOTOS - A formal description technique based on the temporal ordering of observational behaviour.pdf

  1. 1、本标准文档预览图片由程序生成,具体信息以下载为准。
  2. 2、本网站所提供的标准文本仅供个人学习、研究之用,未经授权,严禁复制、发行、汇编、翻译或网络传播等,侵权必究。
  3. 3、本网站所提供的标准均为PDF格式电子版文本(可阅读打印),因数字商品的特殊性,一经售出,不提供退换货服务。
  4. 4、标准文档要求电子版与印刷版保持一致,所以下载的文档中可能包含空白页,非文档质量问题
查看更多

以下文本介绍内容由我方AI生成,信息仅供参考,如有出入,请以实际为准。

ISO8807:1989EN信息处理系统-开放系统互连-LOTOS-基于对观察行为的时间排序的形式描述技术ISO8807是ISO开放系统互连(OSI)标准的一部分,该标准描述了一种通用的框架,用于实现开放系统之间的通信和互操作性。在这个框架中,LOTOS是一种基于对观察行为的时间排序的形式描述技术,它用于定义和描述系统中的观察和控制行为的结构、时间和逻辑顺序。LOTOS强调了对系统行为的描述需要全面考虑各种因素,包括行为的发生条件、发生的频率、发生的持续时间以及与其它行为的交互等。LOTOS的描述方法可以帮助开发人员更好地理解系统的行为,从而更有效地设计、测试和调试系统。ISO8807:1989EN标准定义了一种用于描述开放系统互连的重要技术LOTOS,它基于对观察行为的时间排序,有助于开发人员更好地理解系统行为并优化系统设计。

您可能关注的文档

文档评论(0)

认证类型官方认证
认证主体北京标科网络科技有限公司
IP属地四川
统一社会信用代码/组织机构代码
91110106773390549L

1亿VIP精品文档

相关文档