计算机工程与应用
計算機工程與應用
계산궤공정여응용
COMPUTER ENGINEERING AND APPLICATIONS
2008年
11期
80-85
,共6页
Web服务%长时间事务%异步PI演算
Web服務%長時間事務%異步PI縯算
Web복무%장시간사무%이보PI연산
根据WS-BusinessActivity规范提出一个扩展的长事务协议BAPC,该协议较为详细和更接近于软件实现.BAPC协议放松了传统事务中的ACID属性的限制,重新定义了松耦合环境下事务性质.因此在BAPC协议的软件实施中,迫切需要对BAPC协议进行形式化分析,以保证协议的正确性.基于简洁的异步PI演算,建模和分析了BAPC协议,采用互模拟等价理论及迁移语义给出了BAPC协议的满足长事务协议所具有的持久性、可终止性和局部原子性的证明,说明该协议可以用于处理基本Web服务组合事务,能够保证组合服务的长事务性质.
根據WS-BusinessActivity規範提齣一箇擴展的長事務協議BAPC,該協議較為詳細和更接近于軟件實現.BAPC協議放鬆瞭傳統事務中的ACID屬性的限製,重新定義瞭鬆耦閤環境下事務性質.因此在BAPC協議的軟件實施中,迫切需要對BAPC協議進行形式化分析,以保證協議的正確性.基于簡潔的異步PI縯算,建模和分析瞭BAPC協議,採用互模擬等價理論及遷移語義給齣瞭BAPC協議的滿足長事務協議所具有的持久性、可終止性和跼部原子性的證明,說明該協議可以用于處理基本Web服務組閤事務,能夠保證組閤服務的長事務性質.
근거WS-BusinessActivity규범제출일개확전적장사무협의BAPC,해협의교위상세화경접근우연건실현.BAPC협의방송료전통사무중적ACID속성적한제,중신정의료송우합배경하사무성질.인차재BAPC협의적연건실시중,박절수요대BAPC협의진행형식화분석,이보증협의적정학성.기우간길적이보PI연산,건모화분석료BAPC협의,채용호모의등개이론급천이어의급출료BAPC협의적만족장사무협의소구유적지구성、가종지성화국부원자성적증명,설명해협의가이용우처리기본Web복무조합사무,능구보증조합복무적장사무성질.
