【摘要】 为提高工作流的柔性,解决工作流模型变更引起的流程实例迁移问题,提出了即时变更处理方法.该方法基于Petri网模型,用关系矩阵定义节点路由,用状态标识矩阵描述流程实例执行状态,通过变更处理算法查找可越过节点和迁移节点,实现了流程实例的即时变更.最后以更改签收流程为例,验证了文中方法的可行性.更多还原

【Abstract】 To improve the flexibility of workflow management systems and solve problems in dynamic changes of workflow instances,a new method based on Petri-net is proposed.This method can automatically achieve dynamic changes of workflow instances caused by runtime adjustment of workflow templates and avoid abnormal termination of workflow instances at the same time.In this method,routing relations between workflow nodes are expressed by routing matrix and the current state of each place in the workflow instance are expressed by state matrix.Both matrices are employed to monitor dynamic changes of node relations and place states in the workflow instance.An immediate change algorithm to find bypassable nodes and migration nodes in time of workflow template adjustment is proposed.Migration strategy of each workflow instance is determined by bypassable nodes and migration nodes found.Finally,an engineering change process is given as an example to verify the feasibility of this method.更多还原