時間的順序仕様の言語

コンピューターサイエンスでは、 Language Of Temporal Ordering Specification （ LOTOS ）は、イベントの時間的順序付けに基づく正式な仕様言語です。 LOTOSは、ISO OSI標準のプロトコル仕様に使用されます。

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

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