時間順序仕様の言語

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

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

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

参照

• 仕様言語
• CADP
• テンプレート:同時実行コンピューティング
• ISO規格一覧
• 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。

外部リンク

• 世界的なLOTOS学習環境（WELL）
• LOTOSチュートリアル（セクション3を参照）
• RKBExplorerのLOTOS