蔡廣軍等

摘要：針對服務組合動態(tài)、開放、復雜度高的特點，提出了一種環(huán)境模型驅(qū)動的服務組合方法.該文用環(huán)境模型中服務作用下客體的變化來描述服務功能，用客戶期望的環(huán)境變化描述客戶需求，構(gòu)建了一種獨立于服務實現(xiàn)和具體客戶的組合環(huán)境；然后以環(huán)境模型為基礎分解需求和組合服務.實驗結(jié)果分析表明，該文方法可以有效提高服務組合的效率.

關鍵詞：服務組合；環(huán)境；模型驅(qū)動；動態(tài)開放；行為

中圖分類號：TP393 文獻標識碼：A 文章編號：1009-3044（2015）13-0208-05

Abstract： To address the challenge of service composition that are dynamic， open and with a high complexity， the paper presents a service composition method driven by environment model. In this paper， by projecting service functionalities and the custom requirement into the environment model， a closed and simple problem domain is constructed. And then a composition method through decomposing the requirement is proposed. The test results show that this method is effective.

Key words： Service Composition； Environment； Model Driven； Dynamic and Open； Behavior

服務的標準化和松耦合為提高軟件或應用的互操作能力，重用服務提供了基礎。服務組合是實現(xiàn)服務集成、重用服務的主要方式，是面向服務計算成功的關鍵因素[1]。雖然商務的電子化使Web上的服務越來越多，僅單個購物網(wǎng)站就有300多萬個店鋪，但服務并沒有達到預期的發(fā)展速度，該文認為一個主要原因在于缺乏一種可以適應這一需要的服務組合方法。

服務組合的面臨的困難包括：一是服務的數(shù)量和組合問題的復雜度，存在大量服務是服務優(yōu)勢的來源，但是手工組合方法很難應對大量服務的組合，同時組合問題是一種指數(shù)復雜度的問題；二是服務組合的動態(tài)性和開放性，服務實現(xiàn)的自主性和異構(gòu)性以及客戶的未知性等性質(zhì)使得服務組合是動態(tài)開放的，而當前的很多自動組合方法和工具只支持封閉世界下靜態(tài)的組合；三是推理和描述之間的矛盾，語言的描述能力與推理能力成反比，比如參考文獻[2]中OWL-Little、OWL和OWL-Full的描述能力逐漸增加，但推理復雜度卻分別為多項式時間、指數(shù)時間和不可推理。

當前對服務組合的研究可以分為對已有工具能力的應用、對推理工具的擴展和組合問題的定義和分析。如[3]中實現(xiàn)了服務組合問題到層次任務規(guī)劃問題的轉(zhuǎn)換，使得可以借助已有的Shop2工具組合服務；[4]則通過擴充已有的Golog語言，實現(xiàn)了一種客戶化通用程序的組合方法。[5]從服務行為描述的重要性出發(fā)，提出了一種行為服務組合的方法，并實現(xiàn)了問題到自動機、描述邏輯等描述語言的轉(zhuǎn)換，以借用已有的理論和工具；WSMO[6]則從組合問題的整體性質(zhì)出發(fā)，提出了一種包含服務、本體、目標和中介四類元素的多層次組合框架。這些方法大多基于某種假設，而沒有討論在服務組合時如何滿足對應的假設，而且組合的復雜度也比較高，如[4]等基于行為的組合方法都是指數(shù)復雜度的。

與以上方法不同，該文從環(huán)境建模的思想出發(fā)，提出了一種轉(zhuǎn)換服務組合問題和模型驅(qū)動的組合方法。該文的主要創(chuàng)新點包括提出了一種通過創(chuàng)建領域環(huán)境模型、投影描述解決動態(tài)開放組合問題的方法；并提出了一種基于環(huán)境知識提高組合效率的方法，使得可以在多項式時間內(nèi)組合服務，實驗結(jié)果表明該方法是有效的。

1 環(huán)境建模

環(huán)境建模是環(huán)境模型驅(qū)動服務組合方法的基礎。本節(jié)先介紹了服務的環(huán)境概念、描述服務所需的環(huán)境本體、創(chuàng)建環(huán)境模型的方法以及如何描述服務和需求以把組合問題限定到環(huán)境模型中。

