Time Patterns for Process-aware Information Systems: A Pattern-based Analysis - Revised version

Formal speci�cation and operational support of time constraints constitute fundamental challenges for any enterprise information system. Although temporal constraints play an important role in the context of long-running business processes, time support is very limited in existing process management systems. By contrast, di�fferent kinds of planning tools (e.g., calendar systems and project management tools) provide more sophisticated facilities for handling task-related time constraints, but lack an operational support for business processes. This paper presents a set of 10 time patterns to foster the systematic design and comparison of these different technologies in respect to time management. These time patterns are all based on empirical evidence from several large case studies. In order to ease use and implementation for each time pattern we provide a precise formal semantics. In addition, we provide an in-depth evaluation of selected process management systems, calendar systems and project management tools based on the suggested patterns. The presented work will not only facilitate comparison of these diff�erent technologies in respect to their support of time constraints, but also make evident that their integration o�ers promising perspectives in respect to time support for long-running business processes. Their widespread use will contribute to further maturation of process-aware information systems and related evaluation schemes.

[1]  Manfred Reichert,et al.  Enterprise-wide and Cross-enterprise Workflow Management:Concepts, Systems, Applications , 1999 .

[2]  Christian Heinlein,et al.  Concept and implementation of C+++, an extension of C++ to support user-defined operator symbols and control structures , 2005 .

[3]  James F. Allen Maintaining knowledge about temporal intervals , 1983, CACM.

[4]  Manfred Reichert,et al.  Clinical Workflows - The Killer Application for Process-oriented Information Systems? , 2000 .

[5]  Ralph Johnson,et al.  design patterns elements of reusable object oriented software , 2019 .

[6]  Carlo Combi,et al.  Task Scheduling for a TemporalWorkflow Management System , 2006, Thirteenth International Symposium on Temporal Representation and Reasoning (TIME'06).

[7]  Ralph Bobrik Konfigurierbare Visualisierung komplexer Prozessmodelle , 2008 .

[8]  Carlo Combi,et al.  Conceptual Modeling of Temporal Clinical Workflows , 2007, 14th International Symposium on Temporal Representation and Reasoning (TIME'07).

[9]  Sushil Jajodia,et al.  Temporal Reasoning in Workflow Systems , 2002, Distributed and Parallel Databases.

[10]  Maria E. Orlowska,et al.  On Modeling and Verification of Temporal Constraints in Production Workflows , 1999, Knowledge and Information Systems.

[11]  Wang Hong-mei On engineering change management , 2011 .

[12]  Manfred Reichert,et al.  IT Support for Release Management Processes in the Automotive Industry , 2006, Business Process Management.

[13]  Wil M. P. van der Aalst,et al.  Workflow Patterns , 2003, Distributed and Parallel Databases.

[14]  van der Wmp Wil Aalst,et al.  Workflow resource patterns , 2004 .

[15]  Hans A. Kestler,et al.  On the complexity of intersecting multiple circles for graphical display , 2008 .

[16]  Wil M. P. van der Aalst,et al.  Workflow Exception Patterns , 2006, CAiSE.

[17]  HallAnthony,et al.  Correctness by Construction , 2002 .

[18]  Johann Eder,et al.  Personal Schedules for Workflow Systems , 2003, Business Process Management.

[19]  Manfred Reichert,et al.  Activity patterns in process-aware information systems: basic concepts and empirical evidence , 2009, Int. J. Bus. Process. Integr. Manag..

[20]  Johann Eder,et al.  Time Constraints in Workflow Systems , 1999, CAiSE.

[21]  Wil M. P. van der Aalst,et al.  Deadline-based escalation in process-aware information systems , 2007, Decis. Support Syst..

[22]  Mira Mezini,et al.  Pi: a Pattern Language , 2009, OOPSLA.

[23]  Marlon Dumas,et al.  Service Interaction Patterns , 2005, Business Process Management.

[24]  Manfred Reichert,et al.  Inventing Less, Reusing More, and Adding Intelligence to Business Process Modeling , 2008, DEXA.

[25]  van der Wmp Wil Aalst,et al.  Workflow data patterns , 2004 .

[26]  U. Schöning,et al.  On the different notions of pseudorandomness , 2008 .

[27]  Stefanie Rinderle-Ma,et al.  On the Formal Semantics of Change Patterns in Process-Aware Information Systems , 2008, ER.

[28]  Kamalakar Karlapalem,et al.  Gaining Control over Time in Workflow Management Applications , 2000, DEXA.

[29]  Stefanie Rinderle-Ma,et al.  Change patterns and change support features - Enhancing flexibility in process-aware information systems , 2008, Data Knowl. Eng..

[30]  Maria E. Orlowska,et al.  Managing Change and Time in Dynamic Workflow Processes , 2000, Int. J. Cooperative Inf. Syst..

[31]  Wolfgang Ahrendt Verification of a Prolog Compiler -- First Steps with KIV , 1996 .

[32]  Mathias Weske,et al.  Using the pi-Calculus for Formalizing Workflow Patterns , 2005, Business Process Management.

[33]  Hans A. Kestler,et al.  An empirical assessment of local and population based search methods with different degrees of pseudorandomness , 2008 .