標(biāo)準(zhǔn)號(hào)：SIS SS-ISO 8807-1989
中文標(biāo)準(zhǔn)名稱：信息處理系統(tǒng)．開(kāi)放式系統(tǒng)互連．LOTOS以觀察行為臨時(shí)性排序?yàn)榛A(chǔ)的形式化描述技術(shù)
英文標(biāo)準(zhǔn)名稱：Information processing systems — Open Systems Interconnection — LOTOS — A form?l description technique based on the temporal ordering of observational behaviour
發(fā)布日期：1989/12/6 12:00:00
實(shí)施日期：1999/12/31 12:00:00
適用范圍：This International Standard defines the syntax and semantics ot the Formal Description Technique LOTOS. LOTOS is in general used for the formal description of distributed, concurrent information processing systems. , In particular LOTOS can be used to describe formally the service definitions and protocol specifications of the layers of Open Systems Interconnection (OSI) architecture described in ISO 7498, and related standards, and conformance tests for implementations of OSI protocols and/or OSI functions. It can also be applied for the formal description of other distributed systems, such as telephone switching networks.