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

J.B. Jørgensen, K.B. Lassen, W.M.P. Aalst, van der

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelProfessioneel

29 Citaten (Scopus)

Samenvatting

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.
Originele taal-2Engels
Pagina's (van-tot)15-28
TijdschriftInternational Journal on Software Tools for Technology Transfer
Volume10
Nummer van het tijdschrift1
DOI's
StatusGepubliceerd - 2008

Vingerafdruk

Duik in de onderzoeksthema's van 'From task descriptions via colored Petri Nets towards an implementation of a new electronic patient record workflow system'. Samen vormen ze een unieke vingerafdruk.

Citeer dit