基于編排與編制一致性的系統(tǒng)設(shè)計.pdf

1、編排(Choreography)和編制(0rchestration)是常用于描述合成網(wǎng)絡(luò)服務(wù)的兩種方式的語言。前者從一個整體的視角定義了系統(tǒng)中各服務(wù)之間的交互，而后者僅從一個服務(wù)的角度定義了應(yīng)調(diào)用什么服務(wù)以及應(yīng)該何時調(diào)用，沒有定義多方如何進行協(xié)作。根據(jù)兩者的特性，在設(shè)計服務(wù)組合系統(tǒng)時，可以先用編排來定義一個系統(tǒng)高層次上的服務(wù)交互協(xié)議，再用編制描述具體某個服務(wù)的行為以實現(xiàn)編排層定義的協(xié)議，最后用流程語言實現(xiàn)整個系統(tǒng)。這種做法的優(yōu)點是：其一

2、，提供了一種從上至下的實現(xiàn)服務(wù)組合系統(tǒng)的方法；其二是能夠支持系統(tǒng)的從下至上的一致性的驗證。 這種系統(tǒng)設(shè)計方法的應(yīng)用需要一個能夠描述編排與編制的形式化系統(tǒng)做為依托。本文分析了各種形式化方法的優(yōu)劣，采用了進程代數(shù)范疇內(nèi)的方法對編排編制進行形式化描述。通過對一個理想的服務(wù)組合系統(tǒng)的設(shè)計模型的分析，總結(jié)了現(xiàn)有解決方案的不足，針對這些不足，本文在語義模型中加入了狀態(tài)的描述，增強了其表達能力，使其能夠描述確定性選擇、分支等結(jié)構(gòu)化流程；在系統(tǒng)

3、中引入了三層的結(jié)構(gòu)，分別為進程內(nèi)部行為、進程間的交互以及服務(wù)間的互操作，層次化了交互語義，以利于系統(tǒng)在不同層面上的單獨設(shè)計；針對目前服務(wù)組合系統(tǒng)的不確定性，文中實現(xiàn)了系統(tǒng)狀態(tài)、服務(wù)位置、服務(wù)接口以及服務(wù)功能的動態(tài)性語義，并舉例進行了討論；同時文章還給出了編制形式化系統(tǒng)到WS-BPEL流程的映射及轉(zhuǎn)化算法，有助于以后執(zhí)行代碼的自動生成。 文章的最后給出了一個航空公司訂票系統(tǒng)的設(shè)計過程。分別從編排和編制的角度設(shè)計了系統(tǒng)的交互并發(fā)行為