Modelling alarm management workflow in healthcare according to IHE framework by coloured Petri Nets

Authors:
Maria Pia Fanti;Stefano Mininel;Walter Ukovich;Federica Vatta
Affiliations:
Dipartimento di Elettrotecnica ed Elettronica, Polytechnic of Bari, Bari, Italy;Dipartimento di Elettrotecnica, Elettronica e Informatica, University of Trieste, Trieste, Italy;Dipartimento di Elettrotecnica, Elettronica e Informatica, University of Trieste, Trieste, Italy;Dipartimento di Elettrotecnica, Elettronica e Informatica, University of Trieste, Trieste, Italy
Venue:
Engineering Applications of Artificial Intelligence
Year:
2012

Citing 6
Cited 0

The Unified Modeling Language user guide

The Unified Modeling Language user guide
The Definition of Standard ML

The Definition of Standard ML
Ensuring Patient Safety in Wireless Medical Device Networks

Computer
From task descriptions via colored Petri nets towards an implementation of a new electronic patient record workflow system

International Journal on Software Tools for Technology Transfer (STTT)
Initial Work in the Design and Development of Verifiable Workflow Management Systems and Some Applications to Health Care

MOMPES '08 Proceedings of the 2008 5th International Workshop on Model-based Methodologies for Pervasive and Embedded Software
Towards More Integrated Implementation of Healthcare Information Systems: Using the 3LGM2 for Modeling the IHE-Scheduled Workflow Integration Profile

CBMS '08 Proceedings of the 2008 21st IEEE International Symposium on Computer-Based Medical Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

Ensuring patient safety in medical device networks by managing alarms and related clinical data is a life-critical issue. The Integrating the Healthcare Enterprise (IHE) initiative emerged to discuss and solve the interoperability and integration problems among medical information systems, vendors and users in order to improve patient care and healthcare system dependability. This paper models and analyzes the IHE Alarm Communication Management by using the Unified Modelling Language and Coloured Timed Petri nets. Aiming at generality, the model does not refer to a specific healthcare context but it is based on a general scheme where the message transactions are integrated with the nurse responses. In order to show the potentialities of the model, a real case study is simulated and different scenarios with different levels of workload are analyzed. The results illustrate that the model is able to provide support for structured and comprehensive analysis of the healthcare system management.