云端的服務協作動態構造技術研究綜述*

劉紹華，馬鐵軍，景興建

（1.北京郵電大學國際開放實驗室 北京100876；2.英國帝國理工學院計算機系 英國倫敦；3.香港理工大學機械工程系 中國香港）

1 引言

21世紀仍然是信息技術的世紀，互聯網（Internet）讓人們足不出戶就可以縱覽天下大事，萬維網（WWW）的出現已將世界原有的有形界限全然打破，而電子商務（e-Business）也潛移默化地改變了我們的生活。今天的我們更進一步，已邁入網絡服務（web service）的大門，業界正在經歷一場稱為“云計算”的新運動，將業務軟件以服務的形式（software as a service，SaaS）擴展到互聯網上，借助云端網絡的虛擬化軟件技術提供全天候、個性化、零距離的優質服務，并使這些服務能夠在組織內或者組織間動態地相互協作[1]。

目前，面向服務計算（service oriented computing，SOC）和面向服務體系結構 (service oriented architecture，SOA)已被業界廣泛接受，成為構造下一代分布式應用的計算范型和體系結構。在基于SOA的分布式應用中，服務是基本構造單元，應用由服務和服務之間的交互構成，實現面向服務復雜應用的關鍵就是服務之間的交互協作。服務在交互協作的粘合之下形成復雜服務。軟件服務技術近年來已從服務計算最初的基本服務“描述、發現、調用”架構以及云計算初期的“軟件即服務”概念向新的階段——服務協作技術方向發展。

然而，由于服務協作是一項復雜的任務，往往超出了人工處理的能力。因此，為了達到業務目標，服務協作結構必須是面向需求(共同的目標和達成的約束)動態且自動地構造出來，而不是在設計時預制好；并且服務協作應該能夠隨著需求而變，隨計算環境而變，并允許動態重構。因此，服務協作動態構造技術一直是近年來的研究熱點。

2 服務協作及其動態構造問題分析

2.1 服務協作技術的產生背景

網絡技術的發展和計算機應用的普及，促使人們從過去的單機應用和簡單數據庫應用的水平，大規模地走進全新的網絡應用階段。應用網絡化已成為當今計算機應用和軟件工程的主流[2]。Internet是當前多種類型計算機網絡應用的互聯集合，堪稱當今最大的分布式系統，它使得世界各地的用戶能享受諸如電子郵件收發、文件傳輸、網絡瀏覽和服務訪問等信息時代的最新成果。

20世紀七八十年代，E-mail（電子郵件）、FTP（file transfer protocol，文件傳輸協議）和Telnet（遠程登錄）是 Internet上較早出現的重要工具，特別是電子郵件系統，至今仍然是Internet上主要的應用形式之一。早期Internet的主要作用是為人與人之間以消息的形式進行溝通提供一座橋梁。

時至20世紀90年代，WWW （world wide web，萬維網，也簡稱 Web）迅速風行，基于 HTTP（hypertext transfer protocol，超文本傳輸協議）和HTML（hypertext markup language，超文本標注語言）的Web訪問成為人們利用Internet獲取各種信息資源的最主要形式，此時，Internet的角色已經從人與人之間的溝通橋梁過渡為人與分布式應用之間的交互渠道。

進入21世紀之后，隨著Web Service（網絡服務，又譯為Web服務）技術的出現并日趨成熟，分布式、異構的網絡應用可以借助綁定在SMTP（simple message transfer protocol，簡單郵件傳輸協議）或者HTTP等之上的SOAP（simple object access protocol，簡單對象訪問協議）[3]消息，跨越整個Internet實現互操作。因此，一個大規模的應用系統，可以由分布在網絡上不同地方的軟件協同工作去完成。隨后，語義網絡、網格計算和云計算技術也在此基礎上逐漸發展、完善起來。不難看出，當今的互聯網正在逐漸演變為網絡應用與網絡應用之間基于服務實現協同工作的平臺，隨著當前互聯網向未來物聯網方向的演進，服務協同也將成為未來物聯網上支持智能物件之間 （machine to machine，M2M）通信的一種重要手段。

