论文部分内容阅读
工作流管理一直是企业界和学术界关注的领域。但是目前许多工作流模型在正确性和可靠性方面都有很大不足，并不能适应实际应用的需要。本文将事务性质引入工作流中，提出了一种嵌套的具有事务特性的工作流模型。这个模型包含嵌套任务和任务间的依赖，并具有高级事务模型的一些属性，比如松散的隔离性和原子性。我们又进一步在这个模型的基础上利用这些事务性质提出了有关工作流的执行机制、系统恢复和错误处理等问题的解决方法。通过定义一致性单元和执行单元放松了事务的失败原子性、并发工作流的可串行化要求以及任务间的隔离性，使工作流在具有高可靠性和正确性的前提下更灵活地满足实际应用语义的要求。