仕様および説明言語

仕様記述言語（SDL）は、リアクティブシステムや分散システムの動作を明確に仕様記述することを目的とした仕様記述言語です。

ITU -Tは勧告Z.100からZ.106でSDLを定義しました。SDLは当初、電気通信システムに焦点を当てていました。2016年現在現在の応用分野には、プロセス制御や一般的なリアルタイムアプリケーションが含まれます。その性質上、シミュレーションシステム^{[ 1 ]}を曖昧さなくグラフィカル表記で表現するために使用できます。

仕様記述言語は、グラフィカルなグラフィック表現（SDL/GR）とテキスト形式のフレーズ表現（SDL/PR）の両方を提供しており、どちらも同じ基礎となる意味論の等価な表現です。モデルは通常、グラフィカルなSDL/GR形式で表示され、SDL/PRは主にツール間でモデルを交換するために使用されます。システムは、有限状態機械（FSM）の拡張である相互接続された抽象機械の集合として指定されます。^{[ 2 ]}

この言語は形式的に完全であるため、^{[ 3 ]} シミュレーションまたは最終ターゲットのコード生成に使用できます。

仕様記述言語は、構造、通信、動作、データ、継承という5つの主要な側面を網羅しています。コンポーネントの動作は、システムを階層構造に分割することで説明されます。コンポーネント間の通信は、チャネルで接続されたゲートを介して行われます。チャネルは遅延チャネルタイプであるため、通信は通常非同期ですが、遅延をゼロ（つまり遅延なし）に設定すると、通信は同期になります。

言語の最初のバージョンは、グラフィカル構文を使用して 1976 年にリリースされました (SDL-76)。これは、1980 年に基本的な意味論を追加して改訂されました (SDL-80)。意味論は 1984 年に洗練され (SDL-84)、機械処理のためにテキスト形式が導入され、データが導入されました。1988 年に、抽象文法、具体文法、完全な形式定義を含む言語の形式的基盤を備えた SDL-88 がリリースされました。1992 年にリリースされたバージョン (SDL-92) では、継承、抽象ジェネリック型などのオブジェクト指向概念が導入され、オブジェクト指向機能は非オブジェクト指向機能への変換によって記述されました。SDL-2010 は最新バージョンであり、変換による記述ではなく、完全にオブジェクト指向に基づいた SDL-2000 の更新バージョンです。このバージョンには、 UMLプロファイル（ITU-T勧告Z.109（04/12）、SDL-2010とUMLの組み合わせ）が付属しています。また、SDL-2010では、SDL-RTで最初に導入されたCデータ型のサポートも導入されています。

• SDL-RTはITU仕様記述言語に基づいており、データ言語をC言語に置き換えています。^{[ 4 ]} SDL標準の最新バージョン（SDL'2010）にはCデータ型と構文のサポートが含まれており、SDL-RTの基本原理が公式標準の一部となっています。
• TNSDLは、ノキアが社内利用のために開発した派生バージョンです。

• MSC （メッセージシーケンスチャート）。システムの動的な動作を記述するための、ITU-T関連の表記法の一つ。
• ASN.1（抽象構文記法1）。SDL内で使用できるデータ型を記述するためのISO規格。
• TTCN-3テストおよびテスト制御表記法バージョン3。ITU-Tによって標準化され、ETSIによって作成されたテスト言語。
• 統一モデリング言語（UML）：汎用的なモデリング表記法。SDLに基づいてプロファイルが標準化されている。

• 仕様（技術規格）
• 仕様言語
• イヴァル・ヤコブソン

• ITUの電気通信システム向け言語および一般的なソフトウェア側面
• SDLフォーラム協会
• SDLツール一覧