Controlling Time-Awareness in Modularized Processes (Extended Version)

The proper handling of temporal process constraints is crucial in many application domains. However, a sophisticated support of time-aware processes is still missing in contemporary information systems. As a particular challenge, temporal constraints must be also handled for modularized processes (i.e., processes comprising subprocesses), enabling the re-use of process knowledge as well as the modular design of complex processes. This paper focuses on the representation and support of time-aware modularized processes. In particular, we present a sound and complete method to derive the duration restrictions of a time-aware (sub-)process in such a way that its temporal properties are completely specified. We then show how this characterization of a process can be utilized when re-using it as a subprocess within a modularized process.

[1]  Johann Eder,et al.  Temporal Modeling of Workflows with Conditional Execution Paths , 2000, DEXA.

[2]  Rina Dechter,et al.  Temporal Constraint Networks , 1989, Artif. Intell..

[3]  Manfred Reichert,et al.  Controlling Time-Awareness in Modularized Processes , 2016, BMMDS/EMMSAD.

[4]  Manfred Reichert,et al.  Simple Temporal Networks with Partially Shrinkable Uncertainty , 2015, ICAART.

[5]  Nicola Muscettola,et al.  Temporal Dynamic Controllability Revisited , 2005, AAAI.

[6]  Carlo Combi,et al.  Towards Temporal Controllabilities for Workflow Schemata , 2010, 2010 17th International Symposium on Temporal Representation and Reasoning.

[7]  Manfred Reichert,et al.  Dealing with Changes of Time-Aware Processes , 2014, BPM.

[8]  Gordon Guyatt,et al.  American College of Rheumatology 2012 recommendations for the use of nonpharmacologic and pharmacologic therapies in osteoarthritis of the hand, hip, and knee , 2012, Arthritis care & research.

[9]  Nicola Muscettola,et al.  Dynamic Control Of Plans With Temporal Uncertainty , 2001, IJCAI.

[10]  Jana Koehler,et al.  The refined process structure tree , 2008, Data Knowl. Eng..

[11]  Manfred Reichert,et al.  Workflow Time Patterns for Process-Aware Information Systems , 2010, BMMDS/EMMSAD.

[12]  Manfred Reichert,et al.  Simple Temporal Networks with Partially Shrinkable Uncertainty (extended version) , 2015 .

[13]  Manfred Reichert,et al.  Enabling Time-Aware Process Support with the ATAPIS Toolset , 2014, BPM.

[14]  Xin-She Yang,et al.  Introduction to Algorithms , 2021, Nature-Inspired Optimization Algorithms.

[15]  Manfred Reichert,et al.  Time patterns for process-aware information systems , 2014, Requirements Engineering.

[16]  Manfred Reichert,et al.  Refactoring large process model repositories , 2011, Comput. Ind..

[17]  Carlo Combi,et al.  Controllability in Temporal Conceptual Workflow Schemata , 2009, BPM.

[18]  Carlo Combi,et al.  Conceptual modeling of flexible temporal workflows , 2012, TAAS.

[19]  Manfred Reichert,et al.  Controllability of Time-Aware Processes at Run Time , 2013, OTM Conferences.

[20]  Luke Hunsberger,et al.  An Algorithm for Checking the Dynamic Controllability of a Conditional Simple Temporal Network with Uncertainty , 2013, ICAART.

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

[22]  Johann Eder,et al.  Time Management in Workflow Systems , 1999, BIS.

[23]  Johann Eder,et al.  Workflow Time Management Revisited , 2013, Seminal Contributions to Information Systems Engineering.

[24]  Hajo A. Reijers,et al.  Design and Control of Workflow Processes , 2003 .

[25]  Manfred Reichert,et al.  A formal semantics of time patterns for process-aware information systems , 2013 .

[26]  Carlo Combi,et al.  Representing Business Processes Through a Temporal Data-Centric Workflow Modeling Language: An Application to the Management of Clinical Pathways , 2014, IEEE Transactions on Systems, Man, and Cybernetics: Systems.

[27]  Tharam S. Dillon,et al.  On the Move to Meaningful Internet Systems, OTM 2010 , 2010, Lecture Notes in Computer Science.

[28]  Paul Morris,et al.  Dynamic Controllability and Dispatchability Relationships , 2014, CPAIOR.

[29]  Paul Morris,et al.  A Structural Characterization of Temporal Dynamic Controllability , 2006, CP.

[30]  Manfred Reichert,et al.  Enabling Flexibility in Process-Aware Information Systems: Challenges, Methods, Technologies , 2012 .