1.1 服務的環(huán)境

文中環(huán)境的概念來源于需求工程[7]，通過定義環(huán)境來區(qū)分軟件實現(xiàn)方案和問題，使得需求工程專注于獲取問題而不陷入實現(xiàn)方案的設計。環(huán)境建模中環(huán)境的含義與[8]等中的環(huán)境不同，它們的含義分別如圖1（a）和圖1（b）所示。[8]中環(huán)境指用戶和系統(tǒng)間交互的場景及相關因素，環(huán)境建模中的環(huán)境不僅包括用戶和服務之間的媒介或其它要素，還包括服務的用戶以及其它客戶關心的且服務作用下發(fā)生過變化的內(nèi)容，是服務可能影響到的現(xiàn)實世界中的所有內(nèi)容。

服務組合是在單個服務不能滿足客戶需求的情況下組合多個已有服務來滿足需求。服務組合是分布式環(huán)境下的一種軟件開發(fā)方法[9]，從所要考慮的內(nèi)容看，它與傳統(tǒng)軟件沒有本質(zhì)的區(qū)別，仍然要考慮從客戶需求到領域知識以及軟件性質(zhì)等內(nèi)容。

從環(huán)境建模的思想看，服務組合需要考慮系統(tǒng)、現(xiàn)實世界和需求三方面的內(nèi)容。服務組合的動態(tài)開放性體現(xiàn)在服務和需求的動態(tài)開放性上，服務的動態(tài)開放性是由于為了促進服務間的競爭和服務的改善，難以限制服務的實現(xiàn)方式和范圍；需求的動態(tài)開放性則在于要滿足更多需求、爭取更大利潤的前提導致的客戶或客戶需求的多樣化以及來源的不確定性等。而服務的環(huán)境指的是現(xiàn)實世界，它是客觀存在的，不受服務和需求變化的影響。

1.2 環(huán)境本體

為了統(tǒng)一服務提供者、服務請求者之間的術(shù)語，該文采用本體的方法。環(huán)境本體中的主要概念如下，其中部分概念的定義或含義可參見[10-11]中的內(nèi)容。

定義1. 環(huán)境，記為Env，定義為二元組：

Env：=

其中，DomSet是建模環(huán)境中環(huán)境領域的集合，DomRelSet是領域之間關系的集合。

定義2. 環(huán)境領域，記為EnvDom，是DomSet的元素，定義為四元組：

EnvDom：=

其中，DomName表示環(huán)境中環(huán)境領域的名字，DomAtrrSet表示領域的屬性集合，用以區(qū)分不同的領域，EntSet是此環(huán)境領域中環(huán)境實體的集合，EntRelSet表示環(huán)境實體之間關系的集合。

定義3. 環(huán)境領域關系，記為DomRel，是DomRelSet的元素，定義為三元組：

DomRel：=

其中，sdom， tdomDomSet， 表示DomSet中的任意兩個領域，domrel表示領域之間的關系，它可以為：

-sdomtdom，表示tdom包含sdom，即ent （entsdom.EntSetenttdom.EntSet）entrel（entrel sdom.EntRelSetentreltdom.EntRelSet）；

-sdomtdom，表示sdom包含tdom，即tdom sdom；

-sdomtdom，表示sdom和tdom具有相同的環(huán)境實體，即ent（entsdom.EntSetenttdom. EntSet）；

-sdomtdom，表示sdom和tdom無關，即ent （entsdom.EntSetenttdom.EntSetenttdom.EntSetentsdom.EntSet）。

定義4. 環(huán)境實體記為EnvEnt，是EntSet的元素，定義為一個四元組：

EnvEnt：=

