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

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5800 LNCS, Issue , 2009, Pages 25-49

  Mans, Ronny S ^a,b   Van Der Aalst, Wil M P ^a   Russell, Nick C ^a   Bakker, Piet J M ^b   Moleman, Arnold J ^b   Lassen, Kristian B ^c   Jørgensen, Jens B ^c  

^a EINDHOVEN UNIVERSITY OF TECHNOLOGY   (Netherlands)

^b UNIVERSITY OF AMSTERDAM   (Netherlands)

^c AARHUS UNIVERSITY   (Denmark)

Author keywords

Colored Petri Nets; Executable Use Cases; Healthcare; Workflow Management

Indexed keywords

CARE PROCESS; COLORED PETRI NETS; DEVELOPMENT APPROACH; DIAGNOSTIC PROCESS; GENERAL APPLICATIONS; HEALTHCARE ORGANIZATIONS; MEDICAL CENTER; MEDICAL DISCIPLINES; REQUIREMENTS SPECIFICATIONS; TECHNOLOGY SYSTEM; WORK-FLOW SYSTEMS; WORK-FLOWS; WORKFLOW MANAGEMENTS; WORKFLOW NETS; WORKFLOW TECHNOLOGY;

GRAPH THEORY; HEALTH CARE; HOSPITALS; PETRI NETS; WORK SIMPLIFICATION;

MANAGEMENT;

EID: 70549111329     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-04856-2_2     Document Type: Conference Paper

References (37)

