廣西財經(jīng)學(xué)院 王東紅

東北大學(xué) 馮國奇

1.引言

動態(tài)電子商務(wù)系統(tǒng)是電子商務(wù)與計算機科學(xué)的交叉研究領(lǐng)域，從國內(nèi)外目前的研究情況看，這項研究還處在發(fā)展階段，有些問題才剛剛提出，研究的深度還不夠深入，計算的手段還很落后，更多的問題還有待歸納總結(jié)。

動態(tài)電子商務(wù)是“著重于B2B的綜合性和基礎(chǔ)設(shè)施組成的下一代電子商務(wù)，通過調(diào)用Internet標準和通用基礎(chǔ)設(shè)施，為內(nèi)部與外部企業(yè)創(chuàng)造最佳效益”的電子化解決方案，它為企業(yè)提供了內(nèi)部的商務(wù)流程動態(tài)重組，以及與外部客戶信息系統(tǒng)間的動態(tài)延伸和連接功能[1]。作為實現(xiàn)動態(tài)電子商務(wù)的主要支撐技術(shù)，Web服務(wù)是在分布式計算、網(wǎng)格和XML等技術(shù)相互融合的基礎(chǔ)上，采用HTTP、SOAP等Internet標準協(xié)議與分布式Web組件，進行交互的自包含、自適應(yīng)和自描述的軟件組件。但是web服務(wù)的支撐技術(shù)UDDI和WSDL在解決服務(wù)的發(fā)現(xiàn)和組合問題方面還存在著一定的局限性[2]：首先，在注冊中心UDDI的原始服務(wù)描述只能提供有限的關(guān)于其服務(wù)能力和動態(tài)行為的靜態(tài)信息；其次，有關(guān)Web服務(wù)的描述對于原始服務(wù)的動態(tài)行為信息是不透明的，這樣限制了在服務(wù)平臺對其進行預(yù)推理；再次，由于WSDL是一種狀態(tài)無關(guān)的協(xié)議，因此需要對執(zhí)行的每個原子服務(wù)進行狀態(tài)管理。

近年，學(xué)術(shù)及工業(yè)界對基于web服務(wù)的業(yè)務(wù)過程自動化展開了研究。BPEL4WS就是一種基于XML的工作流定義語言，它使企業(yè)能夠描述基于Web服務(wù)的業(yè)務(wù)過程，同時作為補充，還出現(xiàn)了WS-coordination和WS-transaction等規(guī)范，共同構(gòu)成了業(yè)務(wù)過程自動化框架。然而，BPEL4WS僅限于流程模型的規(guī)范化定義及Web服務(wù)的協(xié)同調(diào)用問題，沒有直接解決Web服務(wù)的發(fā)現(xiàn)和組合問題。此外，它還假設(shè)包含在業(yè)務(wù)過程中的任務(wù)是獨立執(zhí)行的，創(chuàng)建BPEL4WS文檔的企業(yè)管理人員掌握了有關(guān)的Web服務(wù)信息，同時BPEL4WS在定義企業(yè)需求方面也存在著一定的局限性，而這一點對實現(xiàn)分布式的業(yè)務(wù)過程管理至關(guān)重要。

所以，為了構(gòu)建成功的電子商務(wù)系統(tǒng)，還需要大量的相關(guān)研究工作。在構(gòu)建基于Web服務(wù)的分布式業(yè)務(wù)過程管理系統(tǒng)首先要解決兩個關(guān)鍵問題：首先，必須搜索（發(fā)現(xiàn)）包含期望功能及操作需求的Web服務(wù)以實現(xiàn)給定目標任務(wù)；其次，在發(fā)現(xiàn)相關(guān)Web服務(wù)后，需要一定的機制來簡化結(jié)構(gòu)和語義的不同問題。在實現(xiàn)這兩個任務(wù)的時候，面臨著許多問題亟待解決：用于構(gòu)造完整系統(tǒng)的候選Web服務(wù)數(shù)量巨大；Web服務(wù)的自治性使用戶不能在設(shè)計時確定其操作特性，這對整個系統(tǒng)的質(zhì)量是不可或缺的一部分；由于不同的Web服務(wù)采用不同的數(shù)據(jù)結(jié)構(gòu)和類層次定義接口參數(shù)，因此Web服務(wù)之間存在著結(jié)構(gòu)和語義的異構(gòu)性，需要解決不同Web服務(wù)或內(nèi)部業(yè)務(wù)活動之間的語義集成，及輸入、輸出的互操作性。

