Key research issues in grid workflow verification and validation
ACSW Frontiers '06 Proceedings of the 2006 Australasian workshops on Grid computing and e-research - Volume 54
ACM Transactions on Autonomous and Adaptive Systems (TAAS)
Proceedings of the 30th international conference on Software engineering
International Journal of High Performance Computing Applications
An incremental analysis for resource conflicts to workflow specifications
Journal of Systems and Software
ACM Transactions on Software Engineering and Methodology (TOSEM)
Temporal dependency for dynamic verification of fixed-date constraints in grid workflow systems
APWeb'05 Proceedings of the 7th Asia-Pacific web conference on Web Technologies Research and Development
BPM'06 Proceedings of the 4th international conference on Business Process Management
Flexible temporal consistency for fixed-time constraint verification in grid workflow systems
GCC'05 Proceedings of the 4th international conference on Grid and Cooperative Computing
An incremental approach to analyzing temporal constraints of workflow processes
APWeb'12 Proceedings of the 14th Asia-Pacific international conference on Web Technologies and Applications
Hi-index | 0.00 |
Temporal verification is an important method to check the temporal correctness of workflow management systems (WfMSs). However, the current temporal verification is relatively independent of the workflow system environments. It does not pay sufficient attention to the interrelationship between the temporal verification at different stages, the mutual dependency between some temporal constraints, and the run-time checkpoint selection strategy, which hence hinders the incorporation and consistency between the temporal verification and the workflow system environments. In this paper, we effectively integrate the temporal verification at different stages and explore the dependency between some temporal constraints. In addition, we present a new effective run-time checkpoint selection strategy which dynamically selects appropriate checkpoints based on the activity completion duration. Furthermore, based on these analyses, we develop some new methods for more efficient temporal verification. These analyses and new methods help to eliminate the gap between the temporal verification and the workflow system environments.