工作流过程的结构变化分析(英文)

业务过程的动态性要求工作流系统具备相应的适应能力。当工作流流程发生变化时,将存在一个潜在的问题,即变化后的流程可能会产生死锁、不一致性等错误。这篇文章主要讨论工作流流程的结构变化问题。提出了一个判断结构变化是否可行的准则,即不出现错误以及不一致现象,该准则从结构和行为属性方面进行考虑。给出了一个计算最小变化域的算法,并且证明了变化域的结构正确性及行为一致性能够保证结构变化的可行性。用一个实例说明了该方法的有效性。