1、SDL 語言,SDL mechine,SDL語言中的語法構(gòu)件,定義包（Package） 代理（Agent） 系統(tǒng)圖 System 功能塊圖 Block 進(jìn)程 Process 通信 信道 Channel 信號 Signal 狀態(tài)機(jī) 動作/遷移過程 定時器,SDL系統(tǒng)組成,System priority is followed by := := 注意連續(xù)信號和允許條件的區(qū)別,自發(fā)轉(zhuǎn)移,非外部激勵也能使?fàn)顟B(tài)機(jī)發(fā)生轉(zhuǎn)移 1、圖形語法 := contains none is followed by 進(jìn)程實(shí)例PId值：Sender=Self 2、舉例,none,保存,1、圖形語法 := contains

2、:= | := 2、舉例,保存例子,保存（上一個例子的處理過程1）,注：從上到下表示處理的順序,保存（上一個例子的處理過程2）,注：從上到下表示處理的順序,在輸入中表示信號,單個信號 多條信號 S1,S2,S3 除了在本狀態(tài)下已經(jīng)列出的信號外的所有信號 *,輸入、連續(xù)信號、保存,遷移過程,狀態(tài)機(jī)受到激勵之后，執(zhí)行的一系列動作 1、輸出 通過信道一個代理實(shí)例發(fā)信號給另一個代理實(shí)例 圖形語法 := contains :=,遷移過程-輸出, := , * := () := expression , * := to | * := | | this := via | ,遷移過程-輸出,說明 輸出體中信號

3、標(biāo)識符可帶參數(shù)，可以為數(shù)值、表達(dá)式、變量等 信號最終要被一個進(jìn)程或過程消耗（to） pid expression：self、sender、parent、offspring agent identifier：進(jìn)程實(shí)例名 this：本進(jìn)程類型 通過的路徑（via） 承載信號的信道名 經(jīng)過的信關(guān) to和via不能同時使用；都不使用時，通過唯一的信道發(fā)送出去 舉例：門控系統(tǒng)的控制面板進(jìn)程,用戶通過,遷移過程-創(chuàng)建進(jìn)程,2、創(chuàng)建 靜態(tài)創(chuàng)建，在系統(tǒng)初始化時創(chuàng)建 動態(tài)創(chuàng)建 圖形語法 := contains := := | this 舉例,動態(tài)進(jìn)程處理,在SDL中可以動態(tài)創(chuàng)建和撤銷(created and d

4、estroyed) 可以使用創(chuàng)建符號來創(chuàng)建一個進(jìn)程；在創(chuàng)建符號內(nèi)包含著被創(chuàng)建的進(jìn)程類型 用offspring保留變量來返回被創(chuàng)建的進(jìn)程ID 在SDL中用終止符號 (Stop)來表示進(jìn)程結(jié)束,The User ServerInitialisation Procedure,遷移過程-任務(wù),3、任務(wù) 執(zhí)行與變量有關(guān)的動作 圖形語法 := contains := := | ,遷移過程-任務(wù), 說明 任務(wù)符包含語句列表 賦值語句、條件語句、分支語句、復(fù)合語句、設(shè)置語句、復(fù)位語句 a）賦值 := ,x := 1; y := x + 1,遷移過程-任務(wù),b）IF If ( ) else c）Decision

5、 Decision () () : + else : d）組合語句 e）非形式化文本描述,if ( x 0 ) x := 1; else x := x + 1;,decision ( a ) ( =0 ) : b:=1; ( 1:9 ) : b:=2; else : b:=3; ,遷移過程-過程調(diào)用,4、過程調(diào)用 在進(jìn)程或過程中都可以調(diào)用過程 進(jìn)程圖和過程圖的區(qū)別 圖形語法 := contains :=,過程圖Procedure,PROCEDURE: 和子程序類似 用于在SDL進(jìn)行代碼重用 減少SDL進(jìn)程圖的大小，將注意力集中在主要遷移過程 可以通過value (IN)或reference (

6、IN/OUT)的方式傳遞參數(shù),遷移過程-調(diào)用和返回, := := is associated with := 說明 過程調(diào)用符中的實(shí)參與過程圖中定義的形參匹配 過程圖中定義的形參為in、out、in/out型 過程可有返回值，標(biāo)在返回符旁 調(diào)用過程可認(rèn)為是一個任務(wù),過程與進(jìn)程,起始符不同 過程必須有返回符 進(jìn)程可以沒有結(jié)束，即沒有終止符 過程可以使用狀態(tài) 過程沒有信號輸入隊(duì)列，信號來自調(diào)用者（調(diào)用過程的進(jìn)程）的信號輸入隊(duì)列,遷移過程-分支,5、分支 分支操作是一個動作，通過計(jì)算條件表達(dá)式選擇不同遷移過程 圖形語法 := contains is followed by :=,遷移過程-分支, :

