時間順序指定の言語

コンピュータサイエンスにおける時間順序仕様言語( LOTOS ) は、イベントの時間順序に基づいた正式な仕様言語です。LOTOS は、国際標準化機構 (ISO) の開放型システム間相互接続モデル (OSI)標準の通信プロトコル仕様に使用されます。

LOTOS は、抽象データ型に基づいてデータと操作を記述する部分と、プロセス計算に基づいて並行プロセスを記述する部分の 2 つの部分から構成される代数言語です。

この規格の作業は 1988 年に完了し、1989 年に ISO 8807 として公開されました。1993 年から 2001 年にかけて、ISO 委員会は LOTOS 規格の改訂版の定義に取り組み、2001 年にE-LOTOSとして公開されました。

参照

ISO/IEC 国際規格 8807:1989。情報処理システム - 開放型システム相互接続 - LOTOS: 観測動作の時間的順序付けに基づく形式的記述手法。ジュネーブ、1989 年 9 月。
形式的記述技法 LOTOS、PHJ van Eijk et al.、編集者、北オランダ、1989 年。
LOTOSphere: LOTOS によるソフトウェア開発、Tommaso Bolognesi、Jeroen van de Lagemaat、および Chris Vissers、編集者、Kluwer Academic Publishers、1995 年。
Hubert Garavel、Frédéric Lang、Wendelin Serwe、「From LOTOS to LNT」。Joost-Pieter Katoen、Rom Langerak、Arend Rensink 編、「ModelEd, TestEd, TrustEd - Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday」、Lecture Notes in Computer Science 巻 10500、3～26 ページ、Springer International Publishing、2017 年 10 月、doi 10.1007/978-3-319-68270-9_1。