计算机学报
計算機學報
계산궤학보
CHINESE JOURNAL OF COMPUTERS
2006年
7期
1137-1144
,共8页
细胞膜演算%事务处理%形式化方法
細胞膜縯算%事務處理%形式化方法
세포막연산%사무처리%형식화방법
采用细胞膜演算具体分析了当前比较主流的Web服务中原子事务协调协议WS-AT.针对WS-AT协议采用简单的状态转换表和转换图,无法描述协调者和多个参与者的复杂协调活动,采用细胞膜演算给出了其形式化描述,用于规范协调者和参与者的活动,并分析了该协议的活性和安全性,得到了38187个状态.模型检验的实验结果表明,该协议满足稳定性、一致性和非平凡性,而不满足非阻塞性.进而,分析出注册和协调协议混在一起是其不满足非阻塞性的原因.
採用細胞膜縯算具體分析瞭噹前比較主流的Web服務中原子事務協調協議WS-AT.針對WS-AT協議採用簡單的狀態轉換錶和轉換圖,無法描述協調者和多箇參與者的複雜協調活動,採用細胞膜縯算給齣瞭其形式化描述,用于規範協調者和參與者的活動,併分析瞭該協議的活性和安全性,得到瞭38187箇狀態.模型檢驗的實驗結果錶明,該協議滿足穩定性、一緻性和非平凡性,而不滿足非阻塞性.進而,分析齣註冊和協調協議混在一起是其不滿足非阻塞性的原因.
채용세포막연산구체분석료당전비교주류적Web복무중원자사무협조협의WS-AT.침대WS-AT협의채용간단적상태전환표화전환도,무법묘술협조자화다개삼여자적복잡협조활동,채용세포막연산급출료기형식화묘술,용우규범협조자화삼여자적활동,병분석료해협의적활성화안전성,득도료38187개상태.모형검험적실험결과표명,해협의만족은정성、일치성화비평범성,이불만족비조새성.진이,분석출주책화협조협의혼재일기시기불만족비조새성적원인.