7、= | | any := + set := is associated with is followed by := | ( ) := is associated with else is followed by := | :=,分支,process,calling 2/5,wait_for_num,T1,busyTone,VIA,uG,wait_for_onHook,num,(toNum),reset,(T1),getUserPid (toNum, otherPid),otherPid = NULL,True,msg (Sorry,wrong number),wait_for_onHook,

8、False,wait_for_connRepl,onHook,reset,(T1),A1,遷移過程-定時器,6、定時器 在狀態(tài)機(jī)圖中，監(jiān)視激勵信號是否在定時器規(guī)定時間間隔內(nèi)到達(dá)。若無激勵到達(dá)，則觸發(fā)超時事件，作為激勵輸入。 定時器操作包括：設(shè)置和復(fù)位 執(zhí)行一個定時器操作即執(zhí)行一個任務(wù) 超時作為一個觸發(fā)事件，引起狀態(tài)的遷移過程,遷移過程-定時器, 文本語法 := timer , * ; := := := ( , * ) 圖形語法 設(shè)置定時器、復(fù)位定時器 超時事件,遷移過程-定時器, := contains := set ( , ) := now + := ( , * ) := contains

9、:= reset ( ),遷移過程-匯接,7、匯接 兩種方式：連接符、合并 連接符 入連接域和出連接域 對每個出連接域，必須有且僅有一個同名入連接域與之對應(yīng) 多個出連接域可匯接到一個入連接域 連接符只用于遷移過程，不可連接狀態(tài)和觸發(fā)事件,遷移過程-匯接,圖形語法 := contains := := contains is followed by :=,遷移過程-合并, 合并遷移過程 對進(jìn)程圖中某一狀態(tài)，不同觸發(fā)事件引起不同遷移過程，若最終遷移到同一狀態(tài)時，可先合并遷移過程 圖形語法 := is connected to := 舉例,SDL圖形符號連接關(guān)系小結(jié),啟動符可接初始狀態(tài)、遷移過程 連接

10、符不可連接狀態(tài)符和觸發(fā)事件 遷移過程為一系列動作符號 遷移結(jié)果進(jìn)入后繼狀態(tài)、進(jìn)程終止 區(qū)別進(jìn)程圖和過程圖的起始符和結(jié)束符 進(jìn)程圖和過程圖只能始于啟動符、狀態(tài)符、入連接符,圖形符合連接關(guān)系,注釋和正文擴(kuò)展,1、正文擴(kuò)展 2、注釋,SDL - Summary,Structure 關(guān)注功能塊和進(jìn)程間的組成關(guān)系 引入結(jié)構(gòu)化可以 使整個系統(tǒng)的內(nèi)部組成易于理解 能更好的反應(yīng)和真實(shí)系統(tǒng)的情況 結(jié)構(gòu)化和接口(interface)直接相關(guān) Behavior 關(guān)注信號的發(fā)送和接收 關(guān)注在進(jìn)程內(nèi)的狀態(tài)轉(zhuǎn)移的描述 通過進(jìn)程的動態(tài)描述和信號的通信過程來達(dá)到系統(tǒng)的行為描述,SDL - Summary,Data 關(guān)注信息的保存 在信號中保存 在進(jìn)程內(nèi)保存 是eFSM中進(jìn)行謂詞邏輯運(yùn)算的基礎(chǔ)，從而在進(jìn)程中可以進(jìn)行判斷和轉(zhuǎn)移 Interfaces 關(guān)注信號和信號間的通信路徑 SDL中的通信行為是異步通信，在SDL的通信中： 信號傳遞是有延遲的 信號在接收端是有可能被排隊(duì)的 通過在接口上的通信將SDL系統(tǒng)的行為向外界表現(xiàn)出來,SDL - Summary,Structure 用系統(tǒng)、功能