事务工作流模型定义及完全性分析

事务工作流模型可被视为扩展的事务模型和通用工作流模型的交汇点，提出将工作流的模型定义同其事务属性的定义独立开来，尽管在此方法中区分了多重的事务属性。提出了直观的注解符来定义原子性，提供了一个通用规则——放宽的完全性准则，以适应现实运行中事务管理的需要，以一个网上电子书店工作流应用为例来阐明这种思路。

Analysis on transactional workflow modeling and soundness

The transactional workflows (TWF) model can be regarded as a merging point of extended transaction models and general workflow model, it emphasizes both transactional aspect and business process aspect. The independent models for the specification of workflow and transaction properties are proposed. Although multiple transaction properties in our approach are distinguished. An intuitive notation to specify atomicity is proposed and general rules are provided to integrate the workflow specification and the atomicity specification into one single model based on petri nets. The integrated model can be checked for correctness. This correctness criterion relaxed soundness is called as a weaker notion of the existing soundness criterion. The correctness criterion can be relaxed because of relying on run-time transaction management. A real life example shows the applicability of the concepts.