コンピュータサイエンスの領域において、システムの動作を厳密に定義するための「形式仕様言語」は不可欠なツールです。その中でもLOTOS（Language of Temporal Ordering Specification）は、イベントが発生する時間的な順序に基づいた仕様記述を可能にする言語として開発されました。

主に国際標準化機構（ISO）が定めるOSI（開放型システム間相互接続）参照モデルにおける通信プロトコルの仕様策定に活用されており、複雑な通信手順を数学的な厳密さで記述することに特化しています。

Key Facts

  • 正体：イベントの時間的順序に基づく形式仕様言語。
  • 主な用途：ISO OSIモデルにおける通信プロトコルの仕様記述。
  • 構成：「抽象データ型」によるデータ記述と、「プロセス代数」による並行処理記述の二本立て。
  • 標準化：1989年にISO 8807として公開され、後にE-LOTOSへと発展。

LOTOSを構成する2つの理論的基盤

LOTOSは代数的な性質を持つ言語であり、大きく分けて2つの異なるアプローチを組み合わせてシステムを記述します。

1. データと操作の記述（抽象データ型）

データの構造やそれに対する操作を定義するために、抽象データ型（Abstract Data Types）が採用されています。これにより、実装の詳細に依存せず、データがどのような論理的性質を持つかを明確に定義できます。

2. 並行プロセスの記述（プロセス代数）

複数の処理が同時に進行する挙動を記述するためには、プロセス代数（Process Calculus）に基づいた手法が用いられています。これにより、並行して動作するプロセス間の相互作用や同期を数学的に表現することが可能です。

標準化の歩みと進化

LOTOSの標準化プロセスは、通信ネットワークの高度化に合わせて段階的に進められました。1988年に標準策定の作業が完了し、翌1989年にISO 8807として正式に発行されました。

その後、さらなる機能向上と現代的なニーズへの対応を目指し、1993年から2001年にかけてISO委員会による改訂作業が行われました。その成果として、2001年に刷新されたバージョンであるE-LOTOSが公開されるに至りました。

LOTOSの標準化タイムライン
年 出来事・マイルストーン 備考
1988年 標準策定の完了 基礎仕様の確定
1989年 ISO 8807として発行 正式な国際標準化
1993年〜2001年 改訂版の策定作業 ISO委員会による検討
2001年 E-LOTOSの公開 拡張・改訂版のリリース

Frequently Asked Questions

LOTOSとはどのような言語ですか？

イベントが発生する時間的な順序を定義することに特化した形式仕様言語であり、主に通信プロトコルの厳密な設計に利用されます。

どのような技術的基盤に基づいていますか？

データの記述には「抽象データ型」を、並行して動作するプロセスの記述には「プロセス代数」という2つの代数的な手法を組み合わせて構成されています。

OSI参照モデルとどのような関係がありますか？

ISOが定めるOSI参照モデルの標準規格において、通信プロトコルの仕様を正確に記述するための手段としてLOTOSが採用されました。

E-LOTOSとは何ですか？

1989年に発行されたISO 8807（LOTOS）をベースに、1993年から2001年にかけてISO委員会が改訂を行い、2001年に公開した発展的なバージョンです。