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

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

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

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