ISO 8807:1989
信息處理系統 開放系統互連 LOTOS并基于暫時排序觀察行為的形式描述技術
Information processing systems; open systems interconnection; LOTOS; a formal description technique based on the temporal ordering of observational behaviour
- 標準號
- ISO 8807:1989
- 發布
- 1989年
- 發布單位
- 國際標準化組織
- 當前最新
- ISO 8807:1989
- 適用范圍
- 定義用于分布式并發信息處理系統的形式化描述的形式化描述技術 LOTOS 的語法和語義。 LOTOS 可用于正式描述 ISO 7498 和相關標準中描述的開放系統互連 (OSI) 架構各層的服務定義和協議規范，以及 OSI 協議和/或 OSI 功能實現的一致性測試。 它也可以應用于其他分布式系統的形式化描述，例如電話交換網絡。 參考文獻：ISO 7498； CCITT 建議 Z.100，SDL。
ISO 8807:1989相似標準
CSA Z243.101-89-CAN/CSA-1989 信息處理系統—開放系統互連—LOTOS— 一種基于暫時排序觀察行為的形式描述技術
KS X 3003-1993(2018) 信息處理系統 - 開放系統互連 - LOTOS - 正式描述技術基于觀察行為的時間排序
CAN/CSA-Z243.101-1989(R2013) 信息處理系統 開放系統互連 LOTOS 基于觀察行為時間順序的形式化描述技術
KS C 5917-1993 信息處理系統-開放系統互連-LOTOS-一種基于觀察行為時序的形式化描述技術
BH GSO ISO 8807:2012 信息處理系統 開放系統互連 LOTOS 基于觀察行為時間順序的形式化描述技術