This paper proposes a sprouting graph based approach to dynamic check temporal consistency for workflow multiprocess. Firstly, the sprouting graph is constructed from the TWF-net models of multi-process, which describes the paths and temporal information of workflow instances in graphics format. Secondly,when temporal constraints are checked, we update the sprouting graph according to the temporal information of accomplished activities, and check the temporal constraints based on the temporal information in the sprouting graph. The method can not only can dynamic check the temporal consistency for concurrent workflows with resource constraints, but also give the paths violating the constraints which are useful to users in exception handling and modifying workflow models.Furthermore,it is reusable,namely sprouting graph can be used by more than one temporal constraints.%提出了基于生成图的多过程动态时序一致性验证方法.首先从多过程的时间工作流网构建生成图,以图形化方式表达实例可能经过的路径和时间信息.在动态检测时,依据已经完成活动对生成图进行部分更新,再利用图中节点相关信息进行时间约束的验证.该方法可以解决资源约束情况下多过程时序一致性动态验证问题,而且能定位模型中出问题的路径,指导用户进行工作流时序异常处理或优化工作流模型;另一方面,生成图可供多个时序约束进行验证使用,具有较好的可重用性.
展开▼
