Modelling Processes with Time-Dependent Control Structures

The modeling of processes with temporal constraints suffers from a mismatch between more procedural process models and more declarative formulations of temporal constraints. We propose the introduction of temporal conditions in the formulation of conditional constructs, in particular XOR-splits and loops to give process designers explicit control over the temporal behaviour of the processes they model. We define syntax and semantics of temporal splits and temporal loops and propose the notion of controllability for defining the (temporal) correctness of process definitions with temporal control structures.