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

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

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

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