Modeling Patient Flows: A Temporal Logic Approach

Abstract

Constructing a consistent process model can be instrumental in streamlining healthcare issues. Current process modeling techniques used in healthcare, such as flowcharts, unified modeling language activity diagram (UML AD), and business process modeling notation (BPMN) are intuitive and imprecise. These techniques are vague in process description and cannot fully capture the complexities of the types of activities and full extent of temporal constraints between them. Additionally, to schedule patient flows, current modeling techniques do not offer any mechanism, so healthcare relies on critical path method (CPM) and program evaluation review technique (PERT), that also have limitations i.e. finish-start barrier. It is imperative that temporal constraints between the start and/or end of a process needs to be specified, e.g., the start of A precedes the start (or end) of B, etc., however, these approaches failed to provide us with a mechanism for handling these temporal situations. This paper proposes a framework that provides enumeration of core terms/concepts to describe a general knowledge basis for Business and Healthcare domains. Definitions are provided to present the semantics of concepts i.e. based on their ontology. Furthermore, this logical basis is supported by Point graph (PG) notation; a graphical tool, which has a formal translation to a point interval temporal logic (PITL), and is used to model Patient flows suitable for enhanced reasoning and correct representation. We will evaluate an illustrative discharge patient flow example initially modeled using Unified Modeling Language Activity Diagram (UML AD) with the intention to compare with the technique presented here for its potential use to model patient flows.