系统工程与电子技术
繫統工程與電子技術
계통공정여전자기술
SYSTEMS ENGINEERING AND ELECTRONICS
2012年
1期
191-198
,共8页
梅晓勇%李师贤%黄昌勤%郑小林%明仲
梅曉勇%李師賢%黃昌勤%鄭小林%明仲
매효용%리사현%황창근%정소림%명중
组合事务%形式化验证与确认%失败恢复策略%流程验证
組閤事務%形式化驗證與確認%失敗恢複策略%流程驗證
조합사무%형식화험증여학인%실패회복책략%류정험증
组合事务中任务间的协作通常以点对点的方式而不是中心控制,当系统崩溃时,事务流中的任务可能部分执行而其后续任务则未被调度执行.在这种情况下,选择合适的失败恢复验证策略是必要的.提出一种支持向前、向后和替代恢复策略的失败恢复验证方法.当失败发生时,借助组合事务的执行日志和可接受状态集,选择合适的恢复策略,验证带状态空间的事务恢复所产生的一组动作序列,是否包含一组良好行为.追踪执行进展,检测恢复后组合事务是否存在不一致状态.通过对旅行预订流程的实例分析,表明该失败恢复验证方法是可行的.
組閤事務中任務間的協作通常以點對點的方式而不是中心控製,噹繫統崩潰時,事務流中的任務可能部分執行而其後續任務則未被調度執行.在這種情況下,選擇閤適的失敗恢複驗證策略是必要的.提齣一種支持嚮前、嚮後和替代恢複策略的失敗恢複驗證方法.噹失敗髮生時,藉助組閤事務的執行日誌和可接受狀態集,選擇閤適的恢複策略,驗證帶狀態空間的事務恢複所產生的一組動作序列,是否包含一組良好行為.追蹤執行進展,檢測恢複後組閤事務是否存在不一緻狀態.通過對旅行預訂流程的實例分析,錶明該失敗恢複驗證方法是可行的.
조합사무중임무간적협작통상이점대점적방식이불시중심공제,당계통붕궤시,사무류중적임무가능부분집행이기후속임무칙미피조도집행.재저충정황하,선택합괄적실패회복험증책략시필요적.제출일충지지향전、향후화체대회복책략적실패회복험증방법.당실패발생시,차조조합사무적집행일지화가접수상태집,선택합괄적회복책략,험증대상태공간적사무회복소산생적일조동작서렬,시부포함일조량호행위.추종집행진전,검측회복후조합사무시부존재불일치상태.통과대여행예정류정적실례분석,표명해실패회복험증방법시가행적.