相應的，軟件技術也正在經歷著一次轉變。傳統上，軟件開發人員通過組合本地系統運算處理能力的方式開發應用程序，開發人員有權使用豐富的系統資源，精確地控制應用程序的功能和性能；如今，新一代的軟件開發人員正致力于構建面向服務體系結構，基于SaaS技術將分布于網絡各處的眾多應用程序資源封裝、虛擬化并相互連接起來，通過這些服務的協同工作實現更大范圍、更復雜的業務處理。于是，軟件技術從研究如何開發應用系統產品向如何在云端提供虛擬化網絡服務和動態構造服務協作遷移。

2.2 服務協作的概念定義

目前，服務協作這個概念還沒有一個統一的定義。有的將服務之間的交互和關聯稱為服務聚集(service aggregation)[4]，更多的稱為服務復合(service composition)。

Web服務使軟件協同工作進入了新的境界，它可以實現許多過去無法達到的目標，例如，任何兩個異構的軟件系統都可以只借助輕量級的基礎設施，在整個互聯網范圍內跨越不同的平臺，安全地通過防火墻，自由選擇同步或者異構的通信方式進行交互、互操作和協作。面向服務的體系結構非常適合于統一協調分布式服務，以便構建由多個服務參與的復雜業務流程，因為由基于面向服務的體系結構構建的應用軟件可以按需要拆散和重新組裝。

本文將基于服務的軟件協同工作簡稱為服務協作。服務協作是在面向服務的分布式環境下，借助云計算平臺，將來自不同提供商的分離的服務和諧地整合在一起，基于動態發現、延遲綁定、即興復合、虛擬組織等機制，使得這些服務能夠相互協作執行某些任務，進而實現預定的業務目標。

服務是由一方（提供者）提供給另一方（接收者）的功能系統，并以服務描述的形式構成兩者之間的一種契約關系，其中提供者承諾提供，而接收者同意接收。協作則被定義為“互相配合，共同完成某項任務”，是“人或企業為了共同的通常是經濟上的利益聯合起來”[5]。

服務協作，事實上是為了共同目的而相互合作的若干服務提供商提供的一些業務服務的組合，如圖1所示。根據內部復雜度的大小，業務服務大致分為兩類，即基本服務和復合服務。基本服務提供基本的功能，包含低層次的數據轉換，幾乎不涉及復雜的算法和流程。舉例來說，簡單的天氣播報服務就屬于基本服務。與之相反，復合服務也被稱為業務流程，能提供高層次的服務，可以包含多個層次的數據訪問和轉換。復合服務可以通過若干個基本服務的協作來實現，當然，復合服務也可以與基本服務或者其他復合服務協作，并構成更高層次的復合服務。例如，涉及預訂系統、配送系統和電子支付系統在內的網上購物流程就是一種復合服務，網上商店、物流中心和電子銀行通過服務協作的形式共同賺取商業利益。

本質上，服務協作是協調若干服務共同工作，服務協作可以從以下幾個層次體現出來：

·單個服務與服務之間服務級別的交互(Interaction)，是基本服務協作形式，體現了服務之間多個操作的交互協議；

·多個服務通過控制流與數據流編排(Orchestration)組成復雜、多步驟的復合服務，服務之間的交互和協作通過兩種流（Flow）來體現；

·基于服務，跨組織域的業務流程配合(Choreography)。

2.3 服務協作的相關工作

每個服務都在服務協作業務流程中扮演著特定的角色。作為服務協作的一部分所交換的特定消息會觸發業務流程中定義的事件，并推動服務協作流程繼續向后執行。因此，業務流程與服務協作的關系非常密切，而且業界往往把業務服務描述和業務流程協作的具體技術融合在一起，例如 ebXML的 BPSS（business process specification schema）[6]、RosettaNet的 PIP（partner interface process）[7]等。

工業界和學術界已經為服務之間的協作提供了很多很好的思路。