其中，EntName是環(huán)境實體的名字，它是唯一的。Type表示環(huán)境實體的類型，環(huán)境實體分為自主實體、符號實體和可控實體三類，分別取值為A、S和C。自主實體時可以接收或發(fā)送服務或其它環(huán)境實體傳遞的事件，但沒有確定的狀態(tài)變化和內(nèi)容變化；符號實體可以接收或發(fā)送服務或其它環(huán)境實體傳遞的數(shù)據(jù)，接收數(shù)據(jù)會改變環(huán)境實體的內(nèi)容；可控實體可以接收或發(fā)送服務或其它環(huán)境實體傳遞的消息（事件或數(shù)據(jù)），接收或發(fā)送消息能改變此環(huán)境實體的狀態(tài)或內(nèi)容。AttrSet={|attrn和attrv分別表示靜態(tài)屬性的屬性名和屬性值}是環(huán)境實體靜態(tài)屬性的集合，描述環(huán)境實體的性質(zhì)，它們不受服務影響。Eff=Events| Datas|Trans，表示環(huán)境實體的效果，它描述環(huán)境實體在服務的作用或觸發(fā)下發(fā)生的動態(tài)變化，它的取值取決于環(huán)境實體的類型，自主實體的Eff為Events={| dir=？|！， event為命令消息}；符號實體的Eff為Datas={|dir =？|！， data為數(shù)據(jù)消息}；可控實體的Eff取值為Trans={|ss和ts表示環(huán)境實體的狀態(tài)，mes為數(shù)據(jù)消息或事件消息}。

定義5. 環(huán)境實體關系，是EntRelSet的元素，記為EntRel， 描述環(huán)境領域中環(huán)境實體之間的關系，定義為一個三元組：

EntRel：=

其中，sent， tentEntSet， 表示某個領域內(nèi)任意兩個環(huán)境實體，entrel表示環(huán)境之間的關系，可以分為：

-is-a關系，表示sent是tent的子類，具有tent的部分性質(zhì)；

-part-of關系，表示sent是tent的元素；

-dependence關系，表示sent某種變化依賴tent通過服務發(fā)送或接收的消息；

-instance關系，表示sent是tent的實例；

-null關系，表示sent和tent無關。

1.3 環(huán)境模型的構(gòu)建

環(huán)境建模是環(huán)境驅(qū)動服務組合的基礎，它是以環(huán)境本體為基礎構(gòu)建某個領域的問題的模型。在建模中需要考慮領域問題、客戶和服務三方面的因素。對于相互之間關聯(lián)較弱的問題直接分為多個領域分別建模，對于關聯(lián)較強的領域，其任務如下：

步驟1：確定問題的范圍。從領域角度看，要求描述耦合較強的內(nèi)容。從客戶角度看，要描述客戶需要解決的問題，要滿足的需求范圍要適中，描述范圍過大會造成領域過于復雜，描述過小則不能單獨滿足客戶需求。從服務角度看，要描述服務能解決的問題，描述服務不能解決的問題不僅無法組合，也會提高描述、組合等的復雜度。

步驟2：確定環(huán)境實體。從領域角度看，一要盡可能選擇問題領域中概念作為實體；二要選擇功能緊密的內(nèi)容作為同一實體，把耦合較弱的或沒有關聯(lián)的分為不同的實體。從客戶角度看，環(huán)境實體要與客戶需求相適應。從服務角度看，環(huán)境實體要適當考慮服務提供的功能之間的耦合。

步驟3：確定環(huán)境實體的類型、屬性和行為。靜態(tài)屬性用于選擇實體，靜態(tài)屬性的選擇和取值范圍的確定反映了實體性質(zhì)和提供服務的范圍。Eff描述環(huán)境實體的變化，其范圍確定了可以對這個環(huán)境實體施加的功能，行為的粒度確定了服務描述和客戶選擇的粒度，描述粒度過小會提高描述或推理的復雜度，描述粒度過大或功能單位不一致會造成一些功能無法描述。類型反映領域?qū)Νh(huán)境實體不同變化之間的約束，如變化依賴于實體狀態(tài)則為可控實體。

步驟4：劃分子領域。如果領域內(nèi)存在不一致，或者領域的復雜度超過了期望的程度則要分解領域。不一致包括環(huán)境實體具有不同類型特征，環(huán)境實體的行為需要以不同粒度描述或者相同條件下可能發(fā)生多個不同的變化等。領域復雜度的要求則取決于具體的描述語言和推理工具以及客戶的要求等內(nèi)容。

