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

R.S. Mans; W.M.P. Aalst, van der; P.J.M. Bakker; A.J. Moleman; K.B. Lassen; J.B. Jørgensen

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

R.S. Mans, W.M.P. Aalst, van der, P.J.M. Bakker, A.J. Moleman, K.B. Lassen, J.B. Jørgensen

Information Systems IE&IS

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

Abstract

Care organizations, such as hospitals, need to support complex and dynamic workflows. More- over, many disciplines are involved. This makes it important to avoid the typical disconnect between requirements and the actual implementation of the system. This paper proposes an approach where an Executable Use Case (EUC) and Colored Workflow Net (CWN) are used to close the gap between the given requirements specification and the realization of these requirements with the help of a workflow system. This paper describes a large case study where the diagnostic tra jectory of the gynaecological oncology care process of the Academic Medical Center (AMC) hospital is used as reference 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. This shows the applicability of our approach and allows for an evaluation of different approaches towards flexibility in workflow systems.

Original language	English
Title of host publication	Proceedings of the 8th Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools, 22-24 October 2007, Aarhus, Denmark
Editors	K. Jensen
Place of Publication	Aarhus
Publisher	Department of Computer Science
Pages	187-206
Publication status	Published - 2007
Event	8th Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools (CPN '07), October 22-24, 2007, Aarhus, Denmark - Aarhus, Denmark Duration: 22 Oct 2007 → 24 Oct 2007 http://daimi.au.dk/CPnets/proxy.php?url=/CPnets/workshop07/index

Publication series

Name	DAIMI PB
Volume	584
ISSN (Print)	0105-8517

Workshop

Workshop	8th Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools (CPN '07), October 22-24, 2007, Aarhus, Denmark
Abbreviated title	CPN '07
Country/Territory	Denmark
City	Aarhus
Period	22/10/07 → 24/10/07
Internet address	http://daimi.au.dk/CPnets/proxy.php?url=/CPnets/workshop07/index

Cite this

Mans, R. S., Aalst, van der, W. M. P., Bakker, P. J. M., Moleman, A. J., Lassen, K. B., & Jørgensen, J. B. (2007). From requirements via colored workflow nets to an implementation in several workflow systems. In K. Jensen (Ed.), Proceedings of the 8th Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools, 22-24 October 2007, Aarhus, Denmark (pp. 187-206). (DAIMI PB; Vol. 584). Department of Computer Science.

Mans, R.S. ; Aalst, van der, W.M.P. ; Bakker, P.J.M. et al. / From requirements via colored workflow nets to an implementation in several workflow systems. Proceedings of the 8th Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools, 22-24 October 2007, Aarhus, Denmark. editor / K. Jensen. Aarhus : Department of Computer Science, 2007. pp. 187-206 (DAIMI PB).

@inproceedings{10fdfc1b2e744dc99826fed9366527a5,

title = "From requirements via colored workflow nets to an implementation in several workflow systems",

abstract = "Care organizations, such as hospitals, need to support complex and dynamic workflows. More- over, many disciplines are involved. This makes it important to avoid the typical disconnect between requirements and the actual implementation of the system. This paper proposes an approach where an Executable Use Case (EUC) and Colored Workflow Net (CWN) are used to close the gap between the given requirements specification and the realization of these requirements with the help of a workflow system. This paper describes a large case study where the diagnostic tra jectory of the gynaecological oncology care process of the Academic Medical Center (AMC) hospital is used as reference 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. This shows the applicability of our approach and allows for an evaluation of different approaches towards flexibility in workflow systems.",

author = "R.S. Mans and {Aalst, van der}, W.M.P. and P.J.M. Bakker and A.J. Moleman and K.B. Lassen and J.B. J{\o}rgensen",

year = "2007",

language = "English",

series = "DAIMI PB",

publisher = "Department of Computer Science",

pages = "187--206",

editor = "K. Jensen",

booktitle = "Proceedings of the 8th Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools, 22-24 October 2007, Aarhus, Denmark",

note = "8th Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools (CPN '07), October 22-24, 2007, Aarhus, Denmark, CPN '07 ; Conference date: 22-10-2007 Through 24-10-2007",

url = "http://daimi.au.dk/CPnets/proxy.php?url=/CPnets/workshop07/index",

}

Mans, RS, Aalst, van der, WMP, Bakker, PJM, Moleman, AJ, Lassen, KB & Jørgensen, JB 2007, From requirements via colored workflow nets to an implementation in several workflow systems. in K Jensen (ed.), Proceedings of the 8th Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools, 22-24 October 2007, Aarhus, Denmark. DAIMI PB, vol. 584, Department of Computer Science, Aarhus, pp. 187-206, 8th Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools (CPN '07), October 22-24, 2007, Aarhus, Denmark, Aarhus, Denmark, 22/10/07.

From requirements via colored workflow nets to an implementation in several workflow systems. / Mans, R.S.; Aalst, van der, W.M.P.; Bakker, P.J.M. et al.
Proceedings of the 8th Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools, 22-24 October 2007, Aarhus, Denmark. ed. / K. Jensen. Aarhus: Department of Computer Science, 2007. p. 187-206 (DAIMI PB; Vol. 584).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

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

AU - Mans, R.S.

AU - Aalst, van der, W.M.P.

AU - Bakker, P.J.M.

AU - Moleman, A.J.

AU - Lassen, K.B.

AU - Jørgensen, J.B.

PY - 2007

Y1 - 2007

N2 - Care organizations, such as hospitals, need to support complex and dynamic workflows. More- over, many disciplines are involved. This makes it important to avoid the typical disconnect between requirements and the actual implementation of the system. This paper proposes an approach where an Executable Use Case (EUC) and Colored Workflow Net (CWN) are used to close the gap between the given requirements specification and the realization of these requirements with the help of a workflow system. This paper describes a large case study where the diagnostic tra jectory of the gynaecological oncology care process of the Academic Medical Center (AMC) hospital is used as reference 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. This shows the applicability of our approach and allows for an evaluation of different approaches towards flexibility in workflow systems.

AB - Care organizations, such as hospitals, need to support complex and dynamic workflows. More- over, many disciplines are involved. This makes it important to avoid the typical disconnect between requirements and the actual implementation of the system. This paper proposes an approach where an Executable Use Case (EUC) and Colored Workflow Net (CWN) are used to close the gap between the given requirements specification and the realization of these requirements with the help of a workflow system. This paper describes a large case study where the diagnostic tra jectory of the gynaecological oncology care process of the Academic Medical Center (AMC) hospital is used as reference 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. This shows the applicability of our approach and allows for an evaluation of different approaches towards flexibility in workflow systems.

M3 - Conference contribution

T3 - DAIMI PB

SP - 187

EP - 206

BT - Proceedings of the 8th Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools, 22-24 October 2007, Aarhus, Denmark

A2 - Jensen, K.

PB - Department of Computer Science

CY - Aarhus

T2 - 8th Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools (CPN '07), October 22-24, 2007, Aarhus, Denmark

Y2 - 22 October 2007 through 24 October 2007

ER -

Mans RS, Aalst, van der WMP, Bakker PJM, Moleman AJ, Lassen KB, Jørgensen JB. From requirements via colored workflow nets to an implementation in several workflow systems. In Jensen K, editor, Proceedings of the 8th Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools, 22-24 October 2007, Aarhus, Denmark. Aarhus: Department of Computer Science. 2007. p. 187-206. (DAIMI PB).

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

Abstract

Publication series

Workshop

Fingerprint

Cite this