面向服務的計算（SOC）中服務組合的研究——服務計算中一個關鍵問題的解決方案.pdf

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

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

3、化方法應用于服務組合的描述和驗證中。基于流程的方法和基于語義Web的方法是最常見的兩種途徑?；诹鞒痰姆椒梢允褂迷S多形式化方法作為其基礎，如Petri網(wǎng)和進程代數(shù)方法；而進程代數(shù)方法則由于其組合式的特性更加適合于描述服務組合。進程代數(shù)中的Pi演算是一種較好的形式化方法，專門用于描述移動并發(fā)系統(tǒng)，適用于建模動態(tài)變化的服務系統(tǒng)。本論文從理論研究和實踐結合兩個方面著手，探索服務組合的形式化建模和驗證。作者在本論文中的主要工作如下：

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