A Temporal Semantics for Workflow Control Patterns

We use a temporal logic to generate a temporal account (characterization) of workflow control patterns. This characterization not only permits the integration of the control workflow patterns with formal validation tools, such as constraint satisfaction or theorem proving systems, but also provides means to formally identify occurrences of the patterns. This approach leads to the study of business process modeling from a complementary temporal perspective. The approach can also be used to assess and compare the temporal expressiveness of various process modeling formalisms and tools.