计算机应用与软件
計算機應用與軟件
계산궤응용여연건
COMPUTER APPLICATIONS AND SOFTWARE
2009年
1期
134-136
,共3页
Web服务%事务%多元π演算%形式化验证
Web服務%事務%多元π縯算%形式化驗證
Web복무%사무%다원π연산%형식화험증
Web服务事务协议放松了传统事务中的ACID属性的限制,重新定义了松耦合环境下事务性质,因此迫切需要对Web服务事务协议进行验证,以推进Web服务的工业化.采用多元π演算研究了Web服务事务协议形式化表达,详尽描述了WS-AT协议的两阶段提交协议2PCP,并定义了2PCP协议的原子性事务性质.最后,采用MWB工具证明了它的正确性.
Web服務事務協議放鬆瞭傳統事務中的ACID屬性的限製,重新定義瞭鬆耦閤環境下事務性質,因此迫切需要對Web服務事務協議進行驗證,以推進Web服務的工業化.採用多元π縯算研究瞭Web服務事務協議形式化錶達,詳儘描述瞭WS-AT協議的兩階段提交協議2PCP,併定義瞭2PCP協議的原子性事務性質.最後,採用MWB工具證明瞭它的正確性.
Web복무사무협의방송료전통사무중적ACID속성적한제,중신정의료송우합배경하사무성질,인차박절수요대Web복무사무협의진행험증,이추진Web복무적공업화.채용다원π연산연구료Web복무사무협의형식화표체,상진묘술료WS-AT협의적량계단제교협의2PCP,병정의료2PCP협의적원자성사무성질.최후,채용MWB공구증명료타적정학성.
