Driving time-dependent paths in clinical BPMN processes

The modeling of temporal aspects in BPMN processes is poorly addressed to date, despite the crucial role played by time during process design and execution. In the clinical domain, temporal conditions often constrain medical decisions that drive healthcare process execution and organizational outcomes. However, both temporal constraints and their effects on process decisions are often hidden within process models. In this paper, we deal with modeling a set of selected time constraints that "decide" how process execution paths are taken and we address their enforcement in BPMN process diagrams. A formal semantics based on timed automata clarifies the behavior of the proposed processes.

[1]  Luis E. Mendoza Morales,et al.  Business process verification using a Formal Compositional Approach and Timed Automata , 2013, 2013 XXXIX Latin American Computing Conference (CLEI).

[2]  Davide Bresolin,et al.  On Begins, Meets and before , 2012, Int. J. Found. Comput. Sci..

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

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

[5]  Rajeev Alur,et al.  A Theory of Timed Automata , 1994, Theor. Comput. Sci..

[6]  Robin Milner,et al.  Communication and concurrency , 1989, PHI Series in computer science.

[7]  Bruno Vallespir,et al.  Enabling model checking for collaborative process analysis: from BPMN to ‘Network of Timed Automata’ , 2015, Enterp. Inf. Syst..

[8]  Manfred Reichert,et al.  Process time patterns: A formal foundation , 2016, Inf. Syst..

[9]  Saoussen Cheikhrouhou,et al.  Toward a Time-centric modeling of Business Processes in BPMN 2.0 , 2013, IIWAS '13.

[10]  L. Mermel,et al.  Guidelines for the Management of Intravascular Catheter-Related Infections , 2001, Infection Control & Hospital Epidemiology.

[11]  Marlon Dumas,et al.  Unraveling Unstructured Process Models , 2010, BPMN.

[12]  Remco M. Dijkman,et al.  Semantics and analysis of business process models in BPMN , 2008, Inf. Softw. Technol..

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

[14]  Yuval Shahar,et al.  Temporal Information Systems in Medicine , 2010 .

[15]  Kunihiko Hiraishi,et al.  Formal verification of business processes with temporal and resource constraints , 2011, 2011 IEEE International Conference on Systems, Man, and Cybernetics.