Please use this identifier to cite or link to this item: http://hdl.handle.net/1959.3/5811

Download PDF (Accepted manuscript) (Adobe Acrobat PDF, -1 bytes)

Title

Selecting necessary and sufficient checkpoints for dynamic verification of fixed-time constraints in grid workflow systems

Author(s)

Chen, Jinjun;  Yang, Yun

Abstract

In grid workflow systems, existing representative checkpoint selection strategies, which are used to select checkpoints for verifying fixed-time constraints at run-time execution stage, often select some unnecessary checkpoints and ignore some necessary ones. Consequently, overall temporal verification efficiency and effectiveness can be severely impacted. In this paper, we propose a new strategy that selects only necessary and sufficient checkpoints dynamically along grid workflow execution. Specifically, we introduce a new concept of minimum time redundancy as a key reference value for checkpoint selection. We also investigate its relationships with fixed-time constraint consistency. Based on these relationships, we present our strategy which can improve overall temporal verification efficiency and effectiveness significantly.

Publication type

Conference paper

Research centre

Swinburne University of Technology. Faculty of Information and Communication Technologies. Centre for Information Technology Research

Source

Lecture notes in computer science: Proceedings of the 4th International Conference on Business Process Management (BPM 2006), Vienna, Austria, 05-07 September 2006, Vol. 4102, pp. 445-450

Publication year

2006

FOR Code(s)

0806 Information Systems

Keyword(s)

Computer science;  Theory;  Methods

Publisher

Springer

ISSN

0302-9743 (series ISSN)

Publisher URL

http://dx.doi.org/10.1007/11841760_37

Copyright

Copyright © Springer-Verlag Berlin Heidelberg 2006. The accepted manuscript of the paper is reproduced here in accordance with the copyright policy of the publisher. The definitive version of the publication is available at www.springer.com.

Research Projects

Agent-enabled social networks, Australian Research Council grant number LP0562500
Agent-based coordination and negotiation technologies for decentralised service workflow management, Australian Research Council grant number DP0663841

Full text

Peer reviewed