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

Authors:
Jens Bæk Jørgensen;Kristian Bisgaard Lassen;Wil M. P. van der Aalst
Affiliations:
University of Aarhus, Department of Computer Science, IT-parken, Aabogade 34, 8200, Aarhus N, Denmark;University of Aarhus, Department of Computer Science, IT-parken, Aabogade 34, 8200, Aarhus N, Denmark;Eindhoven University of Technology, Department of Mathematics and Computer Science, P.O. Box 513, IT-parken, Aabogade 34, 5600 MB, Eindhoven, The Netherlands
Venue:
International Journal on Software Tools for Technology Transfer (STTT)
Year:
2007

Citing 0
Cited 6

Proclets in healthcare

Journal of Biomedical Informatics
Building AS-IS process models from task descriptions

Proceedings of the 8th International Conference on Frontiers of Information Technology
Extended event-condition-action rules and fuzzy Petri nets based exception handling for workflow management

Expert Systems with Applications: An International Journal
Schedule-aware workflow management systems

Transactions on Petri nets and other models of concurrency IV
Modelling alarm management workflow in healthcare according to IHE framework by coloured Petri Nets

Engineering Applications of Artificial Intelligence
A framework for transformation from conceptual to logical workflow models

Decision Support Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

We consider a given specification of functional requirements for a new electronic patient record system for Fyn County, Denmark. The requirements are expressed as task descriptions, which are informal descriptions of work processes to be supported. We describe how these task descriptions are used as a basis to construct two executable models in the formal modeling language Colored Petri Nets (CPNs). The first CPN model is used as an execution engine for a graphical animation, which constitutes a so-called Executable Use Case (EUC). The EUC is a prototype-like representation of the task descriptions that can help to validate and elicit requirements. The second CPN model is a Colored Workflow Net (CWN). The CWN is derived from the EUC. Together, the EUC and the CWN are used to close the gap between the given requirements specification and the realization of these requirements with the help of an IT system. We demonstrate how the CWN can be translated into the YAWL workflow language, thus resulting in an operational IT system.