規格描述語言

SDL(Specificmion and Description Language)是ITU-T推薦使用的一種“實時系統的規格描述語言”。應用的主要領域是實時系統行為方面的規格，以及這類系統的設計。電信領域在這方面的應用包括：交換系統中的呼叫及連接處理(如呼叫處理、電話信令、計費)；一般電信系統中的維護和故障處理(如告警、自動故障清除、例行測試)；系統控制(如過載控制、更改及擴充過程)；操作和維護功能、網絡管理；數據通信控制；電信業務。

當然，任何實物，只要其行為的功能規格可以用離散模型規定，也就是説，此實物可用離散消息與其環境進行通信，就可以用SDL來規定其行為的功能規格。

SDL是一種豐富的語言，它不但可以用於高層非形式(或形式化的不完全)的規格描述，而且還可用於半形式化和具體的規格描述。在使用該語言時，用户應根據所要描述的通信層次和環境選用SDL的不同部分。依賴於功能規格的應用環境，在功能規格的來源與目標之間可能還會有許多方面需要進一步的共同理解。

使用SDL，可以半圓形、半文本地定義特定類型的嵌入式系統的功能描述。這種方法的高度正式性使SDL工具有可能生成和測試完整的嵌入式應用。國外大量軟件評論家認為，SDL的這種正式方法應該推薦擴展應用到嵌入式系統之外。事實上，比如SDL的消息順序圖已經被普遍地應用到面向對象技術的CASE工具中，如Rational Rose在交互式圖形部分廣泛採用了這種技術。 ^[2] 

一個SDL系統就是用SDL規格所描述的一個具體物理存在，也就是目前從SDL語言的角度所關注的一切，對於目前不用SDL語言描述的，都作為SDL的環境看待。也就是説，一個具體的物理系統如果只用SDL描述了其中的一部分，那麼這部分就是一個SDL系統，而該物理系統的其他部分對該SDL系統來講，就都是它的環境。

SDL系統通過信道與環境連接。從理論上講，SDL系統只需要一條雙向信道與環境連接，但實際上，為了描述方便，經常為環境的每個邏輯接口提供一條信道。

每個系統可以劃分為多個功能塊，功能塊之間通過信道相連，系統與環境之間的信道是連接到系統內的功能塊的。各功能塊相對於其他功能塊而言是獨立的，功能塊之間以及功能塊與環境之間的通信是靠發送信號來實現的。

SDL的環境是目前不用SDL規格描述的外界，由於外界這個範圍是極其廣大的，因此有必要對SDL系統的環境做進一步的界定。通常情況下，外界除了與SDL系統有交互作用的部分以外，還有許多與SDL系統沒有任何作用的部分。對於這部分不與SDL系統發生任何關係的外界，在SDL的語義上都不能成為SDL系統的環境。

在與SDL系統有相互作用的部分，由於存在直接作用和間接作用，因此又可對SDL環境做進一步的界定。與SDL系統沒有直接作用的部分也可排除在SDL系統的環境範疇之外。簡單來講，SDL系統的環境就是與SDL系統有相互通信的，而又沒有用SDL規格描述出來的那部分實體。

SDL的功能塊是在SDL系統內的部分功能集合。通常情況下，功能塊是一些關聯較為密切的功能的集合。功能塊的劃分可以有多種依據：把部件定義得大小規模便於處理，能與實際的軟、硬件劃分相適應，與自然的功能劃分相一致，把交互作用減小到最小等。由於出發點和功能劃分的依據不同，一個SDL系統可以有多種功能塊結構。

一個功能塊又可根據需要劃分為子功能塊，以便在不同程度上對系統進行描述。子功能塊與進程處在同一級，它們都通過一定的路由與信道相連。

功能塊所包含的功能最終是由在功能塊內的進程實現的。一個功能塊又可由多個不同的進程來分別實現不同的功能。

信道是系統的功能塊之間、功能塊和環境之間進行通信的手段。一條信道可以單方向地(單向信道)或雙方向地(雙向信道)將一個功能塊連接到另一個功能或者連接到環境。通常，信道是一種功能性實體，可用來表示特定的信息通路。事實上，通過劃分信道可以形式地規定每個信道的行為。

一個信道規格為每個指定的方向給出一個信號表，列出能由該信道在該方向上傳遞的全部信號標識符。此信號表作為一種手段，用於保證由信道一端某一進程發送的每個信號都能被位於信道另一端的功能塊中的進程所接收。

信號是SDL系統內以及SDL系統與環境進行信息交互的載體。信號定義一般包括信號名和類別表，類別表表示該信號傳遞的值的類型的表。在具體的應用中，類別表由實參組的參數表替代。 ^[2]