Web服務(wù)接口的相容性與調(diào)解研究.pdf

1、Web服務(wù)技術(shù)通過使用一系列的標(biāo)準(zhǔn)規(guī)范，為互聯(lián)網(wǎng)上的不同應(yīng)用提供了語(yǔ)法互操作性支持，使得企業(yè)之間的應(yīng)用交互從局部范圍發(fā)展到全球范圍成為可能。利用Web服務(wù)技術(shù)進(jìn)行交互的應(yīng)用只需遵從相應(yīng)的Web服務(wù)接口，而不需考慮各自的內(nèi)部實(shí)現(xiàn)，從而極大地降低了交互應(yīng)用之間的耦合度，增加了企業(yè)應(yīng)用的靈活性。因此，Web服務(wù)技術(shù)已經(jīng)逐漸成為實(shí)現(xiàn)企業(yè)內(nèi)應(yīng)用集成和企業(yè)間應(yīng)用交互的主流技術(shù)。 由于Web服務(wù)的松散耦合特性，其在提高應(yīng)用靈活性的同時(shí)，也引出

2、了新的研究問題，即如何保證兩個(gè)獨(dú)立開發(fā)的應(yīng)用之間的Web服務(wù)接口能夠互操作。當(dāng)前的Web服務(wù)技術(shù)只能在語(yǔ)法上為不同應(yīng)用的Web服務(wù)接口提供互操作性支持，而Web服務(wù)接口的語(yǔ)義互操作性問題尚有待解決。本文使用形式化的方法對(duì)Web服務(wù)接口的相容性和調(diào)解問題進(jìn)行了研究，給出了它們的嚴(yán)格定義并設(shè)計(jì)了一系列相關(guān)的算法，具體內(nèi)容包括： 1)研究了Web服務(wù)接口應(yīng)含信息的界定問題。通過分析Web服務(wù)的交互行為，指出了一個(gè)Web服務(wù)接口應(yīng)當(dāng)包含

3、兩個(gè)部分：消息描述和流程描述。其中，消息描述定義一個(gè)Web服務(wù)接口所支持的所有消息的模式和方向，流程描述定義一個(gè)Web服務(wù)接口與其伙伴的所有消息交換之間的依賴關(guān)系。 2)研究了Web服務(wù)接口中消息之間的相容性問題。給出了一種基于領(lǐng)域本體的Web服務(wù)消息注解方法，并對(duì)帶注解的Web服務(wù)消息進(jìn)行了形式建模?；谙⒌男问侥Ｐ?，定義了Web服務(wù)接口的消息相容性，并給出了相應(yīng)的判定算法。為了對(duì)不完全相容的Web服務(wù)消息進(jìn)行處理，還提出了

4、一種消息相容程度的量化方法，對(duì)Web服務(wù)接口的消息相容度進(jìn)行了定義，同時(shí)也給出了相應(yīng)的計(jì)算算法。 3)研究了Web服務(wù)接口中流程之間的相容性問題。為Web服務(wù)流程提出了一個(gè)形式模型并給出了從流程描述到流程模型的轉(zhuǎn)換方法。基于流程的形式模型，研究了兩個(gè)流程的交互中可能發(fā)生的三種異常性質(zhì)：未指定接收、死鎖和活鎖。根據(jù)這三種異常性質(zhì)，定義了兩個(gè)Web服務(wù)流程之間的相容性，同時(shí)給出了相應(yīng)的判定算法。為了對(duì)不完全相容的Web服務(wù)流程進(jìn)行處

5、理，通過對(duì)上述三種異常性質(zhì)的量化，提出了一種計(jì)算兩個(gè)Web服務(wù)流程之間相容度的方法，并給出了相應(yīng)的計(jì)算算法。 4)研究了不相容Web服務(wù)接口的調(diào)解方法。針對(duì)不相容的Web服務(wù)消息，定義了對(duì)消息的相應(yīng)部分進(jìn)行轉(zhuǎn)換的屬性調(diào)解規(guī)則和元素調(diào)解規(guī)則，同時(shí)分別給出了不相容消息的屬性調(diào)解規(guī)則和元素調(diào)解規(guī)則的生成算法。針對(duì)不相容的Web服務(wù)流程，首先對(duì)Web服務(wù)的流程模型進(jìn)行了擴(kuò)充，給出了適合調(diào)解流程的形式模型，并基于該形式模型提出了一個(gè)調(diào)解流