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.

[thumbnail of UIB_2013_02_LaRW.pdf] PDF - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
Download (977kB)


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
Divisions: Faculty of Engineering, Electronics and Computer Science > Institute of Databases and Informations Systems > DBIS Research and Teaching > DBIS Research > Publications
Depositing User: Andreas Lanz
Date Deposited: 26 Jan 2013 20:12
Last Modified: 26 Jan 2013 20:12
URI: http://dbis.eprints.uni-ulm.de/id/eprint/894

Actions (login required)

View Item
View Item