下面主要從服務(wù)發(fā)現(xiàn)和組合兩個研究方面進行分析評論，這也是系統(tǒng)構(gòu)建過程中最關(guān)鍵的難點與熱點問題。

2.服務(wù)的發(fā)現(xiàn)問題

基于語義的服務(wù)發(fā)現(xiàn)：UDDI的一個主要缺陷在于其服務(wù)發(fā)現(xiàn)系統(tǒng)，沒有附加任何語義信息的單純關(guān)鍵詞搜索會產(chǎn)生多個不需要的結(jié)果，而且在該框架內(nèi)不能實現(xiàn)近似性。因此缺乏語義信息常常會導(dǎo)致不確定性問題，不能自動獲得結(jié)果或服務(wù)組合方案。語義Web服務(wù)模式能夠?qū)崿F(xiàn)基于語義的web服務(wù)描述，在此基礎(chǔ)上實現(xiàn)服務(wù)的自動發(fā)現(xiàn)和組合[3]。METEOR-S[4]是美國Georgia大學(xué)的LSDIS實驗室主持的關(guān)于語義網(wǎng)、工作流和Web服務(wù)技術(shù)的研究項目，MWSDI（METEOR-S Web Service Discovery Infrastructure）在處理服務(wù)實例與用戶查詢請求的匹配時，使用一種簡單的基于服務(wù)模板的匹配算法。該算法需要事先定義一系列的服務(wù)模板，服務(wù)描述文檔和用戶查詢請求都遵循某個特定模板的格式書寫，模板中的各項都要進行相應(yīng)的本體標注。如果用戶查詢與服務(wù)實例使用了相同的服務(wù)模板，則進一步對服務(wù)模板中的各項作基于本體的匹配推理。MWSDI存在的最大缺點在于，整個P2P網(wǎng)絡(luò)共享相同的注冊本體，維護注冊本體的一致性變得十分困難，從很大程度上限制了P2P網(wǎng)絡(luò)的自組織能力。OWL提供了功能和外延視圖來表達Web服務(wù)的功能，其發(fā)現(xiàn)過程基于表達和匹配能力，并提出了一系列的匹配算法[5]。

楊圣文，史美林(2005年)[6]提出了一種基于過程本體論(process ontologies)的Web服務(wù)發(fā)現(xiàn)技術(shù)，通過描述服務(wù)過程的匹配來提高服務(wù)匹配的查準率和查全率，服務(wù)的查找和發(fā)現(xiàn)過程就是過程模型中的過程本體論與查詢中所用到的過程本體論相匹配的過程。Orri?ns，B，et al(2003年)[7]提出以RDF和DAML描述服務(wù)，用本體上下文關(guān)系進行服務(wù)發(fā)現(xiàn)。TANG Q.C，CHENG H.K(2005年)[8]用DAML+OIL描述Web服務(wù)，并給出相應(yīng)相似度計算方法，該方法未定義輸入輸出和服務(wù)質(zhì)量等參數(shù)，在服務(wù)發(fā)現(xiàn)時存在明顯缺陷。Klein，M.and A（2001年）[9]使用LARKS語言定義Web服務(wù)，并用自定義的權(quán)重網(wǎng)絡(luò)計算Web服務(wù)之間的相似度，該算法中自定義的權(quán)重網(wǎng)絡(luò)需要人工干預(yù)，面對海量的Web服務(wù)，構(gòu)造權(quán)重網(wǎng)絡(luò)的工作量將會成為Web服務(wù)發(fā)現(xiàn)的瓶頸。此外，蔡月茹等人提出了一種基于P2P技術(shù)和語義網(wǎng)技術(shù)的服務(wù)發(fā)現(xiàn)機制，將服務(wù)的部署與服務(wù)的發(fā)布無縫地綁定在一起[10]，張榮、申德榮、吳朝暉等人也都從本體論的角度探討了服務(wù)的發(fā)現(xiàn)問題[11，12]。