W3C 提出了 WSCL[8]、WSCI[9]和WS-CDL 的建議，并正致力于OWL-S（從DAML-S的基礎發展起來，主要基于OWL語言）和服務協作語義方面的標準化[10]，OASIS給出了業務事務協議（business transaction protocol，BTP），IBM、微軟和BEA等公司在早期WSFL和XLANG語言的基礎上提出了面向Web服務的業務流程執行語言（BPEL4WS）和相關的Web服務協調 （WS-coordination）[11]、Web服務事務（WS-transaction）[12]標準之后，進一步推出了Web服務策略框架（WS-policyFramework）[13]；Sun公司提出了 Web服務復合應用框架 WS-CAF（webservicecompositeapplicationframework），綜合考慮了協調（Coordination）、事務（Transaction）與上下文（Context）等問題[14]。總的來說，目前服務協作的相關規范處于服務協議棧的較高層次，如圖2所示。

在學術界，Zhang L J等人探索了Web服務解決方案的生命周期[15]，Sheng Q S等人研究了自調整、自協調服務[16]，Henrique P等人則提出了自適應 Web服務[17]，Michael N H[18]和Mercedes A[19]等人則致力于服務的主動化和智能體（Agent）化。

然而，目前這種百家爭鳴的局面說明對服務協作的研究方興未艾，還沒有一致認可的理論方法、標準規范和工具支持，服務協作的許多問題還有待于進一步的探討和解決，而如何動態構造服務協作正在引起越來越廣泛的關注。

2.4 服務協作動態構造問題的提出及其現實意義

服務協作是一項復雜的任務，往往超出了人工處理的能力，其中復雜性根源于如下一些因素：

·近年來Internet上可用的Web服務急劇增加；

·Web服務可以由不同組織開發，使用不同模型描述服務；

·Web服務可能不斷創建和更新，甚至在運行時發生。

因而，為了達到業務目的，服務協作結構必須是面向需求(共同的目標和達成的約束)自動構造出來的，而不是在設計時預制好的，并且服務協作能隨著需求而變，隨計算環境而變，能夠動態重新構造。

服務協作動態構造的意義在于以下3個方面：

·有利于節約信息資源，因為動態構造服務協作將提升分布、異構資源的集成度、單機虛擬映像和互操作性，保護已有投資，同時加強跨部門、跨組織的業務協同，促進信息資源的合理配置，提高資源利用率，減少浪費和重復建設，并改善應用開發、管理、運行和維護的效率，節約成本；

·有利于提高服務質量，因為加強動態構造技術的研究將提高服務的靈活性、可用性，由此帶給用戶更滿意的服務體驗，進而增進服務與服務之間以及組織與組織之間的互相信任，以便減少矛盾、促進合作，最終保障共同業務目標的實現；

·有利于可持續發展，通過研究服務協作的動態構造

技術，可以幫助服務提供者保持迅速的客戶響應能力，增強對動蕩的市場和不穩定的底層環境的適應能力，具備更強的競爭力，從而在未來的戰略中占據

優勢，以便能夠滿足敏捷制造和持續改進的要求。因此，服務協作動態構造技術成為近年來的研究熱點。

3 服務協作動態構造方法綜述

服務協作體現了服務之間的交互協作關系，因此，作為其關鍵技術問題之一的服務協作關系構造引起了國內外學者的廣泛興趣，并提出了各種各樣的方法。

3.1 服務協作動態構造的國內研究基礎

特別值得一提的是，近幾年來，國內學者圍繞服務協作的動態構造進行了大量研究，并取得了一系列重要成果。

例如，中科院軟件所馮玉琳教授領導的服務計算研究組提出了服務協作中間件模型，探討了其內部機理與協作流程元模型的形式化[20～23]，還針對B2B環境下的跨企業服務流程協作進行了研究，提出基于數據流建立服務協調模型，實現面向B2B的服務組合與協作方法[24，25]。

北京航空航天大學懷進鵬教授領導的課題組，在動態的Web服務復合方面已經取得了很好的研究成果，他們實現了一個基于Web服務的工作流引擎平臺WSWF，該平臺的特點在于采用基于棧式的方法執行實例活動，并提供運行時的監控管理、事務保障等特性[26]。

