A Formal Semantics of Time Patterns for Process-aware Information Systems

Lanz, Andreas and Reichert, Manfred and Weber, Barbara (2013) A Formal Semantics of Time Patterns for Process-aware Information Systems. Technical Report. University of Ulm.

[img] PDF - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader


Companies increasingly adopt process-aware information systems (PAISs) to coordinate, monitor and evolve their business processes. Although the proper handling of temporal constraints (e.g., deadlines and minimum time lags between activities) is crucial in many application domains, existing PAISs vary significantly regarding their support of the temporal perspective of business processes. Both the formal specification and operational support of temporal constraints constitute fundamental challenges in this context. In previous work, we introduced time patterns facilitating the comparison of PAISs in respect to their support of the temporal perspective and provided empirical evidence for them. To avoid ambiguities and to ease the use as well as implementation of the time patterns, this paper formally defines their semantics. To enable pattern use in a wide range of process modeling languages and pattern integration with existing PAISs, this semantics is expressed independent of a particular process meta model. Altogether, the presented pattern formalization will foster the integration of the temporal perspective in PAISs.

Item Type:Monograph (Technical Report)
Uncontrolled Keywords:Process-aware Information System, Workflow Patterns, Time Patterns, Temporal Perspective, Temporal Constraints
Subjects:DBIS Research > Publications
ID Code:894
Deposited By: Andreas Lanz
BibTex Export:BibTeX
Deposited On:26 Jan 2013 20:12
Last Modified:26 Jan 2013 20:12

Repository Staff Only: item control page