A Sprouting Graph Based Approach to Dynamic Check the Temporal Consistency of Workflow Multi-Process

杜彦华,范玉顺
DOI: https://doi.org/10.3321/j.issn:0372-2112.2009.10.013
2009-01-01
Abstract:This paper proposes a sprouting graph based approach to dynamic check temporal consistency for workflow multi-process.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.
What problem does this paper attempt to address?