中科院計算所韓燕波研究員等人探討了業務層面需求描述模型、用戶語境建模及應用機制等問題，提出了VINCA語言，它從業務過程、業務服務、用戶上下文和交互方式4個側面為在業務層面構造面向服務的應用提供了支持，并構造了VINCA支撐平臺，并對其中的核心技術進行了研究，如基于Context的服務發現、服務動態連接、服務虛擬化、語義服務、應用的動態調整等[27]。

南京大學呂建教授的研究組提出了一種基于運行時體系結構的動態協同架構，通過為組合服務引入一個運行時的體系結構對象來解耦與成員網絡服務之間的綁定關系，從而能夠根據體系結構的當前配置解釋組合服務與其成員之間的交互行為[28]。

中國人民大學王珊教授的研究組提出了基于領域本體的服務動態復合方法DOSCM，采用本體語言來描述選取模型中的概念及其關系，通過領域專家定制不同領域的評價因子，根據服務運行過程中產生的知識，利用機器學習算法自動計算評價因子的權重分布，并結合領域專家給出的先驗知識，提出人機交互的權重優化方法[29]。

電子科技大學劉錦德教授的課題組提出基于π演算的服務復合的描述和驗證，通過π演算與服務協議棧的對應關系，建立服務復合模型的規則并建立一個實際的模型[30]，驗證服務復合的正確性以實現服務增值。

以上只是舉了幾個例子，國內還有更多的相關研究成果，但限于篇幅就不再展開介紹。

3.2 服務協作動態構造的主要方法及其研究進展

（1）人工型構造方法難以適應新的需求

迄今為止，國內外研究工作者為服務協作的動態構造提出了數十種方法，大致可歸類為人工型和自動型，下面首先介紹幾種具有代表性的人工型方法。

HP實驗室開發的e-Flow系統提供一個集成平臺以支持服務協作的定義、運行與監控。服務協作通過原子服務和其他組合服務組成的流程結構圖進行定義。e-Flow通過提供動態服務發現、多服務節點、動態服務節點創建和基于流程范式的動態修改來實現服務的動態組合[31，32]。

澳大利亞新南威爾士大學開發的Self-Serv系統將服務協作建模為活動圖，提供了動態構造服務協作的平臺，并支持以非集中的方式、借助協調器、基于路由信息表、通過P2P（peer-to-peer，對等）交互方式來執行所構造的服務協作[16，33]。

荷蘭蒂爾堡大學的Orriens等人給出了基于模型驅動的服務組合方法，使用UML進行高層次的抽象，能直接映射到其他標準，如 BPEL4WS。使用 OCL（object constraint language，對象約束語言）來表達業務規則和流程，并利用業務規則實現動態地構造服務組合，進行服務的選擇和綁定[34～36]。

e-Flow和Self-Serv方法是基于工作流定義服務協作結構的，Orriens等人基于模型驅動的方法則是依據規則生成服務協作結構的。這些方法都能夠實現復雜流程的協作結構，但是它們存在的共同問題是：只考慮了服務組件的接口模型，沒有考慮單個服務內部的流程邏輯，而且在建立協作結構方面的動態性不足，只是研究了服務組件的動態選擇與替換。總的來說，人工型方法已經難以適應當前服務協作需求的復雜性和構造的動態性。

（2）自動型構造方法日益受到重視

與人工型方法相比，自動構造方法被認為是具有更好前途的技術。自動構造方法能將發布的服務自動組合起來，建立新的業務合作關系，提供新的功能，極大減少了開發基于Web和面向服務應用的時間和精力，并且，自動構造能減少人為設計行為引起的出錯，增強可信性。

現有很多工作圍繞服務協作自動構造展開研究[37]。其中一些是在服務操作功能層次進行服務組合[38，39]，而更多的是在流程層次針對服務之間的交互協作進行自動構造方法研究。

朗訊貝爾實驗室的Hull和加州大學的Su合作的研究組[40]使用異步消息通信的Mealy自動機刻畫服務行為，針對預先確定參與協作的服務和線性時序邏輯刻畫的全局目標/約束，自動構造出刻畫服務協作行為的Mealy自動機。