基于QoS的服務(wù)發(fā)現(xiàn)：服務(wù)質(zhì)量(QoS)描述了一個產(chǎn)品或服務(wù)滿足消費者需求的能力。提供有保證的QoS是Web服務(wù)在商業(yè)應(yīng)用中獲得成功的關(guān)鍵。如何動態(tài)地選擇出最適合用戶需求的Web服務(wù)正在引起研究領(lǐng)域的關(guān)注。文獻[5]提出了一種新的服務(wù)發(fā)現(xiàn)模型，在服務(wù)查找過程中考慮了服務(wù)的QoS屬性。該模型對UDDI進行了擴展，增加了一種新的數(shù)據(jù)結(jié)構(gòu)，用于描述Web服務(wù)的QoS屬性。另外，定義了一種QoS證明者角色，用于對服務(wù)提供者所宣稱的服務(wù)質(zhì)量進行驗證。Chen H.G.，Yu T，Lin K.J(2003年)[13]提出了一種Web服務(wù)QoS架構(gòu)(QCWS)，在Web服務(wù)消費者和提供者之間增加了QoS代理。QoS代理根據(jù)收集到的Web服務(wù)的QoS信息作為服務(wù)發(fā)現(xiàn)過程中選擇決策的依據(jù)。同時，為了確保服務(wù)提供者所宣稱的服務(wù)質(zhì)量，QoS代理在服務(wù)調(diào)用之前需要與提供者進行協(xié)商，通過接納控制機制來避免因為服務(wù)器過載而導(dǎo)致的服務(wù)質(zhì)量下降，并防止貪婪的用戶消耗過多的系統(tǒng)資源。Maximilien E.M，Singh M.P(2004年)[14]提出了一種Web服務(wù)代理框架(WSAF)和QoS本體來解決服務(wù)的動態(tài)選擇問題。在WSAF中，服務(wù)提供者和服務(wù)消費者使用一種XML策略語言來描述服務(wù)質(zhì)量通告和需求。服務(wù)代理首先從UDDI查詢滿足功能性需求的服務(wù)，然后借助QoS本體和XML質(zhì)量策略語言進行服務(wù)選擇。WSAF能夠在QoS本體的基礎(chǔ)上進行語義分析，提供更加精確的服務(wù)匹配。楊圣文，史美林（2005年）[6]提出了一種支持QoS約束的Web服務(wù)發(fā)現(xiàn)模型(WSDM2Q)，定義了一組描述Web服務(wù)QoS屬性和信譽度的分類tModel，引入了QoS量化的概念，采用了QoS協(xié)商和反饋機制，支持攜帶QoS描述信息的服務(wù)發(fā)布以及基于QoS約束的服務(wù)發(fā)現(xiàn)。

3.服務(wù)組合問題

Web服務(wù)組合的復(fù)雜性主要來源于幾個方面：首先，Web上可得的服務(wù)數(shù)量劇增，用戶需要對大型服務(wù)注冊中心進行搜索；其次，Web可以進行實時創(chuàng)建和更改，因此組合系統(tǒng)要求能夠在運行時發(fā)現(xiàn)變化并根據(jù)最新信息進行決策；此外，Web服務(wù)可以由不同的組織開發(fā)，可能會采用不同的概念模型描述同一服務(wù)，但是并不存在一種中間語言可以用來以相同的方式定義和評估Web服務(wù)。所以，采用自動或半自動工具構(gòu)建組合Web服務(wù)非常關(guān)鍵，對此工業(yè)界與學(xué)術(shù)界提出了一定的解決方法。

