面向服務(wù)的計(jì)算（SOC）中服務(wù)組合的研究——服務(wù)計(jì)算中一個(gè)關(guān)鍵問(wèn)題的解決方案.pdf

1、隨著開(kāi)放分布式計(jì)算的快速發(fā)展，中間件技術(shù)已經(jīng)從面向?qū)ο笥?jì)算的階段發(fā)展到了面向服務(wù)計(jì)算的階段。SOC更加靠近應(yīng)用層的業(yè)務(wù)邏輯，具有敏捷性、動(dòng)態(tài)適應(yīng)性等特性，可與模型驅(qū)動(dòng)的體系結(jié)構(gòu)相結(jié)合，形成相當(dāng)靈活的應(yīng)用構(gòu)造方式。SOC在其發(fā)展過(guò)程中，逐漸形成了較為完整的概念。面向服務(wù)的體系結(jié)構(gòu)作為SOC的特征之一，在服務(wù)計(jì)算方式的應(yīng)用實(shí)現(xiàn)過(guò)程中發(fā)揮了巨大的作用。雖然三方模型并不是SOA的創(chuàng)新性貢獻(xiàn)，但是SOA使依托服務(wù)的理念達(dá)到了和前所未有的程度。除此

2、之外，SOC形成了自己獨(dú)特的建模和開(kāi)發(fā)語(yǔ)言。不同于面向?qū)ο蟮姆椒?，這些建模和開(kāi)發(fā)語(yǔ)言多數(shù)集中在與業(yè)務(wù)流程相關(guān)的工作流技術(shù)上。SOC也形成了自己的各種開(kāi)發(fā)框架和環(huán)境，使其實(shí)現(xiàn)能夠標(biāo)準(zhǔn)化、可視化地進(jìn)行。 SOC有很多新的問(wèn)題需要解決，其中如何由小粒度的基本服務(wù)組合出完成業(yè)務(wù)邏輯的大粒度服務(wù)是最基本的問(wèn)題之一。服務(wù)組合有很多方法，其中應(yīng)用最廣泛的是依靠與工作流技術(shù)有關(guān)的流程描述語(yǔ)言來(lái)完成。為了保證服務(wù)組合的正確性，有許多形式化和非形式

3、化方法應(yīng)用于服務(wù)組合的描述和驗(yàn)證中?；诹鞒痰姆椒ê突谡Z(yǔ)義Web的方法是最常見(jiàn)的兩種途徑。基于流程的方法可以使用許多形式化方法作為其基礎(chǔ)，如Petri網(wǎng)和進(jìn)程代數(shù)方法；而進(jìn)程代數(shù)方法則由于其組合式的特性更加適合于描述服務(wù)組合。進(jìn)程代數(shù)中的Pi演算是一種較好的形式化方法，專門(mén)用于描述移動(dòng)并發(fā)系統(tǒng)，適用于建模動(dòng)態(tài)變化的服務(wù)系統(tǒng)。本論文從理論研究和實(shí)踐結(jié)合兩個(gè)方面著手，探索服務(wù)組合的形式化建模和驗(yàn)證。作者在本論文中的主要工作如下：

4、1.分析了服務(wù)組合的形式化基礎(chǔ)，并選擇Pi演算作為建模工具； 2.研究了服務(wù)組合描述語(yǔ)言和Pi演算元素之間的對(duì)應(yīng)關(guān)系，給出了建模服務(wù)組合的規(guī)則和步驟； 3.在說(shuō)明服務(wù)描述一致性概念的基礎(chǔ)之上，使用Pi演算作為保證一致性的形式化基礎(chǔ)，并說(shuō)明了如何對(duì)一致性進(jìn)行保證； 4.研究了服務(wù)兼容性和可替換性的概念，并使用Pi演算來(lái)驗(yàn)證可替換性； 5.提出了PiFF服務(wù)組合形式化框架，并基于UESTC-PLATFORM服