Conceptual Modeling of Temporal Clinical Workflows

Abstract

The diffusion of clinical guidelines to describe the proper way to deal with patients? situations is spreading out and opens new issues in the context of modeling and managing (temporal) information about medical activities. Guidelines can be seen as processes describing the sequence of activities to be executed, and thus approaches proposed in the business context can be used to model them. In this paper, we propose a general conceptual workflow model, considering both activities and their temporal properties, and focus on the representation of clinical guidelines by the proposed model

Automated generation of patient-tailored electronic care pathways by translating computer-interpretable guidelines into hierarchical task networks

“…This is not a trivial task, especially considering the possibility of complex temporal constraints. Indeed, the management of uncertainty and temporal factors is highly relevant in the context of CIGs [16,17], as can be observed in a recently published research agenda [8]. In fact, one of the issues in this agenda, which has begun to be explored, is the identification of candidate actions (initially represented in a clinical guideline)…”

“…For example, the TWAdesigner [16] is a complete and accurate approach to modeling the complexity of temporal constraints in clinical guidelines, and the time-BPMN extension [23] extends the BPMN modeling notation with more complex temporal capabilities. These tools are closer to the end users, and can represent most workflow time patterns [59].…”

A Survey on Time-aware Business Process Modeling

“…Time modeling and management in the clinical workflow domain has been widely investigated by Combi et al (Combi et al, 2007;Combi and Posenato, 2009). Among the proposed temporal constructs, we can notice: the duration (the activity duration) and delays (the edge duration), the relative constraints, the absolute constraints, and the periodic constraints.…”

“…the analysis of dead tasks, bottlenecks, deadlocks and loops) (Kallel et al, 2009;Watahiki et al, 2011), there are some works which have tried to differentiate the two verification processes (Guermouche, 2010;Huai et al, 2010;Du et al, 2011). (Huai et al, 2010) Time Petri nets dead task + deadlock +infinite loops the reachability graph of the Petri nets the time conflicts of the model the time choreography verification algorithm (Du et al, 2011) Time workflow nets duration between two activitie Algorithms (TWF-net) less than s time units + UPAAL model checker (Kazhamiakin et al, 2006a) Web Service Timed deadlock model checker NuSMV State Transition Systems (WSTTS) + maximal and minimal duration of the process (Kallel et al, 2009) XTUS-Automata deadlock UPAALmodel checker (Guermouche, 2010) Timed Automata compatibility analysis of the web Algorithms service choreography deadlock UPAAL model checker (Eder and Tahamtan, 2008b) Timed activity graphs Temporal consistency Algorithms (Eder and Tahamtan, 2008a) + Time conformance (Makni et al, 2010) Time Petri nets Time conformance TINA model checker and LPT (Makni et al, 2011) (Guermouche andZilio, 2012) A modeling environment the absence constraint with delay inspired from BPMN + the response constraint with delay TINA model checker The Fiacre specification (Bettini et al, 2002) Temporal Constraint with Granularity the consistency Algorithms (TCG) graph (Combi et al, 2007) A proposed conceptual The controllability checking Algorithms (Combi and Posenato, 2009) workflow model (Wong and Gibbons, 2009) Communicating Sequential Time compatibility FDR model checker Processes (CSP)…”

Enabling Personalized Process Schedules with Time-Aware Process Views

“…However, integrating the temporal perspective in a PAIS is crucial, since most business processes must obey temporal constraints [6]. Moreover, in many application domains the proper handling of temporal constraints is vital in order to successfully complete a process (e.g., flight planning, patient treatment, and automotive engineering) [7,8].…”