羅馬大學的Berardi等人以活動標記的自動機模型來描述面向用戶交互的服務行為，通過構造一個代理自動機來代表服務協作，滿足面向用戶的各種交互需求[41]。這種基于自動機模型的方法都是面向服務的交互行為，有助于研究交互行為復合自動化。

美國南加利福尼亞大學的Knoblock領導的研究組則另辟蹊徑，應用數據集成方法來解決服務動態組合問題[42]。服務組合的輸入包括：可用服務組件建模為數據源，客戶需求建模為用戶查詢。通過一個實現用戶查詢的集成規劃，即一系列的數據查詢來自動地實現服務的組合。

Hull等人的方法適用于從會話的角度分析服務協作構造，但是他們并沒有給出詳細的構造過程和具體操作步驟；Berardi等人的方法在一定程度上考慮了服務組件內部的處理過程，但卻必須預先定義期望的業務邏輯，以此為指導生成服務協作結構，而且服務選擇時沒有考慮在服務組件失配時如何進行適配的協調方法。Knoblock等人的數據集成方法不論在描述服務組件還是協作需求方面，都顯得不夠直觀。

（3）基于智能規劃的方法成為主流趨勢

學術界現在廣泛認識到自動構造服務協作的關鍵問題之一是語義：精確的服務能力和服務流程描述[4，43]，而基于語義進行自動服務協作構造的代表性方法是智能規劃技術(AI planning)。

基于智能規劃技術的服務協作自動構造方法，關注以流程為中心的服務描述，將服務操作建模為動作，狀態轉換基于動作前條件定義，一個狀態轉換導致狀態轉移，動作效果即是轉換狀態。規劃技術就是在給定初始狀態、目標狀態和一組可能狀態轉換情況下，合成復雜的狀態變遷行為。該技術的本質是建立一個規劃(plan)的語義模型，針對該語義模型的狀態空間開發搜索算法。這種根據業務協作目標建立服務協作關系的方法具有很好的靈活性和動態性。

現有不同的規劃方法被提出來應用于動態服務協作構造，例如基于情景演算(situation calculus)和Golog面向OWL-S語言的研究方法[44]；美國馬里蘭大學D.Wu等人的基于HTN(hierarchical task network，層次任務網絡)進行任務分解的規劃方法[45]；耶魯大學MCDermott等人擴展PDDL形成規劃表示語言并基于回歸規劃的研究方法[46]；使用基于規則專家系統自動構建Web服務復合的研究工作[47]；基于語義說明性描述，使用可組合規則，考慮Web服務語法和語義性質，定義規劃如何自動生成的方法[48]；基于程序合成，使用SSP方法進行規劃自動生成的研究方法[49]；把規劃和模型檢查技術結合，將規劃作為模型檢查問題的研究方法[50]等。基于模型檢查技術的規劃方法，能面對規劃域中的非確定性信息，構造具有復雜控制結構的規劃。這種方法適合于Web服務領域，值得借鑒和利用。

基于智能規劃的方法可以依據用戶的需求實現協作結構的自動建立，在服務協作結構的構造方面有很高的動態性。但是美中不足的是：服務組件只能建模為簡單的操作，而大多只能產生順序的動作序列，不支持服務協作結構中復雜的控制結構，如循環、選擇等，因此對服務協作結構的支持度不夠。規劃方法通常將需求建模為目標狀態，而通常的服務流程描繪的是離散的服務處理，業務目標通常體現在過程狀態而不僅僅是最終狀態中。

4 討論

對于前文所述的國內外研究進展，我們通過對比分析，認為人工預定義流程構造服務協作結構的方法有較大局限性，如費時費力，而且正確性難以保證；而基于服務的語義信息，使用智能規劃方法能自動構造出滿足需求的服務協作結構，能改善人工構造方法中的問題。但是這類方法在面對服務協作問題時也有局限性，主要是模型復雜度和規模可擴展方面的問題，具體包括以下幾個方面：

·傳統規劃方法面對的是簡單動作，大多只能產生順序的動作序列，然而，服務協作結構中需要包含復雜的控制結構，包括循環、（非確定性）選擇等；

