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

下载文档

1
0
2024-07-10 发布于四川
正版发售

现行
正在执行有效期
| 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 behaviour 信息处理系统 - 开放系统互连 - LOTOS - 基于观测行为的时空排序的正式描述技术.pdf

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

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

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