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

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

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

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