工業(yè)界的相關(guān)標準有Web服務(wù)的業(yè)務(wù)流程執(zhí)行語言BPEL4WS[15]，它描述了如何利用基本的Web服務(wù)組織成能完成復(fù)雜任務(wù)的組合服務(wù)，從而完成特定的商業(yè)目標。

在學(xué)術(shù)界，圍繞著服務(wù)發(fā)現(xiàn)、服務(wù)描述、服務(wù)的QoS、服務(wù)安全、服務(wù)組合等方面，也開展了一系列的研究工作[16]。有關(guān)服務(wù)組合的研究工作主要從工作流和人工智能AI規(guī)劃兩個方面開展的。

基于工作流的服務(wù)組合：在很多方面，組合服務(wù)與工作流非常相似。組合服務(wù)的定義包括一系列原子服務(wù)及其間的控制與數(shù)據(jù)流，類似地，工作流需要指定工作項目的流動。因此當前有關(guān)柔性工作流、自動過程變更、跨企業(yè)集成等方面的研究成果都可以為自動Web服務(wù)組合提供方法支持。此外，動態(tài)工作流方法提供了根據(jù)具體資源或服務(wù)綁定抽象節(jié)點的方式。

eFlow是由HP公司提出的有關(guān)組合服務(wù)規(guī)范、制定和管理平臺，它采用了靜態(tài)工作流產(chǎn)生方法。組合服務(wù)采用圖形化的方式進行描述，表示過程中服務(wù)執(zhí)行順序，并沒有涉及復(fù)雜的服務(wù)接口信息的處理問題[17]。CrossFlow[18]與WISE[19]項目主要是提供組織間工作流管理平臺，需要解決電子商務(wù)中業(yè)務(wù)過程的互連問題，它們考慮了B2B中的關(guān)鍵需求，如可靠性與外部可管理性等，但是沒有考慮動態(tài)環(huán)境中多屬性提供的選擇問題。Liangzhao Zeng(2001)[20]提出了一種基于Agent的跨企業(yè)工作流管理系統(tǒng)(WFMS)，它能夠根據(jù)用戶需求集成業(yè)務(wù)過程。集成Agent根據(jù)用戶的需求與服務(wù)發(fā)現(xiàn)Agent進行溝通，定位合適的服務(wù)agent并就服務(wù)執(zhí)行問題與之協(xié)商。Liangzhao Zeng(2002)[21]提出了一種了基于業(yè)務(wù)規(guī)則推理引擎的能夠?qū)崿F(xiàn)運行中工作流進行動態(tài)組合和修改的動態(tài)工作流系統(tǒng)。不過這兩種方法都主要集中考慮動態(tài)過程的執(zhí)行和管理問題。PPM(Polymorphic Process Model)采用了動態(tài)（由基于服務(wù)的過程環(huán)境支持）、靜態(tài)（由基于參考過程的環(huán)境支持）相結(jié)合的服務(wù)組合方式[22]。

基于AI的服務(wù)組合：DAML-S（亦稱OWL-S）是唯一一個直接聲明與AI規(guī)劃方法直接管理的服務(wù)語言。由服務(wù)執(zhí)行產(chǎn)生的狀態(tài)變更通過DAML-S中ServiceProfile的前提和效果屬性進行指定。

情景演算：Mcllraith等人對Golog語言進行了擴展和改進以處理服務(wù)的自動構(gòu)造問題，這一問題主要是通過提供一種高層次的通用過程程序和客戶化約束來完成[23]。

PDDL(Planning Domain Definition Language)[24]：為了表示基于PDDL的服務(wù)組合方法，McDermott引入了一種新的知識類型（操作價值）。DAML-S的研究主要啟發(fā)來自PDDL，二者具有很大的相似性。

