论文部分内容阅读
为了保证动态修改后工作流系统的正确性和数据一致性，需要将一些事务处理的方法引入到动态修改策略中去。本文首先改进了文献中提出的执行路径生成算法，为每条并发支路生成一条独立的执行路径，然后对每条执行路径进行迁移。同时将隔离域与动态修改策略相结合，使过程模型在修改完成后的实例启动时，各个过程实例能正确访问共享数据。