以網(wǎng)上購物領域為例，其主要環(huán)境實體和實體之間的關系如圖2（a）所示，具體行為的描述如圖2（b）所示，（b）中虛線代表其它沒有描述的變化。其中，確定問題范圍是確定要處理的內(nèi)容，如以買家為客戶，是否處理賣家信息取決于購物者除了關心產(chǎn)品的內(nèi)容外是否關心商家的規(guī)?；虻刂返葍?nèi)容。確定環(huán)境實體是確定環(huán)境不同變化之間的關系，不一定與現(xiàn)實實體完全對應，如當支持購物、彩票等具有不同行為買家時，可作為多個環(huán)境實體。確定環(huán)境實體的靜態(tài)屬性是確定服務可能改變的領域?qū)嶓w，比如支持信譽度為什么范圍的買家；確定環(huán)境實體的動態(tài)屬性是確定客戶可以接收的服務或服務可以提供的服務范圍，比如買家是否能夠先收貨再付款。劃分領域是確定可以自動推理的問題范圍，涉及多個領域時一般需要人工介入。

1.4 服務描述和需求描述

基于環(huán)境描述服務和需求是環(huán)境模型驅(qū)動服務組合的前提，可以預先進行。服務基于環(huán)境的描述定義如下：

Ser：=

其中，ID是服務的標識，DomSet是服務作用的領域集合，是環(huán)境領域集合的子集，SerSet表示此服務成員服務的集合，服務為原子服務時是服務自身，F(xiàn)uncSet描述環(huán)境實體的變化和服務之間的關系。需求描述是一個沒有SerSet和FuncSet部分的服務描述，描述需求時，ID是需求的標識，DomSet是客戶期望改變的領域集合。

基于環(huán)境本體的服務描述和需求描述是一種投影。服務描述過程中，服務信息、環(huán)境模型和相關信息的充分性和形式化程度決定了描述的自動化程度。服務信息包括服務可作用的領域、可作用的實體、與實體間的交互及自身的變化特征等信息。描述可能遇到如下問題：一是服務提供了領域模型之外的功能，這時只描述服務在此領域內(nèi)提供的且獨立于其它功能的功能；二是服務提供的功能依賴于領域外的環(huán)境實體，則要求服務可以獨立獲取這些資源；三是服務提供功能的粒度與環(huán)境描述的粒度不一致，在服務提供的功能粒度大于環(huán)境模型粒度時按服務提供的功能描述，在服務功能粒度小于環(huán)境模型粒度時則根據(jù)環(huán)境模型描述，在服務功能與環(huán)境模型行為之間不存在可對齊的劃分時，則無法描述。由于服務描述中各個領域是分別描述的，描述過程與單領域的服務描述一樣，可參見[11]中的描述方法。

需求描述與服務描述的主要區(qū)別在于需求可能涉及多個領域。當需求屬于單一領域時，可以采用與描述服務相似的方法描述需求，選擇所需的環(huán)境實體、指定環(huán)境實體的性質(zhì)變化以及推導環(huán)境實體的變化過程和依賴關系，具體內(nèi)容可參見[12]；當需求描述涉及多個相互之間無關的領域時，則分為多個領域分別描述；當需求涉及多個相關的領域時，則需要客戶、領域?qū)＜业慕槿?，以處理不同領域之間的沖突，以獲得一個一致的需求描述。

除了需求涉及多個相關領域時需要有領域?qū)＜一蚩蛻魠⑴c外，其它情況下服務組合問題都在單個領域內(nèi)，新服務和新需求的出現(xiàn)不會改變問題的內(nèi)容。描述的結(jié)果是領域模型的裁剪，如一個基于圖2（b）的具體的買家服務描述如圖2（c）所示。

2 組合方法

該文假設服務在其所有可以提供功能的領域具有描述，而且服務的不同作用效果之間是獨立的。利用環(huán)境模型中的知識，采用分解發(fā)現(xiàn)的方法來組合服務。

2.1 需求的分解

基于環(huán)境本體描述的需求中，不同子需求之間的依賴類型有：

-領域依賴，兩個子需求之間存在領域依賴當且僅當兩個子需求屬于同一個領域，即|req1.DomSet|=1 req1.DomSet= req2. DomSet；

