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

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

Global-Time-Offsets Based Checkpoint Selection for Dynamic Verification of Fixed-Time Constraints in Grid Workflows

2011 IEEE Asia-Pacific Services Computing Conference ◽

10.1109/apscc.2011.21 ◽

2011 ◽

Author(s):

Hongda Wang ◽

Wei Song ◽

Jianchun Xing ◽

Qiliang Yang

Keyword(s):

Time Constraints ◽

Dynamic Verification ◽

Selection For ◽

Download Full-text

Assigning Local Fixed-time Constraints in Grid Workflow Systems

2006 Fifth International Conference on Grid and Cooperative Computing Workshops ◽

10.1109/gccw.2006.24 ◽

2006 ◽

Author(s):

Jinjun Chen ◽

Yun Yang

Keyword(s):

Time Constraints ◽

Workflow Systems ◽

Download Full-text

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 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

Flexible Temporal Consistency for Fixed-Time Constraint Verification in Grid Workflow Systems

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

10.1007/11590354_41 ◽

2005 ◽

pp. 300-311 ◽

Author(s):

Jinjun Chen ◽

Yun Yang

Keyword(s):

Time Constraint ◽

Temporal Consistency ◽

Workflow Systems ◽

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