基于規(guī)則的規(guī)劃：Medjahed提出了一種根據(jù)高層聲明性描述產(chǎn)生組合服務(wù)的技術(shù)[25]。該方法利用組合性規(guī)則確定兩個服務(wù)的可組合性，包括四個階段，即規(guī)范化階段、匹配階段、選擇階段和產(chǎn)生階段。SWORD[26]是美國斯坦福大學(xué)研制的Web服務(wù)組合的系統(tǒng)，能夠重用已有的服務(wù)，實現(xiàn)新的組合服務(wù)。SWORD中的規(guī)則引擎可以產(chǎn)生服務(wù)組合順序的計劃，通過規(guī)則的觸發(fā)，進行相關(guān)服務(wù)的調(diào)度，實現(xiàn)復(fù)雜的Web服務(wù)組合。

其它AI規(guī)劃方法：SHOP2是用于服務(wù)自動組合的HTN規(guī)劃器[27]，它采用DAML-S規(guī)范描述服務(wù)，他們認為HTN中的任務(wù)分解概念與DAML-S過程本體中的過程分解非常相似，并且認為HTN規(guī)劃器比Golog等其它規(guī)劃語言更加有效。

還有學(xué)者采用理論驗證研究者技術(shù)實現(xiàn)服務(wù)組合，其方法是基于自動演繹和程序綜合，采用了一階語言描述最初可獲得的用戶需求。

此外，不少學(xué)者從其它角度研究了服務(wù)的組合問題。Boualem等設(shè)計了SELF-SERV[28]，通過利用P2P計算架構(gòu)，提出了服務(wù)組合中的服務(wù)的協(xié)調(diào)機制、包裝機制和路由機制進行服務(wù)的注冊、發(fā)布和消息的交互。ActiveXML[29]是另一個在Web服務(wù)集成方面做得很出色的工作，由法國Inria的Abiteboul等提出，通過利用XQuery[30]實現(xiàn)Web服務(wù)調(diào)用和XML文檔的結(jié)合，實現(xiàn)了P2P環(huán)境下數(shù)據(jù)和Web服務(wù)的集成，ActiveXML關(guān)注的是在文檔中嵌入XQuery以及如何執(zhí)行這些查詢，從而保證負載平衡等問題。Orri?ns等分析了業(yè)務(wù)過程模型的基本元素，提出了一種業(yè)務(wù)規(guī)則驅(qū)動的Web服務(wù)組合方法[7]。Zeng等人依據(jù)服務(wù)執(zhí)行費用、執(zhí)行時間、可靠性、聲譽、及服務(wù)可獲得性等規(guī)則，對服務(wù)運行時質(zhì)量進行優(yōu)化，討論了多個獨立Web服務(wù)的組合選擇問題[31]。Tang和Cheng從服務(wù)中間提供商的角度研究了Web服務(wù)的定位及最優(yōu)定價問題[8]。然而這些研究都沒有考慮現(xiàn)有網(wǎng)絡(luò)的資源有限、生命力脆弱、QOS等級較差的特性，忽略了web服務(wù)最基本的瓶頸問題。王曉玲等（2005年）[16]描述了服務(wù)間的接口信息處理問題，并且把服務(wù)組合中的接口信息處理問題轉(zhuǎn)換為XML數(shù)據(jù)的處理問題，然后引入基于文法的處理方法來解決接口數(shù)據(jù)之間的處理問題。SALIMA BENBERNOU，MOHAND-SAID HACID(2005年)[32]，采用規(guī)范化術(shù)語和約束從句描述服務(wù)，提出了基于知識的Web服務(wù)發(fā)現(xiàn)方法。

4.結(jié)束語

綜上所述，從國內(nèi)外已有研究成果來看，對構(gòu)成動態(tài)電子商務(wù)的服務(wù)組件的發(fā)現(xiàn)及組合方面的研究已經(jīng)取得了大量的實質(zhì)性成果，但是對于構(gòu)建一個完整的動態(tài)電子商務(wù)系統(tǒng)來說，還存在著以下幾點不足：