·服務協作中交換的“對象”是類型化消息，可包含任意復雜的結構，傳統規劃方法只能應對有限域的“簡單對象”；

·在多方交互的服務協作中，規劃難以在原始動作層次進行，如WS-BPEL中的receive和invoke活動映射為規劃動作，需要引用操作的輸入/輸出消息，甚至BPEL流程的內部狀態，顯式地刻畫操作的前、后置條件，而這些信息對多方交互形式的服務協作而言是隱藏不見的，傳統規劃方法不能解決好不可見(Unobservable)信息問題；

·顯式而復雜的目標不易獲得，傳統規劃技術都是把可達的最終狀態作為規劃目標，而服務流程模型描繪的是離散的服務處理，真正的業務目標經常隱含在過程狀態中，而不是表現在最終狀態。

因此，如何在基于智能規劃的服務協作動態自動構造過程中解決以上這些問題是當前值得深入研究的。

為了解決當前研究中存在的問題，本文認為可以針對服務協作的復雜控制結構，選擇能有效解決該類問題的基于模型檢查的智能規劃技術作為模型自動構造方法，例如可以采用基于知識的數據抽象方法來化減規劃域的狀態空間；此外可以使用同態映射方法，完備地將部分可觀察規劃域模型轉化全部可觀察規劃域模型。這些技術能使基于模型檢查的規劃方法滿足服務協作結構的自動構造需求，可有效地克服已有方法的缺陷。

5 結束語

服務、網絡和經濟的相互滲透，促進了軟件產業迅速的發展，同時也給軟件技術帶來前所未有的困難。以著名計算機科學家Grady Booch為首的100位軟件界權威人士曾經共同預言：軟件將變得越來越復雜；新經濟要求軟件能夠持續更新；軟件會不斷演進下去，同時，各種挑戰也將伴隨著不斷出現[51]。

從技術發展趨勢上可以看出，在最近十幾年中，業界都在積極定義和改良分布式計算技術[52]，使得可以實時地查找組件、在運行時發現組件的接口、在某種特定基礎上由組件組裝應用程序[53]。我們正是沿著前人的足跡走向了服務協作動態構造，開始嘗試動態復合分布在多臺不同主機上的許多基本的Web服務來實現復雜的業務流程[54]，而不必費盡心思在大型計算機上預先建立巨型的應用程序[55]。

在應用市場需求方面，社會的全球化趨勢使服務協作面臨快速變化的市場、新的政策法規、靈活的業務協作關系和更大的競爭壓力，這一切都要求服務協作能夠快速地響應變化以適應新的業務模式和需求。面對變化的需求，服務協作必須以動態構造和靈活重構作為應對策略。

雖然，服務協作所基于的Web服務技術為動態構造奠定了體系結構的基礎。服務是位置透明的，借助UDDI[56]注冊和動態發現機制，用戶可以不知道響應自己需求的服務的位置，這樣有利于針對和適應業務需求的變化；服務便于封裝和重用，通過WSDL[57]可以快速將軟件資源封裝為可重用的服務，能夠隱藏底層實現的復雜性，并屏蔽服務的自治更新；服務是協議獨立的，SOAP通信機制使得服務的互操作更加靈活；服務是松散耦合的，允許動態發現和延遲綁定，有利于臨時組裝出復雜的系統，提供更為快速和優質的需求響應。然而，動態構造不應僅體現于軟件的體系結構上，還應同時體現在服務協作的構造方法中。

正是因為意識到服務協作動態構造的重要性，對相關技術方法的探索將繼續成為今后一段時期內云計算的研究焦點。

1 Armbrust M，et al.Above the clouds：a Berkeley view of cloud computing.UCB/EECS，2009

2 馮玉琳，黃濤，金蓓弘.網絡分布計算和軟件工程.北京：科學出版社，2003

3 W3C.Simple object access protocol(SOAP)，http://www.w3.org/TR/SOAP，2000

4 Rania K，Frank L.On web services aggregation.Berlin Heidelberg： Springer Verlag，2003

