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.
CITATION STYLE
Pichler, H., Eder, J., & Ciglic, M. (2017). Modelling processes with time-dependent control structures. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 10650 LNCS, pp. 50–58). Springer Verlag. https://doi.org/10.1007/978-3-319-69904-2_4
Mendeley helps you to discover research relevant for your work.