摘要
事务工作流是把数据库中的事务概念引入到工作流领域,在最近的工作中Derks[1]给出新的事务工作流模型,实现了工作流的过程定义与工作流的事务模型定义相分离,然而实际情况下不同的task具有不同的执行特性,所以Dersk模型中由多个task组成的原子域不能保证是良构的.事务模型解决了这个问题,并在新的模型的基础上提出了良构性的判定方法,并对判定方法做了形式化的描述.
出处
《南京大学学报(自然科学版)》
CAS
CSCD
北大核心
2005年第z1期509-515,共7页
Journal of Nanjing University(Natural Science)
基金
国家高技术研究发展计划(2004AA413120)