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

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

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

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