From requirements via colored workflow nets to an implementation in several workflow systems

R.S. Mans, W.M.P. Aalst, van der, N.C. Russell, P.J.M. Bakker, A.J. Moleman, K.B. Lassen, J.B. Jorgensen

Research output: Book/ReportReportAcademic


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.
Original languageEnglish
Place of PublicationEindhoven
PublisherBPMcenter. org
Number of pages25
Publication statusPublished - 2009

Publication series

NameBPM reports


Dive into the research topics of 'From requirements via colored workflow nets to an implementation in several workflow systems'. Together they form a unique fingerprint.

Cite this