Activity Completion Duration Based Checkpoint Selection for Dynamic Verification of Temporal Constraints in Grid Workflow Systems

The International Journal of High Performance Computing Applications ◽

10.1177/1094342007086229 ◽

2008 ◽

Vol 22 (3) ◽

pp. 319-329 ◽

Author(s):

Jinjun Chen ◽

Yun Yang

Keyword(s):

Temporal Constraints ◽

Workflow Systems ◽

Dynamic Verification ◽

Grid Workflow ◽

Download Full-text

Temporal dependency based checkpoint selection for dynamic verification of fixed-time constraints in grid workflow systems

Proceedings of the 13th international conference on Software engineering - ICSE '08 ◽

10.1145/1368088.1368108 ◽

2008 ◽

Author(s):

Jinjun Chen ◽

Yun Yang

Keyword(s):

Time Constraints ◽

Workflow Systems ◽

Dynamic Verification ◽

Grid Workflow ◽

Download Full-text

Adaptive selection of necessary and sufficient checkpoints for dynamic verification of temporal constraints in grid workflow systems

ACM Transactions on Autonomous and Adaptive Systems ◽

10.1145/1242060.1242063 ◽

2007 ◽

Vol 2 (2) ◽

pp. 6 ◽

Author(s):

Jinjun Chen ◽

Yun Yang

Keyword(s):

Temporal Constraints ◽

Adaptive Selection ◽

Workflow Systems ◽

Dynamic Verification ◽

Grid Workflow ◽

Necessary And Sufficient ◽

Download Full-text

Temporal dependency-based checkpoint selection for dynamic verification of temporal constraints in scientific workflow systems

ACM Transactions on Software Engineering and Methodology ◽

10.1145/2000791.2000793 ◽

2011 ◽

Vol 20 (3) ◽

pp. 1-23 ◽

Author(s):

Jinjun Chen ◽

Yun Yang

Keyword(s):

Scientific Workflow ◽

Temporal Constraints ◽

Workflow Systems ◽

Dynamic Verification ◽

Download Full-text

Temporal Dependency for Dynamic Verification of Fixed-Date Constraints in Grid Workflow Systems

Web Technologies Research and Development - APWeb 2005 - Lecture Notes in Computer Science ◽

10.1007/978-3-540-31849-1_78 ◽

2005 ◽

pp. 820-831 ◽

Author(s):

Jinjun Chen ◽

Yun Yang

Keyword(s):

Workflow Systems ◽

Dynamic Verification ◽

Download Full-text

A minimum proportional time redundancy based checkpoint selection strategy for dynamic verification of fixed-time constraints in grid workflow systems

12th Asia-Pacific Software Engineering Conference (APSEC'05) ◽

10.1109/apsec.2005.11 ◽

2005 ◽

Author(s):

J. Chen ◽

Y. Yang

Keyword(s):

Time Constraints ◽

Selection Strategy ◽

Workflow Systems ◽

Dynamic Verification ◽

Grid Workflow ◽

Time Redundancy

Download Full-text

Selecting Necessary and Sufficient Checkpoints for Dynamic Verification of Fixed-Time Constraints in Grid Workflow Systems

Lecture Notes in Computer Science - Business Process Management ◽

10.1007/11841760_37 ◽

2006 ◽

pp. 445-450 ◽

Author(s):

Jinjun Chen ◽

Yun Yang

Keyword(s):

Time Constraints ◽

Workflow Systems ◽

Dynamic Verification ◽

Grid Workflow ◽

Necessary And Sufficient

Download Full-text

Multiple states based temporal consistency for dynamic verification of fixed-time constraints in Grid workflow systems

Concurrency and Computation Practice and Experience ◽

10.1002/cpe.1088 ◽

2007 ◽

Vol 19 (7) ◽

pp. 965-982 ◽

Author(s):

Jinjun Chen ◽

Yun Yang

Keyword(s):

Time Constraints ◽

Temporal Consistency ◽

Workflow Systems ◽

Dynamic Verification ◽

Download Full-text

Temporal Dependency for Dynamic Verification of Temporal Constraints in Workflow Systems

Lecture Notes in Computer Science - Grid and Cooperative Computing - GCC 2004 ◽

10.1007/978-3-540-30208-7_159 ◽

2004 ◽

pp. 1005-1008 ◽

Author(s):

Jinjun Chen ◽

Yun Yang

Keyword(s):

Temporal Constraints ◽

Workflow Systems ◽

Dynamic Verification

Download Full-text

Dynamic Verification of Temporal Constraints on-the-fly for Workflow Systems

11th Asia-Pacific Software Engineering Conference ◽

10.1109/apsec.2004.47 ◽

2005 ◽

Author(s):

Jinjun Chen ◽

Yun Yang ◽

T.Y. Chen

Keyword(s):

Temporal Constraints ◽

Workflow Systems ◽

Dynamic Verification

Download Full-text

A Workflow Fragmentation Framework for Enterprise Grid Workflow Systems

2010 IEEE 24th International Conference on Advanced Information Networking and Applications Workshops ◽

10.1109/waina.2010.67 ◽

2010 ◽

Author(s):

Kwanghoon Kim ◽

Minseok Oh

Keyword(s):

Workflow Systems ◽

Download Full-text