動(dòng)態(tài)電子商務(wù)系統(tǒng)構(gòu)建中的服務(wù)發(fā)現(xiàn)和組合問(wèn)題研究綜述

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

東北大學(xué) 馮國(guó)奇

1.引言

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

4.結(jié)束語(yǔ)

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

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

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

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

[1]饒?jiān)?馮博琴.面向Web服務(wù)的動(dòng)態(tài)電子商務(wù)集成框架[J].計(jì)算機(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].計(jì)算機(jī)學(xué)報(bào),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ī)制[J].計(jì)算機(jī)學(xué)報(bào),2005,28(4):615-626.

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