(1)但大多數(shù)工作都不能處理服務(wù)的語義不一致性問題，不能動態(tài)實現(xiàn)有效構(gòu)建動態(tài)電子商務(wù)系統(tǒng)的目標。在構(gòu)成動態(tài)系統(tǒng)的服務(wù)選擇、匹配及組合方面，現(xiàn)有研究沒有充分考慮服務(wù)的語法、語義及操作特性等不同方面，需要很多的人工干預(yù)，不能實現(xiàn)系統(tǒng)的動態(tài)組合，同時導(dǎo)致了系統(tǒng)構(gòu)建中組合服務(wù)評價指標的不當選擇，使得構(gòu)建的系統(tǒng)在可操作性、有效性、經(jīng)濟性等方面不能很好地滿足需求。因此，為了有效指導(dǎo)動態(tài)電子商務(wù)系統(tǒng)的構(gòu)建，還存在一些關(guān)鍵難點問題亟待解決。

(2)目前有關(guān)組件服務(wù)的發(fā)現(xiàn)以及組合等研究主要集中在某一個特定的方面，從構(gòu)造完整電子商務(wù)系統(tǒng)的角度來看，缺少一種系統(tǒng)化的方法和工具支持，不能有效指導(dǎo)系統(tǒng)的全生命周期構(gòu)建過程。

(3)當前的研究主要集中在服務(wù)的發(fā)現(xiàn)、滿足特定需求的服務(wù)組合以構(gòu)成基于web服務(wù)的分布式業(yè)務(wù)過程方面，而沒有考慮組合服務(wù)在服務(wù)平臺執(zhí)行過程中的動態(tài)變化性和開放性，也就是說沒有考慮在不同的領(lǐng)域或執(zhí)行狀態(tài)下服務(wù)組合階段和服務(wù)執(zhí)行階段的內(nèi)在聯(lián)系，而這一點對于部署可靠、滿足期望性能的動態(tài)、分布式業(yè)務(wù)過程管理系統(tǒng)（電子商務(wù)）至關(guān)重要。

[1]饒元,馮博琴.面向Web服務(wù)的動態(tài)電子商務(wù)集成框架[J].計算機集成制造系統(tǒng),2004,10(11):1454-1458.

[2]Hongbing Wang,Web services:problems and future directions,Web Semantics:Science,Services and Agents on the World Wide Web 1(2004):309-320.

[3]S.McIlraith,T.C.Son,and H.Zeng,“Semantic web services,”IEEE Intelligent Systems.Special Issue on Semantic Web,vol.16,no.2,pp.46-53,2001.

[4]S.Oundhakar,K.Verma.K.Sivashanugam,A.Sheth and J.Miller,Discovery of Web Services in a Multi-Ontology and Federated Registry Environment,International Journal of Web Services Research,1(3),2005.

[5]B.Benatallah,M.-S.Hacid,C.Rey,and F.Toumani,“Towards semantic reasoning for web services discovery,”in Proceedings of the International Semantic Web Conference(ISWC’03).

[6]楊圣文,史美林.一種支持QoS約束的Web服務(wù)發(fā)現(xiàn)模型[J].計算機學(xué)報,2005,28(4):589-594.

[7]Orri?ns,B.,et al,A Framework for Business Rule Driven Web Service Composition[J].Lecture Notes in Computer Science,2003,2814:52-64.

[8]TANG Q.C.,CHENG H.K.,Optimal location and pricing of Web services intermediary[J].Decision Support System,2005,40(1):129-141.

[9]Klein,M.and A.Bernstein.Searching for Services on the Semantic Web using Process Ontologies.in The First Semantic Web Working Symposium(SWWS-1).2001.Stanford,CA USA.

[10]陳德偉,許斌,蔡月茹,李涓子.服務(wù)部署與發(fā)布綁定的基于P2P網(wǎng)絡(luò)的Web服務(wù)發(fā)現(xiàn)機制[J].計算機學(xué)報,2005,28(4):615-626.

[11]張蓉,申德榮,于戈等.基于本體的Web服務(wù)查找和合成技術(shù)研究[J].計算機集成制造系統(tǒng)—CIMS,2003,9(10):921-925.[12]吳健,吳朝暉等.基于本體論和詞匯語義相似度的Web服務(wù)發(fā)現(xiàn)[J].計算機學(xué)報,2005,28(4):595-602.

