计算机与现代化
計算機與現代化
계산궤여현대화
COMPUTER AND MODERNIZATION
2007年
3期
5-8
,共4页
事务%事务工作流%建模%XML
事務%事務工作流%建模%XML
사무%사무공작류%건모%XML
以扩展事务模型Saga和Flexible为基础,引入可替换事务和平凡事务等事务种类,借用传统事务恢复机制"保存点"的思想,提出了支持分布式工作流应用的可靠事务工作流模型WfSaga,以Java图形操作为基础,设计了图形化建模工具并用基于XML的过程定义语言对模型进行了描述,最后对模型的正确性验证进行了讨论.
以擴展事務模型Saga和Flexible為基礎,引入可替換事務和平凡事務等事務種類,藉用傳統事務恢複機製"保存點"的思想,提齣瞭支持分佈式工作流應用的可靠事務工作流模型WfSaga,以Java圖形操作為基礎,設計瞭圖形化建模工具併用基于XML的過程定義語言對模型進行瞭描述,最後對模型的正確性驗證進行瞭討論.
이확전사무모형Saga화Flexible위기출,인입가체환사무화평범사무등사무충류,차용전통사무회복궤제"보존점"적사상,제출료지지분포식공작류응용적가고사무공작류모형WfSaga,이Java도형조작위기출,설계료도형화건모공구병용기우XML적과정정의어언대모형진행료묘술,최후대모형적정학성험증진행료토론.
