Temporal Modeling of Workflows with Conditional Execution Paths

Temporal Modeling of Workflows with Conditional Execution Paths

Abstract

In this paper, we present a novel technique for modeling, checking, and enforcing temporal constraints in workflow processes containing conditionally executed activities. Existing workflow time modeling proposals either do not discriminate between time constraints that apply to disparate execution paths, or they treat every execution path independently. Consequently, superfluous time constraint violations may be detected at modeling time, even when each execution path does not violate any constraints. In addition, scheduling conflicts during process execution may not be detected for activities that are common to multiple execution paths. Our approach addresses these problems by (partially) unfolding the workflow graph associated with a process that contains conditionally executed activities and, then, incorporating the temporal constraints in the time calculations performed on the unfolded graph.

Grafik Top
Authors
  • Eder, Johann
  • Gruber, Wolfgang
  • Panagos, Euthimios
Grafik Top
  • © 2000 Springer Verlag (<a href='http://www.springer.de/comp/lncs/index.html'>WWW</a>)
Grafik Top
Shortfacts
Category
Paper in Conference Proceedings or in Workshop Proceedings
Event Title
11th International Conference on Database and Expert Systems Applications, DEXA 2000
Divisions
Workflow Systems and Technology
Event Location
London, UK
Event Type
Conference
Event Dates
2000-09-04
Series Name
Lecture Notes in Computer Science 1873
Publisher
Springer Verlag
Page Range
pp. 243-253
Date
September 2000
Official URL
http://www.pri.univie.ac.at/Publications/2000/Eder...
Export
Grafik Top