电子学报
電子學報
전자학보
ACTA ELECTRONICA SINICA
2012年
7期
1386-1396
,共11页
梅晓勇%李师贤%黄昌勤%郑小林
梅曉勇%李師賢%黃昌勤%鄭小林
매효용%리사현%황창근%정소림
组合事务%失败恢复机制%执行语义分析%扩展Petri网
組閤事務%失敗恢複機製%執行語義分析%擴展Petri網
조합사무%실패회복궤제%집행어의분석%확전Petri망
为了保证组合事务应用需求,不可避免引入失败恢复机制,以提供可靠的执行语义.本文提出一种基于向前、向后和替代恢复的综合事务恢复机制的执行语义分析技术,借助Petri网的动态执行推演技术和数据流分析技术,讨论聚合模式执行语义,最终实现组合事务失败恢复行为的无缝添加/删除.通过对旅行预订组合事务实例分析,表明该语义分析方法是可行的.
為瞭保證組閤事務應用需求,不可避免引入失敗恢複機製,以提供可靠的執行語義.本文提齣一種基于嚮前、嚮後和替代恢複的綜閤事務恢複機製的執行語義分析技術,藉助Petri網的動態執行推縯技術和數據流分析技術,討論聚閤模式執行語義,最終實現組閤事務失敗恢複行為的無縫添加/刪除.通過對旅行預訂組閤事務實例分析,錶明該語義分析方法是可行的.
위료보증조합사무응용수구,불가피면인입실패회복궤제,이제공가고적집행어의.본문제출일충기우향전、향후화체대회복적종합사무회복궤제적집행어의분석기술,차조Petri망적동태집행추연기술화수거류분석기술,토론취합모식집행어의,최종실현조합사무실패회복행위적무봉첨가/산제.통과대여행예정조합사무실례분석,표명해어의분석방법시가행적.