From Requirements via Colored Workflow Nets to an Implementation in Several Workflow Systems

  • Authors:

  • Ronny S. Mans;Wil M. Aalst;Nick C. Russell;Piet J. Bakker;Arnold J. Moleman;Kristian B. Lassen;Jens B. Jørgensen

  • Affiliations:

  • Department of Information Systems, Eindhoven University of Technology, Eindhoven, The Netherlands NL-5600 and Department of Quality Assurance and Process Innovation, Academic Medical Center, Unive ...;Department of Information Systems, Eindhoven University of Technology, Eindhoven, The Netherlands NL-5600;Department of Information Systems, Eindhoven University of Technology, Eindhoven, The Netherlands NL-5600;Department of Quality Assurance and Process Innovation, Academic Medical Center, University of Amsterdam, Amsterdam, The Netherlands;Department of Quality Assurance and Process Innovation, Academic Medical Center, University of Amsterdam, Amsterdam, The Netherlands;Department of Computer Science, University of Aarhus, Aarhus N, Denmark DK-8200;Department of Computer Science, University of Aarhus, Aarhus N, Denmark DK-8200

  • Venue:
  • Transactions on Petri Nets and Other Models of Concurrency III
  • Year:
  • 2009

Quantified Score

Hi-index 0.00

Visualization

Abstract

Hospitals and other healthcare organizations need to support complex and dynamic workflows. Moreover, these processes typically invoke a number of medical disciplines. This makes it important to avoid the typical disconnect between requirements and the actual implementation of the system. In this paper we apply a development approach where an Executable Use Case (EUC) and a Colored Workflow Net (CWN) are used to close the gap between a given requirements specification and the realization of these requirements based on workflow technology. In order to do so, we describe a large case study where the diagnostic process of the gynecological oncology care process of the Academic Medical Center (AMC) hospital is used as a candidate process. The process consists of hundreds of activities. These have been modeled and analyzed using an EUC and a CWN. Moreover, based on the CWN, the process has been implemented using four different workflow systems. In this way, we demonstrate the general application of the approach and its applicability to distinct technology systems.