5 American Heritage Dictionaries(Editor).The American heritage dictionary of the english language，4 edition.BOSTON：Houghton Mifflin，2000

6 ebXML.Business process specification schema，version 1.01，http://www.ebxml.org/specs/ebBPSS.pdf，2001

7 RosettaNet.Partner interface process(PIP)，http://www.rosettanet.org/RosettaNet，2001

8 W3C.Web service conversation language(WSCL)1.0，http://www.w3.org/TR/2002/NOTE-wscl10-20020314，2002

9 W3C.Web service choreography lnterface(WSCI)1.0，W3C Note 08，http://www.w3.org/TR/WSCI，2002

10 DARPA.OWL-S specification，http://www.daml.org/services/owl-s/1.1，2003

11 IBM.Web services coordination(ws-coordination)，http://www.ibm.com/developerworks/library/ws-coor，2002

12 IBM.Web services transaction(ws-transaction)，http://www.ibm.com/developerworks/library/ws-transpec，2002

13 IBM，BEA，Microsoft，SAP.Web services policy framework，http://www.ibm.com/developerworks/library/ws-polfram，2003

14 Doug B，Martin C，Oisin H，et al.Web services transaction management (WS-TXM)Version 1.0.Arjuna，Fujitsu，IONA，Oracle，and Sun，July 28，2003

15 LiangJiezhang，MarioJ.Thenextbigthing：web service collaboration.Berlin Heidelberg：Springer Verlag，2003

16 Sheng Q S，Benatallah B，Dumas M，et al.SELF-SERV：a platform for rapid composition of web services in a peer-to-peer environment.In： Proceedings of the 28th VLDB Conference，HK China，2002

17 Henrique P，LingLiu，Calton P.Adaptation space：adesign framework for adaptive web services.Berlin Heidelberg：Springer Verlag，2003

18 Michael N H.Software agents：the future of web services.Berlin Heidelberg：Springer Verlag，2003

19 Mercedes A，et al.Putting together web services and compositional software agents.Berlin Heidelberg：Springer Verlag，2003

20 Liu Shaohua，Wei Jun，Xu Wei.Service cooperation middleware and itssupportforprocessintegration.In：Proceedings of International Workshop on Grid and Cooperative Computing(GCC02)，Sanya China，2002

21 Liu Shaohua，Wei Jun，Xu Wei.Towards dynamic process with variable structure by reflection.In：Proceedings of the 27th Annual International Computer Software and Applications Conference (COMPSAC2003)，IEEE ComputerSociety，Dallas USA，Nov 2003

22 Liu Shaohua，Ye Dan，Wei Jun，et al.POP beyond SODA，reaching the new horizon of service cooperation.In：Proceedings ofthe 28th AnnualInternationalComputerSoftware and ApplicationsConference (COMPSAC2004)，IEEE Computer Society，HK China，Sept 2004

23 劉紹華，魏峻，黃濤.基于服務協作中間件的動態流程模型.軟件學報，2004，15(10)：435～444

24 Qiao Xiaoqiang，Wei Jun，Huang Tao.A decentralized approach for inter-enterprise business process collaboration.I-ESA，2006

25 Qiao Xiaoqiang，Wei Jun.A decentralized services choreography approach for business collaboration.SCC，2006

26 杜宗霞，懷進鵬，王勇等.組合Web Service支撐系統的研究與實現.北京航空航天大學學報，2003

27 Han Y，et al.VINCA-A visual and personalized business-level composition language forchaining web-based services.In：Proceedings of the 1st International Conference on Service-Oriented Computing，LNCS 2910，Springer Verlag，2003

28 馬曉星，余萍，陶先平等.一種面向服務的動態協同架構及其支撐平臺.計算機學報，2005，28(4)

29 李曼，王大治，杜小勇等.基于領域本體的Web服務動態組合.計算機學報，2005，28(4)

30 廖軍，譚浩，劉錦德.基于Pi-演算的Web服務組合的描述和驗證.計算機學報，2005，28(4)

31 Casati F，Ilnicki S，Jin L J，et al.An open，flexible，and configurable system for service composition.HPL technical report，2000

