Dynamic Verification of Temporal Constraints in Production Workflows

Authors:
Olivera Marjanovic
Affiliations:
-
Venue:
ADC '00 Proceedings of the Australasian Database Conference
Year:
2000

Citing 0
Cited 14

Data flow and validation in workflow modelling

ADC '04 Proceedings of the 15th Australasian database conference - Volume 27
Resource constraints analysis of workflow specifications

Journal of Systems and Software - Special issue: Applications of statistics in software engineering
Using a temporal constraint network for business process execution

ADC '06 Proceedings of the 17th Australasian Database Conference - Volume 49
Conflict detection and resolution for workflows constrained by resources and non-determined durations

Journal of Systems and Software
An incremental analysis for resource conflicts to workflow specifications

Journal of Systems and Software
Algorithms for the determination of document authentication time and the recommendation of document modification

Expert Systems with Applications: An International Journal
Composing Time-Aware Web Service Orchestrations

CAiSE '09 Proceedings of the 21st International Conference on Advanced Information Systems Engineering
Dwelling time probability density distribution of instances in a workflow model

Computers and Industrial Engineering
Verification of Composite Services with Temporal Consistency Checking and Temporal Satisfaction Estimation

WISE '09 Proceedings of the 10th International Conference on Web Information Systems Engineering
Dynamic checking of temporal constraints for concurrent workflows

Electronic Commerce Research and Applications
An automated translator for model checking time constrained workflow systems

FMICS'10 Proceedings of the 15th international conference on Formal methods for industrial critical systems
Temporal dependency for dynamic verification of fixed-date constraints in grid workflow systems

APWeb'05 Proceedings of the 7th Asia-Pacific web conference on Web Technologies Research and Development
Incremental service level agreements violation handling with time impact analysis

Journal of Systems and Software
Workflow performance analysis and simulation based on multidimensional workflow net

Computers in Industry

Quantified Score

Hi-index	0.00

Visualization

Abstract

Primitive support for time management has been recognized as one of the most significant limitations of today's workflows. In this paper, we propose a new temporal model for production workflows. After introducing basic features of the temporal model, we describe two time visualization concepts: the duration space and the instantiation space that are used respectively for representation of relative and absolute (real) time. Then, we illustrate how these concepts may be applied to modeling of absolute and relative deadline constraints and dynamic verification of their temporal consistency. The work presented sets foundations for more advanced workflow management that includes features such as monitoring of workflow execution, reasoning about deadlines as well as management of workloads and learning about deadlines.