Search Swinburne Research Bank
Home List of Titles Multiple states based temporal consistency for dynamic verification of fixed-time constraints in grid workflow systems
Please use this identifier to cite or link to this item: http://hdl.handle.net/1959.3/5127
- Multiple states based temporal consistency for dynamic verification of fixed-time constraints in grid workflow systems
- Chen, Jinjun; Yang, Yun
- To verify fixed-time constraints in Grid workflow systems, consistency and inconsistency conditions have been defined in conventional verification work. However, with a view of the run-time uncertainty of activity completion duration, we argue that, although the conventional consistency condition is feasible, the conventional inconsistency condition is too restrictive and covers several different states. These states, which are handled conventionally by the same exception handling, should be handled differently for the purpose of cost saving. Therefore, in this paper, we divide conventional inconsistency into weak consistency, weak inconsistency and strong inconsistency and treat conventional consistency as strong consistency. Correspondingly, we develop some algorithms on how to verify them. Based on this, for weak consistency we present a method on how to adjust it to strong consistency by using mean activity time redundancy and temporal dependency between fixed-time constraints. For weak inconsistency, we analyse briefly why it can be handled by simpler and more cost-saving exception handling while for strong inconsistency, the conventional exception handling remains deployed. The final quantitative evaluation demonstrates that our research can achieve better cost-effectiveness than the conventional work.
- Publication type
- Journal article
- Research centre
- Swinburne University of Technology. Faculty of Information and Communication Technologies. Centre for Information Technology Research
- Concurrency and Computation: Practice and Experience, Vol. 19, no. 7 (May 2007), pp. 965-982
- Publication year
- Cost effectiveness; Fixed-time constraints; Grid workflow systems; Temporal consistency; Temporal verification
- John Wiley & Sons, Ltd.
- Publisher URL
- Copyright © 2006 John Wiley & Sons, Ltd. Publisher does not officially support author/institution self-archiving of either the postprint (final, revised accepted draft) or published version of full text.
- Research Projects
- Peer reviewed