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

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

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

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