论文部分内容阅读
业务过程的动态性要求工作流系统具备相应的适应能力.当工作流流程发生变化时,将存在一个潜在的问题,即变化后的流程可能会产生死锁、不一致性等错误.这篇文章主要讨论工作流流程的结构变化问题.提出了一个判断结构变化是否可行的准则,即不出现错误以及不一致现象,该准则从结构和行为属性方面进行考虑.给出了一个计算最小变化域的算法,并且证明了变化域的结构正确性及行为一致性能够保证结构变化的可行性.用一个实例说明了该方法的有效性.“,”The capability to dynamically adapt workflow is an essential requirement for any workflow management system. When adjusting a workflow process to some dynamic changes, there is a potential problem: the new workflow may contain errors. The issues and problems related to workflow structural changes were primarily addressed. Firstly, a criterion was introduced to decide whether a structural change to workflow process was feasible, i. e, without causing errors or inconsistencies. This criterion took the structural and behavioral properties into account. Secondly, an algorithm was put forward to calculate the minimal region affected by the changes. Furthermore, it was proved that the structural correctness and behavioral consistency of change regions implied the feasibility of change. This approach was applicable and efficient in terms of time and space for large-scale and complex systems. In the end, an example was given to illustrate the method could solve real-world problem efficiently.