Temporal consistency is a crucial aspect of the scientiflc work∞ow quality of service. In order to improve the e‐ciency of temporal veriflcation to guarantee the work∞ow complete on time, many efiorts have been made in selecting more efiective and e‐cient checkpoints to conduct temporal veriflcation. In recent years, several checkpoint selection strategies for such a purpose have been proposed. However all of these strategies do not distinguish the relationships of upper bound constraints and verify some constraints whose temporal consistency can be deduced by others. To improve the temporal veriflcation e‐ciency, the accordant relationships between temporal constraints are deflned flrstly in this paper, then the Nested situation and the Intersected situation are discussed to clarify the relative position of temporal constraints, later two novel strategies based on accordance are proposed to adjust the temporal constraints with the Nested situation and Intersected situation respectively. Finally the simulation experiments demonstrate the strategies we presented are very efiective for improving the temporal veriflcation along scientiflc work∞ow.
