Abstract:Business cloud workflows are often designed with multiple time constraints for timely response to business requests. To ensure on-time completion of workflow instances, workflow temporal conformance state needs to be constantly monitored and verified at runtime. Considering the fact that there are a large number of workflow instances running in a parallel fashion in many business scenarios, conventional verification approaches for time-related properties based on temporal logic or timed Petri nets are not feasible due to the limitation of low efficiency at runtime. To address this issue, we propose a new approach to automated runtime verification of temporal conformance for parallel workflow instances in a cloud environment. In this article, instead of using response time to verify temporal conformance of every single workflow as in conventional strategies, workflow throughput is employed as the performance measurement to efficiently monitor a large number of parallel workflow instances. On this basis we present a novel conformance verification strategy. This strategy considers the effect of time delay propagation in the cloud workflow systems to accurately verify workflow runtime temporal conformance. Our verification strategy is implemented in a prototype cloud workflow system and the evaluation results show that it outperforms the state-of-the-art workflow temporal verification strategy.

Verification of Temporal Consistency in Dynamic Modification of Workflow Based on Time Constraint Petri Nets

Verification And Reduction Of Cyclic Structure In Workflow Model

Real-time Model Checking of Dynamic Temporal Consistency for Multi-process of Workflow

A Method of Time Constraint Workflow Model Analysis and Verification

Linear Temporal Inference Of Workflow Management Systems Based On Timed Petri Nets Models

Timing Constraint Workflow Nets for Workflow Analysis

Dynamically Analyzing Time Constraints in Workflow Systems with Fixed-Date Constraint

Schedulability Analysis Algorithm for Timing Constraint Workflow Models

Dynamic Checking and Solution to Temporal Violations in Concurrent Workflow Processes.

Timing Boundedness Verification and Analysis of Workflow Model

MULTIPLE WORKFLOW-NET AND ITS SCHEDULABILITY VERIFICATION BASED ON RESOURCE AND TEMPORAL CONSTRAINT

A Verification Method for Temporal Consistency of Service Flow

A Sprouting Graph Based Approach to Dynamic Check the Temporal Consistency of Workflow Multi-Process

A Method for Semantic Verification of Workflow Processes Based on Petri Net Reduction Technique

Runtime Verification of Business Cloud Workflow Temporal Conformance

Temporal Logic Coordination Models

Temporal Inference of Workflow Systems Based on Time Petri Nets: Quantitative and Qualitative Analysis

Verification for Time Consistency of Web Service Flow

Property-Transition-Net-Based Workflow Process Modeling and Verification

Verification of Resource Constraints for Concurrent Workflows

Verification of Workflow Nets with Transition Conditions