時間順序指定言語

コンピュータ科学において、時間順序仕様言語（LOTOS）は、事象の時間順序に基づいた形式仕様言語です。LOTOSは、国際標準化機構（ISO）のオープンシステム相互接続モデル（OSI）規格における通信プロトコル仕様に用いられています。

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

規格の策定作業は1988年に完了し、1989年にISO 8807として発行されました。1993年から2001年にかけて、ISO委員会はLOTOS規格の改訂版を定義する作業を行い、2001年にE-LOTOSとして発行されました。

• 形式手法
• ISO規格一覧
• CADP
• 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、「LOTOS から LNT へ」。Joost-Pieter Katoen、Rom Langerak、Arend Rensink 編、「ModelEd、TestEd、TrustEd - Ed Brinksma 氏の 60 歳の誕生日に捧げるエッセイ」、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