@inbook{53ec3bb18c4b4a519352ae76a141b870,
title = "From requirements via colored workflow nets to an implementation in several workflow systems",
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.",
author = "R.S. Mans and {Aalst, van der}, W.M.P. and N.C. Russell and P.J.M. Bakker and A.J. Moleman and K.B. Lassen and J.B. J{\o}rgensen",
year = "2009",
doi = "10.1007/978-3-642-04856-2",
language = "English",
isbn = "978-3-642-04854-8",
series = "Lecture notes in computer science",
publisher = "Springer",
pages = "25--49",
editor = "K. Jensen and J. Billington and M. Koutny",
booktitle = "Transactions on Petri Nets and Other Models of Concurrency III",
address = "Germany",
}