1. van der Aalst, W.M.P.: Workflow Verification: Finding Control-Flow Errors using Petri-net-based Techniques. In: van der Aalst, W.M.P., Desel, J., Oberweis, A. (eds.) Business Process Management. LNCS, vol. 1806, pp. 161-183. Springer, Heidelberg (2000)
2. van der Aalst, W.M.P.: Business Process Management Demystified: A Tutorial on Models, Systems and Standards for Workflow Management. In: Desel, J., Reisig, W., Rozenberg, G. (eds.) Lectures on Concurrency and Petri Nets. LNCS, vol. 3098, pp. 1-65. Springer, Heidelberg (2004)
3. van der Aalst, W.M.P., Barthelmess, P., Ellis, C.A., Wainer, J.: Workflow Modeling using Proclets. In: Scheuermann, P., Etzion, O. (eds.) CoopIS 2000. LNCS, vol. 1901, pp. 198-209. Springer, Heidelberg (2000)
4. van der Aalst, W.M.P., van Hee, K.M.: Workflow Management: Models, Methods, and Systems. MIT Press, Cambridge (2002)
5. van der Aalst, W.M.P., van Hee, K.M., ter Hofstede, A.H.M., Sidorova, N., Ver-beek, H.M.W., Voorhoeve, M., Wynn, M.T.: Soundness of Workflow Nets: Classification, Decidability, and Analysis. Computer Science Report No. 08-13, Technische Universiteit Eindhoven, The Netherlands (2008)
6. van der Aalst, W.M.P., ter Hofstede, A.H.M.: YAWL: Yet Another Workflow Language. Information Systems 30(4), 245-275 (2005)
7. van der Aalst, W.M.P., Jablonski, S.: Dealing with Workflow Change: Identification of Issues and Solutions. International Journal of Computer Systems, Science, and Engineering 15(5), 267-276 (2000)
8. van der Aalst, W.M.P., Jørgensen, J.B., Lassen, K.B.: Let's Go All the Way: From Requirements via Colored Workflow Nets to a BPEL Implementation of a New Bank System Paper. In: Meersman, R., Tari, Z. (eds.) OTM 2005. LNCS, vol. 3760, pp. 22-39. Springer, Heidelberg (2005)
9. van der Aalst, W.M.P., Weske, M., Grünbauer, D.: Case Handling: A New Paradigm for Business Process Support. Data and Knowledge Engineering 53(2), 129-162 (2005)
10. Adams, M., ter Hofstede, A.H.M., ter Edmond, D., van der Aalst, W.M.P.: Facilitating Flexibility and Dynamic Exception Handling in Workflows. In: Belo, O., Eder, J., Pastor, O., Falcao e Cunha, J. (eds.) Proceedings of the CAiSE 2005 Forum, FEUP, Porto, Portugal, pp. 45-50 (2005)
11. Anyanwu, K., Sheth, A., Cardoso, J., Miller, J., Kochut, K.: Healthcare Enterprise Process Development and Integration. Journal of Research and Practice in Information Technology 35(2), 83-98 (2003)
12. Baresi, L., Casati, F., Castano, S., Fugini, M.G., Mirbel, I., Pernici, B.: WIDE Workflow Development Metholodogy. In: Proceedings of International Joint Conference on Work Activities Coordination and Collaboration, pp. 19-28 (1999)
13. Dadam, P., Reichert, M., Khuhn, K.: Clinical Workflows - The Killer Application for Process-oriented Information Systems? In: Abramowicz, W., Orlowska, M.E. (eds.) BIS 2000, pp. 36-59. Springer, Heidelberg (2000)
14. Graeber, S.: The impact of workflow management systems on the design of hospital information systems. In: AMIA 2001 Symposium Proceedings (2001)
15. Greiner, U., Ramsch, J., Heller, B., Löffler, M., Müller, R., Rahm, E.: Adaptive Guideline-based Treatment Workflows with AdaptFlow. In: Kaiser, K., Misch, S., Tu, S.W. (eds.) CGP 2004. Computer-based Support for Clinical Guidelines and Protocols, pp. 113-117. IOS Press, Amsterdam (2004)
16. van Hee, K.M., Serebrenik, A., Sidorova, N., Voorhoeve, M.: Resource-Constrained Workflow Nets. In: Ciardo, G., Darondeau, P. (eds.) ICATPN 2005. LNCS, vol. 3536, pp. 250-267. Springer, Heidelberg (2005)
17. Jensen, K., Kristensen, L.M., Wells, L.: Coloured Petri Nets and CPN Tools for Modelling and Validation of Concurrent Systems. STTT 9(3-4), 213-254 (2007)
18. Jensen, K., Christensen, S., Kristensen, L.M.: CPN Tools State Space Manual. Department of Computer Science, Univerisity of Aarhus (2006)
19. Jørgensen, J.B., Bossen, C.: Executable Use Cases: Requirements for a Pervasive Health Care System. IEEE Software 21, 34-41 (2004)
20. Jørgensen, J.B., Lassen, K.B., van der Aalst, W.M.P.: From task descriptions via colored Petri nets towards an implementation of a new electronic patient record workflow system. STTT 10(1), 15-28 (2006)
21. Kim, J., Robert Karlson, C.: A Design Methodology for Workflow System Development. In: Bhalla, S. (ed.) DNIS 2002. LNCS, vol. 2544, pp. 15-28. Springer, Heidelberg (2002)
22. Kobielus, J.G.: Workflow Strategies. IDG Books (1997)
23. Kwan, M., Balasubramanian, P.R.: Adding Workflow Analysis Techniques to the IS Development Toolkit. In: HICSS 1998, vol. 4, pp. 312-321. IEEE Computer Society Press, Los Alamitos (1998)
24. Lenz, R., Elstner, T., Siegele, H., Kuhn, K.: A Practical Approach to Process Support in Health Information Systems. JAMIA 9(6), 571-585 (2002)
25. Lenz, R., Reichert, M.: IT Support for Healthcare Processes - Premises, Challenges, Perspectives. DKE 61, 49-58 (2007)
26. Mans, R.S., van der Aalst, W.M.P., Bakker, P.J.M., Moleman, A.J., Lassen, K.B., Jørgensen, J.B.: From Requirements via Colored Workflow Nets to an Implementation in Several Workflow Systems. In: Jensen, K. (ed.) Proceedings of the Eighth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools, pp. 187-206 (2007)
27. Mans, R.S., van der Aalst, W.M.P., Russell, N.C., Bakker, P.J.M.: Flexibility Schemes for Workflow Management Systems. In: Pre-Proceedings of ProHealth 2008, pp. 50-61 (2008)
28. Maruster, L., van der Aalst, W.M.P., Weijters, A.J.M.M., van den Bosch, A., Daele-mans, W.: Automated Discovery of Workflow Models from Hospital Data. In: Dous-son, C., Höppner, F., Quiniou, R. (eds.) Proceedings of the ECAI Workshop on Knowledge Discovery and Spatial Data, pp. 32-36 (2002)
29. Pesic, M., van der Aalst, W.M.P.: A Declarative Approach for Flexible Business Processes Management. In: Eder, J., Dustdar, S. (eds.) BPM Workshops 2006. LNCS, vol. 4103, pp. 169-180. Springer, Heidelberg (2006)
30. Philippi, S., Hill, H.J.: Communication Support for Systems Engineering - Process Modelling and Animation with APRIL. The Journal of Systems and Software 80(8), 1305-1316 (2007)
31. Quaglini, S., Stefanelli, M., Cavallini, A., Micieli, G., Fassino, C., Mossa, C.: Guideline-based Careflow Systems. Artificial Intelligence in Medicine 20(1), 5-22 (2000)
32. Quaglini, S., Stefanelli, M., Lanzola, G., Caporusso, V., Panzarasa, S.: Flexible Guideline-based Patient Careflow Systems. Artificial Intelligence in Medicine 22(1), 65-80 (2001)
33. Reichert, M., Dadam, P.: ADEPTflex: Supporting Dynamic Changes of Workflow without Loosing Control. Journal of Intelligent Information Systems 10(2), 93-129 (1998)
34. Reijers, H.A., van der Aalst, W.M.P.: The Effectiveness of Workflow Management Systems: Predictions and Lessons Learned. International Journal of Information Management 56(5), 457-471 (2005)
35. Stefanelli, M.: Knowledge and Process Management in Health Care Organizations. Methods Inf. Med. 43, 525-535 (2004)
36. Trcka, N., van der Aalst, W.M.P., Sidorova, N.: Analyzing control-flow and dataflow in workflow processes in a unified way. Computer Science Report No. 08-31, Technische Universiteit Eindhoven, The Netherlands (2008)
37. Weske, M., Goesmann, T., Holten, R., Striemer, R.: Analysing, modelling and improving workflow application development processes. Software Process Improvement and Practice 6, 35-46 (2001)