-消息依賴，兩個子需求之間存在消息依賴當且僅當一個子需求的滿足需要另一個子需求的消息，即mes（mesreq1mesreq2 req1.mes.dirreq2.mes.dir）；

-實體依賴，兩個子需求之間存在實體依賴當且僅當兩個子需求是關于同一個環(huán)境實體的，即req1.DomSet=req2.DomSet|req1.EntSet|=1req1.EntSet = req2.EntSet；

-狀態(tài)依賴，兩個子需求之間存在狀態(tài)依賴當且僅當兩個子需求是關于同一個可控實體的，即req1.DomSet=req2.DomSet|req1.EntSet|=1req1.EntSet=req2.EntSetent（ent req1ent.Type =C）；

不同依賴之間的耦合程度不同。存在領域依賴僅表示需求屬于同一個領域；存在消息依賴表示要滿足一個需求需要滿足另一個需求的過程中發(fā)送的消息；存在實體依賴的兩個需求則需要改變同一個環(huán)境實體，在需要實體消息的同時還有資源上的約束；存在狀態(tài)依賴時，在以上約束的同時還具有時間上執(zhí)行次序的約束。以網(wǎng)上購物領域為例，存在領域依賴時，買家張三和支付者工商銀行屬于同一個領域，但張三不一定通過工商銀行支付；存在消息依賴時，張三要通過工商銀行支付，但可能涉及多家工商銀行，如何轉(zhuǎn)賬沒有限制；存在實體依賴時，張三的賬戶只能張三操作；存在狀態(tài)依賴時，張三只能先存錢再取錢。

據(jù)此設計了表1中需求分解規(guī)則。其中，規(guī)則1根據(jù)領域劃分需求，把不同領域的需求作為不同的子需求。規(guī)則2-5根據(jù)需求之間的消息依賴劃分需求，規(guī)則2劃分的是不存在消息依賴的需求；規(guī)則3劃分的是存在單向消息依賴的需求；規(guī)則4劃分的是與符號實體或自主實體存在消息依賴的需求；規(guī)則5劃分的是存在多個環(huán)境實體的需求。規(guī)則6劃分的是包含單個符號實體或自主實體的需求。規(guī)則7劃分的是含有單個可控實體的需求。劃分方法的實現(xiàn)可參見[12]，規(guī)則1、規(guī)則5和規(guī)則6具有線性時間復雜度，其它規(guī)則是多項式時間復雜度。

2.2 基于分解的組合

基于環(huán)境的描述不僅提供了面向問題的描述，而且可以更加具體地描述服務的非功能屬性和客戶對各部分問題非功能屬性的要求，同時可以支持基于行為的服務發(fā)現(xiàn)。其組合過程如算法1所示，分析可知當發(fā)現(xiàn)算法的復雜度不超過多項式時間復雜度時，組合算法具有多項式時間復雜度。

算法1： 基于分解的組合算法

輸入：req， serviceSet

輸出：comSer//組合服務

步驟：

1.if（|req.DomSet|>1）//需求包含多個領域

2. 根據(jù)規(guī)則1劃分需求把各個子需求加入reqSet；

3.else

4. reqSet：={req}；

5.endif

6.while（|reqSet|>0）

7.從reqSet中取一個元素subreq， reqSet=reqSet-{subreq}；

8.ser=discovery（subreq， serviceSet）；

9.if（ser）//發(fā)現(xiàn)成功

10.comSer.SerSet：= comSer.SerSet{ser}；

11.comSer，F(xiàn)uncSet= comSer，F(xiàn)uncSet{}；

12.else

13.if（沒有規(guī)則可以分解subreq）//組合失敗

14.return fail；

15.endif

16.根據(jù)規(guī)則分解需求并把分解結(jié)果加入reqSet；

17.endif

18.endwhile

3 實驗分析

為實現(xiàn)本文組合方法，基于eclipse平臺下開發(fā)了對應的組合原型系統(tǒng)。

3.1 實現(xiàn)原型

