この規格 プレビューページの目次
※一部、英文及び仏文を自動翻訳した日本語訳を使用しています。
1 適用範囲と適用分野
この国際標準は、正式記述技法 LOTOS の構文と意味論を定義します。 LOTOS は、一般に、分散型同時情報処理システムの正式な記述に使用されます。特に LOTOS は、ISO 7498 に記述されている Open Systems Interconnection (OSI) アーキテクチャのレイヤーのサービス定義とプロトコル仕様、および関連規格、OSI プロトコルおよび/または OSI 機能の実装のための適合性テストを正式に記述するために使用できます。また、電話交換ネットワークなど、他の分散システムの正式な記述にも適用できます。
1 Scope and field of application
This International Standard defines the syntax and semantics of 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.