A formal semantics of time patterns for process-aware information systems

Veröffentlichung
2013-02-04Authors
Lanz, Andreas
Reichert, Manfred
Weber, Barbara
Bericht
Faculties
Fakultät für Ingenieurwissenschaften und InformatikSeries
Ulmer Informatik-Berichte
Abstract
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.
Date created
2013
Subject headings
[GND]: Prozessmanagement | Prozessoptimierung[LCSH]: Semantics | Workflow; Management
[Free subject headings]: Process-aware information systems | Temporal constraints | Temporal perspective | Time patterns | Workflow patterns
[DDC subject group]: DDC 004 / Data processing & computer science
Metadata
Show full item recordDOI & citation
Please use this identifier to cite or link to this item: http://dx.doi.org/10.18725/OPARU-2462
Lanz, Andreas; Reichert, Manfred; Weber, Barbara (2013): A formal semantics of time patterns for process-aware information systems. Open Access Repositorium der Universität Ulm und Technischen Hochschule Ulm. http://dx.doi.org/10.18725/OPARU-2462
Citation formatter >