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

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

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

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