scispace - formally typeset
Book ChapterDOI

Adaptive workflows for healthcare information systems

Reads0
Chats0
TLDR
The adaptive workflow nets framework allows both healthcare providers and patients to get an insight into the past and current processes, but also foresee possible future developments, and ensures quality and timing of data communication essential for efficient information flow.
Abstract
Current challenges in Healthcare Information Systems (HIS) include supplying patients with personalized medical information, creating means for efficient information flow between different healthcare providers in order to lower risks of medical errors and increase the quality of care. To address these challenges, the information about patient-related processes, such as currently executed medical protocols, should be made available for medical staff and patients. Existing HIS are mostly data-centered, and therefore cannot provide an adequate solution. To give processes a prominent role in HIS, we apply the adaptive workflow nets framework. This framework allows both healthcare providers and patients to get an insight into the past and current processes, but also foresee possible future developments. It also ensures quality and timing of data communication essential for efficient information flow.

read more

Citations
More filters

Healthcare Process Support: Achievements, Challenges, Current Research

TL;DR: This special issue on process support in healthcare provides extended papers by research groups who contributed multiple times to the ProHealth workshop series, addressing issues pertaining to healthcare process modeling, process-aware healthcare information system, workflow management in healthcare, and healthcare process validation, verification, and evaluation.
Book ChapterDOI

Workflow for healthcare : a methodology for realizing flexible medical treatment processes

TL;DR: In this article, a methodology for realizing processes that possess the required degree of flexibility that makes them suitable for the healthcare domain is presented, which is applied to the processes that are found in a Dutch outpatient clinic.
Proceedings ArticleDOI

Towards Flexible Event-Handling in Workflows through Data States

TL;DR: This work proposes a concrete approach that logs interactions between workflow component activities in the form of data states that accurately and efficiently store necessary information for event-handling, and explicitly represents various dependencies and constraints of a WFMS in sophisticated data states.
Journal ArticleDOI

Abteilungs- und Patientenmanagement in der Strahlenheilkunde

TL;DR: In this article, the authors present an umfassendes Konzept zur Steuerung und Organisation einer strahlentherapeutischen Einrichtung entwickelt.
Book ChapterDOI

Modelling and Analysis of Flexible Healthcare Processes Based on Algebraic and Recursive Petri Nets

TL;DR: RecWF-Nets are shown how recursive and algebraic workflow Nets are a promising formalism for modelling and analysis of flexible medical treatment processes where data management and control flow aspects are closely related and it is shown that they can check efficiently generic and medical properties of healthcare processes using the Maude LTL model checker.
References
More filters
Journal ArticleDOI

Shared decision-making in the medical encounter: What does it mean? (or it takes at least two to tango)

TL;DR: This paper attempts to provide greater conceptual clarity about shared treatment decision-making, identify some key characteristics of this model, and discuss measurement issues.

Kommunikation mit Automaten

C. A. Petri
TL;DR: The theory of automata is shown not capable of representing the actual physical flow of information in the solution of a recursive problem and a theory of communication is proposed that yields a means of representation that with equal rigor and simplicity accomplishes more than the theory of synchronous automata.
Book

Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use

Kurt Jensen
TL;DR: The third volume of a definitive work on coloured Petri nets as discussed by the authors contains a detailed presentation of 19 applications of CP-nets across a broad range of application areas, including a security system, ATM networks, audio/video systems, transaction processing, ISDN services, VLSI chips, document storage, distributed programming, electronic funds transfer, a naval vessel, chemical processing, nuclear waste management, and many more.
Journal ArticleDOI

Workflow mining: discovering process models from event logs

TL;DR: A new algorithm is presented to extract a process model from a so-called "workflow log" containing information about the workflow process as it is actually being executed and represent it in terms of a Petri net.
Book ChapterDOI

Verification of Workflow Nets

TL;DR: This paper focuses on a class of Petri nets suitable for the representation, validation and verification of business procedures and shows that the correctness of a procedure represented by such a Petri net can be verified by using standard Petri-net-based techniques.
Related Papers (5)