论文部分内容阅读
以扩展事务模型Saga和Flexible为基础，引入可替换事务和平凡事务等事务种类，借用传统事务恢复机制“保存点”的思想，提出了支持分布式工作流应用的可靠事务工作流模型WfSaga，以Java图形操作为基础，设计了图形化建模工具并用基于XML的过程定义语言对模型进行了描述，最后对模型的正确性验证进行了讨论。