Dynamic verification of temporal constraints on-the-fly for workflow systems

No abstract is available for this paper.

• Publication year

  2004

• Venue

  Asia-Pacific Software Engineering Conference

• Publication date

  2004-11-30

• Fields of study

  Computer Science

• Identifiers
  DOI 10.1109/APSEC.2004.47
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Resource constraints analysis of workflow specifications

  2004cited by this paper
• Personal Schedules for Workflow Systems

  2003cited by this paper
• A timed workflow process model

  2001influential reference
• Analyzing Process Models Using Graph Reduction Techniques

  2000cited by this paper
• Temporal representation and reasoning for workflow in engineering design change review

  2000cited by this paper
• Dynamic verification of temporal constraints in production workflows

  2000cited by this paper
• Time Constraints in Workflow Systems

  1999influential reference
• Modeling and Analysis of Workflows Using Petri Nets

  1998cited by this paper
• Reducing Escalation-Related Costs in WFMSs

  1998cited by this paper
• Workflow instance scheduling with project management tools

  1998cited by this paper
• ePERT: Extending PERT for Workflow Management Systems

  1997cited by this paper
• ePERT: Extending PERT for Workflow Management System

  1997cited by this paper
• Predictive Workflow Management

  1997cited by this paper
• Escalations in workflow management systems

  1996cited by this paper

• Where to Fix Temporal Violations: A Novel Handling Point Selection Strategy for Business Cloud Workflows

  2016cites this paper
• Workflow temporal verification for monitoring parallel business processes

  2016cites this paper
• SLA-aware resource reservation management in cloud workflows

  2015cites this paper
• Necessary and sufficient checkpoint selection for temporal verification of high-confidence cloud workflow systems

  2015cites this paper
• Throughput based temporal verification for monitoring large batch of parallel processes

  2014cites this paper
• Temporal Verification for Scientific Cloud Workflows: State-of-the-Art and Research Challenges

  2014cites this paper
• Temporal Verification for Business Cloud Workflows: Open Research Issues

  2014cites this paper
• Pattern-Based Model Checking for Dynamic Analysis of Workflow Processes with Temporal Constraints

  2013influential citation
• An Incremental Approach to Analyzing Temporal Constraints of Workflow Processes

  2012cites this paper
• Dynamic configuration of service based processes in cloud computing using linear programming

  2012cites this paper
• Dynamic Selection of Services under Temporal Constraints in Cloud Computing

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

  2011cites this paper
• Global-Time-Offsets Based Checkpoint Selection for Dynamic Verification of Fixed-Time Constraints in Grid Workflows

  2011cites this paper
• A novel probabilistic temporal framework and its strategies for cost-effective delivery of high QoS in scientific cloud workflow systems

  2011cites this paper
• Dynamic Checking and Solution to Temporal Violations in Concurrent Workflow Processes

  2011cites this paper
• Activity Completion Duration Based Checkpoint Selection for Dynamic Verification of Temporal Constraints in Grid Workflow Systems

  2008cites this paper
• The analysis on grid workflow’s deadlock by Petri Nets

  2008cites this paper
• Temporal dependency based checkpoint selection for dynamic verification of fixed-time constraints in grid workflow systems

  2008cites this paper
• Activity Completion Duration Based Checkpoint Selection for Dynamic Verification of Temporal Constraints in Grid Workflow Systems

  2008influential citation
• An incremental analysis for resource conflicts to workflow specifications

  2008cites this paper
• A taxonomy of grid workflow verification and validation

  2008cites this paper
• Multiple states based temporal consistency for dynamic verification of fixed‐time constraints in Grid workflow systems

  2007cites this paper
• Research and Verification of Petri-net Based Time Model in Workflow

  2007cites this paper
• Time Management for Web Service Composition

  2007cites this paper
• Towards Effective and Efficient Temporal Verification in Grid Workflow Systems

  2007cites this paper
• Adaptive selection of necessary and sufficient checkpoints for dynamic verification of temporal constraints in grid workflow systems

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

  2006cites this paper
• Key research issues in grid workflow verification and validation

  2006influential citation
• Dynamic Setting, Verification and Adjustment of Upper Bound Constraints in Grid Workflow Systems

  2006cites this paper
• 1 Necessary and Sufficient Checkpoint Selection in Grid Workflow Systems

  2006cites this paper
• Flexible Temporal Consistency for Fixed-Time Constraint Verification in Grid Workflow Systems

  2005cites this paper
• Multiple Consistency States of Fixed-time Constraints in Grid Workflow Systems

  2005cites this paper
• An Activity Completion Duration based Checkpoint Selection Strategy for Dynamic Verification of Fixed-time Constraints in Grid Workflow Systems

  2005cites this paper
• Temporal Dependency for Dynamic Verification of Fixed-Date Constraints in Grid Workflow Systems

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

  2005cites this paper
• Multiple temporal consistency states for dynamical verification of upper bound constraints in grid workflow systems

  2005cites this paper