細胞膜演算：一種新的事務(wù)處理形式化方法研究.pdf

1、申請上海交通大學工學博士學位論文飛7856763細胞膜演算：一種新的事務(wù)處理形式化方法研究專業(yè)：計算機軟件與理論博士研究生：戚芷偉p西衫2劉，籮礦指導(dǎo)教師：尤晉元上海交通大學計算機科學與工程系2005年9月子事務(wù)協(xié)調(diào)協(xié)議WSAT由于WSAT協(xié)議采用簡單的狀態(tài)轉(zhuǎn)換表張轉(zhuǎn)換圖，無法描述協(xié)調(diào)者和多個參與者的復(fù)雜協(xié)調(diào)活虧k本文采用細胞膜演算給出了其形式化描述，用于規(guī)范協(xié)調(diào)者和參與者的滔動，并分析了該協(xié)議的活性和安全性，得薊了38187個狀態(tài)，該

2、協(xié)議滿足穩(wěn)定性、一致性和非平凡性，面不滿足非阻塞性并分析出注冊和協(xié)調(diào)協(xié)議混在—起是其不滿足非阻塞性的原因本文分析了Web服務(wù)業(yè)務(wù)事務(wù)，獲得其形式億描述并對其安全性和活性進行模型檢驗WSBA協(xié)議是用于協(xié)調(diào)Web服務(wù)中業(yè)務(wù)事務(wù)的規(guī)范。本文采用細胞膜演算給出了該協(xié)議的形式化描述。定義了協(xié)調(diào)者和參與者的接口在—個協(xié)調(diào)者和—個參與者情況下，該協(xié)議吳有良好的性質(zhì)，穩(wěn)定性、一致性、非阻塞性和非平凡性均滿足但是在多參與者情況下，一致性不滿足，這是該協(xié)議

3、比較大的缺陷，原醫(yī)在于WSBA協(xié)議沒有規(guī)定多參與者情況下的一致性輸出協(xié)調(diào)策略通過細胞膜演算，在實際應(yīng)用中不但可以指出事務(wù)處理協(xié)調(diào)協(xié)議混淆和不規(guī)范的地方，而且可以分析協(xié)議的安全性和活性細胞膜演算是—個描述動態(tài)、移動的并發(fā)系統(tǒng)形式化方法，并不局限于事務(wù)處理方面目前正在和西門子研究部門展開合作，研究如何將細胞膜演算應(yīng)用予下一代可配置銀隧嗓統(tǒng)ReconflgurableMa，aufactttringSystems(RMS)的流程執(zhí)行模型的形式億