原型分為應用層、功能層和數(shù)據(jù)層三個層次。應用層提供了描述需求和組合服務的面板，需求描述過程中支持對環(huán)境實體、消息和狀態(tài)的選擇，組合時支持對分解規(guī)則以及[12]中轉(zhuǎn)換規(guī)則的選擇，分別如圖3和圖4所示。功能層實現(xiàn)描述和組合的推理，可以在客戶指定需求下推理可行的實現(xiàn)過程。數(shù)據(jù)層存放復合環(huán)境本體規(guī)范的服務描述和各個領域的環(huán)境模型。

3.2 組合方法評價分析

為了驗證該文方法的實際性能，在所開發(fā)平臺上進行了性能驗證。在服務數(shù)從10到110，需求行為數(shù)從100到300，沒有優(yōu)化發(fā)現(xiàn)算法的情況下（可選服務沒有進行索引或排序），進行了多次服務組合，所耗費的平均組合時間如圖5所示。從中可以看出，與2n的指數(shù)趨勢線比，該文方法受服務數(shù)的影響較小；組合復雜度隨服務數(shù)的增加而增加，需求1、需求2和需求3都是上升趨勢；組合復雜度隨需求行為數(shù)的增加而增加，需求3的組合時間大于需求1的組合時間；實驗還顯示，服務粒度和服務選擇次序?qū)M合效率都有影響，當有大粒度服務匹配時，需求行為數(shù)的增加不一定導致組合時間的增加，如在服務數(shù)是20時，需求3的時間少于需求1的時間；而當采取選取第一個滿足子需求服務的發(fā)現(xiàn)策略時，選取合適的發(fā)現(xiàn)次序能減少組合時間。

3.3 組合方法對比

已有的很多服務組合方法是基于某種假設，但沒有討論實現(xiàn)其假設的方法，只能適用于特定的環(huán)境，如 [5]中的Roman模型假設存在一個定義了原子行為的社區(qū)，[3]假設存在能分解需求的復合服務或簡單服務。在區(qū)分描述內(nèi)容的方法中，[6]是一種開放的多層組合模型，并引入中介作為不同層次、不同內(nèi)容之間轉(zhuǎn)換的機制，但沒有具體的中介實現(xiàn)方法，其復雜度也很難控制。[13]也是基于服務的行為，但建模對象是服務與外部實體的交互信息及其次序；其復雜度依賴于服務間交互的機制，當允許無限消息隊列時，它是圖靈完全的。[14]側(cè)重于對服務語境信息的處理，其語境該概念的含義與[8]中環(huán)境相似，并用不同類型的Agent來處理各類語境信息。在支持行為服務或復合服務的組合方法中，[5，13，15]都是具有指數(shù)級或以上的服務度。與前面基于環(huán)境的組合方法[16，17]相比，該文更側(cè)重于對環(huán)境模型的構(gòu)建和環(huán)境中知識的使用，[16]中方法沒有考慮環(huán)境的建模，環(huán)境僅提供了描述服務語義的統(tǒng)一術(shù)語；[17]中服務描述是基于單個領域內(nèi)的環(huán)境模型，但其采用的是一種通用的與[5]中類似的行為組合方法，具有與其相同的指數(shù)時間復雜度；[12]則沒有考慮多領域需求的服務組合以及環(huán)境建模的問題。該文方法是在已有單個領域組合方法的基礎上，不僅利用了環(huán)境模型的知識以支持高效的組合，而且通過擴充了環(huán)境本體的概念，可以支持復雜問題或多個領域問題的組合。

4 總結(jié)

環(huán)境模型驅(qū)動的方法為組合服務提供了一種新的思路，有助于解決服務組合的開放性和動態(tài)性和提高組合的效率。前一個問題的解決在于它是以形式化的問題模型為基礎，采用了與其它方法不同的描述方式，對一個具體的問題領域，僅描述服務對問題領域的作用效果，使得服務描述不僅不受服務實現(xiàn)方式變化的影響，還不受服務其它方面功能的影響，同時對客戶的也具有相同的效果。對效率的提高在于環(huán)境模型引入的新知識和對知識的利用，知識的引入不僅限定了服務作用的范圍，還限定了不同服務之間的關系，而且分解是降低問題復雜度的有效方法，基于知識的分解不僅可以簡化問題，而且限定了組合的位置。

