基于擴(kuò)展π演算的Web服務(wù)事務(wù)研究.pdf

1、本文主要圍繞Web服務(wù)組合及Web服務(wù)事務(wù)處理的形式化描述而展開(kāi)。 首先，對(duì)Web服務(wù)的概念、體系結(jié)構(gòu)及其特征做了簡(jiǎn)單描述。列舉了Web服務(wù)的基本技術(shù)：數(shù)據(jù)交換標(biāo)準(zhǔn)(XML)，簡(jiǎn)單對(duì)象訪問(wèn)協(xié)議(SOAP)，Web服務(wù)描述語(yǔ)言(WSDL)，統(tǒng)一描述、發(fā)現(xiàn)與集成協(xié)議(UDDI)。比較了編排(Choreography)與編制(Orchestration)之間的差異，并且也指出它們之間應(yīng)該是一種協(xié)作的關(guān)系。分析了Web服務(wù)事務(wù)諸如長(zhǎng)運(yùn)行

2、時(shí)間、自治性、松耦合、異構(gòu)性等特點(diǎn)，介紹了現(xiàn)有方案BTP、WS-C/T、WS-TXM的事務(wù)處理機(jī)制。對(duì)所要用到的形式化工具-π演算進(jìn)行了基本語(yǔ)法、操作語(yǔ)義的介紹。 在此基礎(chǔ)上，采用擴(kuò)展的π演算建立獨(dú)立于具體編排(Choreography)、編制(Orchestration)語(yǔ)言方案的形式化模型，以用來(lái)刻畫(huà)Web服務(wù)事務(wù)的處理機(jī)制。在不考慮時(shí)間因素的前提下，用抽象事務(wù)等結(jié)構(gòu)對(duì)標(biāo)準(zhǔn)的π演算進(jìn)行擴(kuò)展，并用來(lái)描述Web服務(wù)的組合機(jī)制。隨

3、后，用擴(kuò)展的實(shí)時(shí)(real-time)π演算來(lái)刻畫(huà)Web服務(wù)事務(wù)的時(shí)間特性，重點(diǎn)討論了web服務(wù)事務(wù)的強(qiáng)時(shí)間互模擬關(guān)系、弱時(shí)間互模擬關(guān)系及基于時(shí)間粒的互模擬關(guān)系。 研究成果主要包括以下兩個(gè)方面： ·通過(guò)事件進(jìn)程[P,Q]t、Web事務(wù)結(jié)構(gòu)(⊿)[P,Q]t；R(⊿)x及消息進(jìn)程signal(t)對(duì)標(biāo)準(zhǔn)的π演算進(jìn)行擴(kuò)展，定義其結(jié)構(gòu)同余關(guān)系及操作語(yǔ)義。給出了它的轄域律、事務(wù)律、浮動(dòng)律。通過(guò)該模型對(duì)Web服務(wù)組合實(shí)例的形式化的