HEAT: A tool to develop, analyze and monitor clinical pathways

HEAT (Healthcare Efficiency and Effectiveness Analysis Tool) is a software application developed to support designing and analysis processes of the clinical pathways. It was developed in collaboration with the Hospital “Lozano Blesa” in Zaragoza, and is composed by two different tools. The first one, called HEAT-Scenario Designer, can be used to: (a) design new clinical scenarios, (b) check the correct use of resources and (c) check the correct communication strategies between several clinical pathways. To model clinical pathways, HEAT uses a domain specific modeling language (DSML), called Healthcare System Specification (HSS), being defined as an Unified Modeling Language (UML) profile. This language lets the medical personnel to describe the system without any knowledge of UML or other mathematical theory. Then, the tool can be used to transform the clinical pathways to Stochastic Well-formed Nets (SWN), a formal model that can be used latter for analysis by using available packages. The second tool of HEAT, called HEAT-Patients Monitor can be used to monitor the flow of patients that follow the modeled clinical pathways inside the hospital, providing to the medical doctors useful information about the behavior of the clinical pathways.

[1]  Omolola Ogunyemi,et al.  GLIF3: a representation format for sharable computer-interpretable clinical practice guidelines , 2004, J. Biomed. Informatics.

[2]  Cristian Mahulea,et al.  A model-based approach for the specification and verification of clinical guidelines , 2014, Proceedings of the 2014 IEEE Emerging Technology and Factory Automation (ETFA).

[3]  Cristian Mahulea,et al.  Toward a decision support system for the clinical pathways assessment , 2019, Discret. Event Dyn. Syst..

[4]  M. Field,et al.  Guidelines for Clinical Practice: From Development to Use , 1992 .

[5]  Karen Rudie,et al.  An Augmented Petri Net Model for Health-Care Protocols , 2015, IEEE Transactions on Automatic Control.

[6]  Lars Michael Kristensen,et al.  Coloured Petri Nets - Modelling and Validation of Concurrent Systems , 2009 .

[7]  Cristian Mahulea,et al.  On liveness enforcement of DSSP net systems , 2016, 2016 IEEE 55th Conference on Decision and Control (CDC).

[8]  Souheib Baarir,et al.  The GreatSPN tool: recent enhancements , 2009, PERV.

[9]  Vincent Augusto,et al.  A Modeling and Simulation Framework for Health Care Systems , 2014, IEEE Transactions on Systems, Man, and Cybernetics: Systems.

[10]  Richard N. Shiffman,et al.  Model Formulation: GEM: A Proposal for a More Comprehensive Guideline Document Model Using XML , 2000, J. Am. Medical Informatics Assoc..

[11]  Manuel Silva,et al.  On Well-formedness Analysis: The Case of Deterministic Systems of Sequential Processes , 1995, STRICT.

[12]  Armin Zimmermann.  Modeling and evaluation of stochastic Petri nets with TimeNET 4.1 , 2012, 6th International ICST Conference on Performance Evaluation Methodologies and Tools.

[13]  José Manuel Colom,et al.  The Resource Allocation Problem in Flexible Manufacturing Systems , 2003, ICATPN.