不過，該文方法的有效程度取決于環(huán)境模型的性質(zhì)，如環(huán)境模型覆蓋問題越多，可以解決的問題越多，環(huán)境模型中知識的針對性越強，組合效率越高；但是在覆蓋問題范圍和效率之間存在矛盾，問題范圍過大會增加組合效率。為了進一步改善組合的性能，需要研究如何利用領域特征、如何確定利用的內(nèi)容和如何選擇協(xié)作的領域等內(nèi)容。

參考文獻：

[1] Milanovic N.， Malek M. Current Solutions for Web Service Composition[J]. IEEE Internet Computing， 2004， 8（6）：51-59.

[2] W3C. 2009. OWL 2 Web Ontology Language Document Overview[S]. http：//www.w3.org/TR/owl2-overview/.

[3] Sirin E.， Parsia B.， Wu D.， Hendler J.， Nau D. HTN Planning for Web Service Composition using SHOP2[J]. Journal of Web Semantics， 2004， 1（4）： 377-396.

[4] McIlraith S.， Son T.C. Adapting Golog for Composition of Semantic Web Services[C].//Proceedings of the 8th International Conference on Knowledge Representation and Reasoning， Toulouse， France， 2002： 482-496.

[5] Berardi D.， Calvanese D.， Giacomo G.D.， et al. Automatic Composition of Eservices that Export Their Behavior[C].// Proceedings of the 8st International conference on ICSOC 2003. LNCS 2910. Heidelberg： Springer-Verlag， 2003： 43-58.

[6] Roman D.， Scicluna J.， Feier C.， et al. Ontology-based Choreography and Orchestration of WSMO Services[S]. WSMO Final Draft， http：//www.wsmo.org/TR/d14/ v0.4/， 2005.

[7] Jackson M. Problem Frames： Analyzing and Structuring Software Development Problems[M]. Addison-Wesley， 2001.

[8] lv J.， Ma X.， Tao X.， Cao C.， et al. On environment-driven software model for Internetware[J]. Science in China Series F： Information Sciences， 2008， 51（6）： 638-721.

[9] Jian Yang. Web Service Componentization[J]. Communications of the ACM， 46（10）： 35-40， 2003.

[10] Wang P.， Jin Z.， Liu L.， Cai G. Building Towards Capability Specifications of Web Services Based on an Environment Ontology[J]. IEEE Transactions on Knowledge and Data Engineering， 2008， 20（4）： 547-561.

[11] 蔡廣軍， 金芝. 基于環(huán)境本體的Web服務投影描述方法[J]. 計算機科學， 2009， 36（8）： 116-120.

Cai G.， Jin Z. Based on Environment Ontology Web Service Description： a Projection Approach. Computer Science， 2009， 36（8）： 116-120.

[12] Cai G. Requirement Driven Service Composition： An Ontology-Based Approach[C].// Proceedings of 6th International Conference on Intelligent Information Processing. Springer， 2010： 16-25.

[13] Bultan T.， Fu X.， Hull R.， Su J. Conversation Specification： A New Approach to Design and Analysis of E-Service Composition[C].//Proceedings of the 12th international conference on World Wide Web， 2003： 403-410.

[14] Maamar Z.， Mostefaoui S.K.， Yahyaoui H. Toward an Agent-Based and Context-Oriented Approach for Web Services Composition[J]. IEEE Transactions on Knowledge and Data Engineering， 2005， 17（5）： 686-697.

[15] Brogi A.， Corfini S.， Popescu R. Semantics-Based Composition-Oriented Discovery of Web Services[J]. ACM Transactions on Internet Technology， 2008， 8（4）：1-39.

[16] 侯麗珊， 金芝. 基于環(huán)境變遷的構(gòu)件組合模型[J]. 電子學報， 2005， 33（12A）： 82-87.

Hou L.， Jin Z. A Composition Model of Internet Components Based on Environment Transitions. ACTA Electronica Sinica， 2005， 33（12A）： 82-87.

[17] Wang P.， Jin Z. Web Service Composition： An Approach Using Effect-Based Reasoning[C].// Proceedings of the ICSOC 2006. LNCS 4652， Heidelberg： Springer-Verlag， 2007. 62-73.