32 Casati F，Shan M C.Dynamic and adaptive composition of e-services，published by Elsevier Science Ltd. In： 12th InternationalConference on Advanced Information Systems Engineering(CAiSE00)，2001

33 Benatallah B，Sheng Q Z，Dumas M.The self-serv environment for web services composition.IEEE Internet Computing，2003 ，7(1)：40～48

34 OrriensB，Yang J，Papazoglou M P.Modeldriven service composition，ICSOC，LNCS 2910.Berlin Heidelberg：Springer Verlag，2003

35 Orriens B，Yang J，Papazoglou M P.A framework for business rule driven web service composition，ER 2003 Workshops，LNCS 2814.Berlin Heidelberg：Springer Verlag，2003

36 Orriens B，Yang J，Papazoglou M P.A framework for business rule driven service composition，TES，LNCS 2819. Berlin Heidelberg：Springer Verlag，2003

37 Rao J，Su X.A survey of automated web service composition methods.In：Proceedings of the First International Workshop on Semantic Web Services and Web Process Composition，SWSWPC 2004，San Diego California USA，July 2004

38 Paolucci M，Sycara K，Kawamura T.Delivering semantic web services.In：Proc.WWW’03，2003

39 Constantinescu I，Faltings B，Binder W.Typed based service composition.In：Proc.WWW’04，2004

40 Bultan T，Fu X，Hull R，et al.Conversation specification：a new approach to design and analysis of e-service composition.In：Proceedings ofthe 12th InternationalWorld Wide Web Conference(WWW 2003)，ACM 2003

41 Berardi D，Calvanese D，Giacomo G D，et al.Automatic composition of e-services that export their behavior.In：Proc.1st Int.Conf.on Service Oriented Computing(ICSOC)，LNCS 2910，2003

42 Snehal T，José L A，Craig A K.A data integration approach to automatically composing and optimizing web services.In：Proceeding of 2004 ICAPS Workshop on Planning and Scheduling for Web and Grid Services，June 2004

43 Narayanan S，McIlraith S.Simulation，verification and automated composition of web services.In：Proceedings of the Eleventh International World Wide Web Conference，2002

44 McIlraith S，Son T.Adapting gogol for composition of semantic web services.In：Proceedings ofthe Eighth International Conference on Knowledge Representation and Reasoning，Toulouse France，2002

45 Wu D，Sirin E，Hendler J，et al.Automatic web services composition usingSHOP2.In：Twelfth World WideWeb Conference，2003

46 Drew M.Estimated regression planning for interactions with web services.In：AI Planning Systems Conference，2002

47 Shankar R P，Armando F.SWORD：a developer toolkit for web service composition.In：The Eleventh World Wide Web Conference(Web Engineering Track)，Honolulu Hawaii，May 2002

48 Brahim M，Athman B，Ahmed K E.Composing web services on the semantic web.The VLDB Journal，2003，12(4)

49 Matskin M，Rao J.Value-added web services composition using automatic program synthesis.In：Web Services，E-Business，and the Semantic Web，CAiSE 2002 International Workshop，WES 2002，Toronto Canada，2002

50 Giunchiglia F，Traverso P.Planning as model checking.In：5th European Conference on Planning，ECP'99，Durham，UK，September 1999，In：Proceedings.Lecture Notes in Computer Science 1809，Springer，2000

51 Paul L，Mike D.Software and the new business economy.The Rational Edge，February 2001

52 Verissimo P，RodriguesL.Distributed systemsforsystem architects.Kluwer Academic Press，2001

53 Coulouris G，Dollimore J，Kindberg T.Distributed systems：concepts and design，third edition.Addison-Wesley，2001

54 Dayal U，et al.Business process coordination：state of the art，trends，and open issues.In：Proceedings of the 27th VLDB Conference，Roma Italy，2001

55 Chappell D，Jewell T.Java web services.O’Reilly Press，2002

56 W3C.Universal description，discovery and integration(UDDI)，http://www.w3.org/TR/uddi，2001

57 W3C.Web services description language(WSDL)，http://www.w3.org/TR/wsdl，2001