论文部分内容阅读
事务工作流是把数据库中的事务概念引入到工作流领域,在最近的工作中Derks[1]给出新的事务工作流模型,实现了工作流的过程定义与工作流的事务模型定义相分离,然而实际情况下不同的task具有不同的执行特性,所以Dersk模型中由多个task组成的原子域不能保证是良构的.事务模型解决了这个问题,并在新的模型的基础上提出了良构性的判定方法,并对判定方法做了形式化的描述.