[13]Chen H.G,Yu T.,Lin K.J,QCWS:An implementation of QoS-capable multimedia Web services,Proceedings of t he 5t h International Symposium on Multimedia Software Engineering,Taichung,Taiwan,2003:38-45.

[14]Maximilien E.M.,Singh M.P.A framework and ontology for dynamic Web services selection.Internet Computing,2004,8(5):84-93.

[15]Curbera F,et al,Business process execution language for Web services,IBM/BEA/Microsoft Specifications,2002.

[16]王曉玲,郭志懋,周傲英.Web服務(wù)組合的基于文法的消息處理[J].計算機學(xué)報,2005,28(4):478-485.

[17]Casati F.,Ilnicki S.,Jin L.,Krishnamoort hy V.,Shan M.,Adaptive and dynamic service composition in eflow.Lecture Notes in Computer Science,2000,Vol.1789:13-31.

[18]P.Grefen,K.Aberer,H.Ludwig,andY.Hoffner,“CrossFlow:Cross-organizational work flow management for service outsourcing in dynamic virtual enterprises,” Special Issue on Infrastructure for Advanced E-Services,Bulletin of the Technical Committee on Data Engineering,vol.24,no.1,2001.

[19]A.Lazcano,G.Alonso,H.Schuldt,and C.Schuler,“The WISE approach to electronic commerce,”Journal of Computer Systems Science and Engineering,vol.15,no.5,2000.

[20]Liangzhao Zeng,Boualem Benatallah,and Anne H.H.Ngu,On Demand Businessto-Business Integration”,C ooPIS01,Trento,2001.

[21]Liangzhao Zeng,David Flaxer,Henry Chang,Jun-Jang Jeng,”PLMflow-Dynamic Business Process Composition and Execution by Rule Inference”,TES2002,Hong Kong,2002.

[22]H.Schuster,D.Georgakopoulos,A.Cichocki,and D.Baker.Modeling and composing service-based and reference process-based multi-enterprise processes.In Proceeding of 12th International Conference on Advanced Information Systems Engineering(CAiSE),Stockholm,Sw eden,June 2000.Springer Verlag.

[23]S.McIlraith and T.C.Son.Adapting Golog for composition of Semantic Web services.In Proceedings of the 8th International Conference on Knowledge Representation and Reasoning(KR2002),Toulouse,France,April 2002.

[24]D.McDermott.Estimated-regression planning for interactions with Web services,In Proceedings of the 6th International Conference on AI Planning and Scheduling,Toulouse,France,2002.AAAI Press.

[25]B.Medjahed,A.Bouguettaya,and A.K.Elmagarmid.Composing Web services on the Semantic Web.The VLDB Journal,12(4),November 2003.

[26]Ponnekanti S.R.,Fox A.SWORD:A developer toolkit for web service composition.,Proceedings of the 11th International World Wide Web Conference(WWW2002).

[27]Z.Manna and R.J.Waldinger.A deductive approach to program synthesis.ACM Transactions on Programming Languages and Systems,2(1):90-121,1980.

[28]Benetallah B.,Dumas M.et al.,Declarative composition and Peer2to2Peer provisioning of dynamic services,Proceedings of t he ICDE,San Jose,CA,2002:297-308.

[29]Abiteboul S.,Benjelloun O.et al.Active XML:Peer-to-Peer data and Web services integration,Proceedings of t he VLDB,Hong Kong,2002,1087-1090,

[30]Boag S.,Chamberlin D,Fernandez M.et al.,Xquery 1.0:An XML query language,W3C Working Draft,2002.Http://www.w3.org/TR/xquery.

[31]ZENG L.,BENATALLAH B.,et al,QoS-aware Middleware for Web Services Composition[J].IEEE Transactions on Software Engineering,2004,30(5):311-327.

[32]SALIMA BENBERNOU,MOHAND-SAID HACID,Resolution and Constraint Propagation for Semantic Web Services Discovery,Distributed and Parallel Databases,2005,18,pp:65-81.