Skip to main content
Springer Nature Link
Log in

From Requirements via Colored Workflow Nets to an Implementation in Several Workflow Systems

  • Chapter
Transactions on Petri Nets and Other Models of Concurrency III

Part of the book series: Lecture Notes in Computer Science ((TOPNOC,volume 5800))

  • 624 Accesses

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

References

  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)

    Chapter  Google Scholar 

  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)

    Google Scholar 

  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)

    Chapter  Google Scholar 

  4. van der Aalst, W.M.P., van Hee, K.M.: Workflow Management: Models, Methods, and Systems. MIT Press, Cambridge (2002)

    Google Scholar 

  5. van der Aalst, W.M.P., van Hee, K.M., ter Hofstede, A.H.M., Sidorova, N., Verbeek, 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)

    Google Scholar 

  6. van der Aalst, W.M.P., ter Hofstede, A.H.M.: YAWL: Yet Another Workflow Language. Information Systems 30(4), 245–275 (2005)

    Article  Google Scholar 

  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)

    Google Scholar 

  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)

    Chapter  Google Scholar 

  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)

    Article  Google Scholar 

  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)

    Google Scholar 

  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)

    Google Scholar 

  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)

    Google Scholar 

  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)

    Google Scholar 

  14. Graeber, S.: The impact of workflow management systems on the design of hospital information systems. In: AMIA 2001 Symposium Proceedings (2001)

    Google Scholar 

  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)

    Google Scholar 

  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)

    Google Scholar 

  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)

    Article  Google Scholar 

  18. Jensen, K., Christensen, S., Kristensen, L.M.: CPN Tools State Space Manual. Department of Computer Science, Univerisity of Aarhus (2006)

    Google Scholar 

  19. Jørgensen, J.B., Bossen, C.: Executable Use Cases: Requirements for a Pervasive Health Care System. IEEE Software 21, 34–41 (2004)

    Article  Google Scholar 

  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)

    Article  Google Scholar 

  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)

    Chapter  Google Scholar 

  22. Kobielus, J.G.: Workflow Strategies. IDG Books (1997)

    Google Scholar 

  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)

    Google Scholar 

  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)

    Google Scholar 

  25. Lenz, R., Reichert, M.: IT Support for Healthcare Processes - Premises, Challenges, Perspectives. DKE 61, 49–58 (2007)

    Google Scholar 

  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)

    Google Scholar 

  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)

    Google Scholar 

  28. Maruster, L., van der Aalst, W.M.P., Weijters, A.J.M.M., van den Bosch, A., Daelemans, W.: Automated Discovery of Workflow Models from Hospital Data. In: Dousson, C., Höppner, F., Quiniou, R. (eds.) Proceedings of the ECAI Workshop on Knowledge Discovery and Spatial Data, pp. 32–36 (2002)

    Google Scholar 

  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)

    Chapter  Google Scholar 

  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)

    Article  Google Scholar 

  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)

    Article  Google Scholar 

  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)

    Article  Google Scholar 

  33. Reichert, M., Dadam, P.: ADEPTflex: Supporting Dynamic Changes of Workflow without Loosing Control. Journal of Intelligent Information Systems 10(2), 93–129 (1998)

    Article  Google Scholar 

  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)

    Google Scholar 

  35. Stefanelli, M.: Knowledge and Process Management in Health Care Organizations. Methods Inf. Med. 43, 525–535 (2004)

    Google Scholar 

  36. Trcka, N., van der Aalst, W.M.P., Sidorova, N.: Analyzing control-flow and data-flow in workflow processes in a unified way. Computer Science Report No. 08-31, Technische Universiteit Eindhoven, The Netherlands (2008)

    Google Scholar 

  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)

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Information Systems, Eindhoven University of Technology, P.O. Box 513, NL-5600, MB, Eindhoven, The Netherlands

    Ronny S. Mans, Wil M. P. van der Aalst & Nick C. Russell

  2. Department of Quality Assurance and Process Innovation, Academic Medical Center, University of Amsterdam, Amsterdam, The Netherlands

    Ronny S. Mans, Piet J. M. Bakker & Arnold J. Moleman

  3. Department of Computer Science, University of Aarhus, IT-parken, Aabogade 34, DK-8200, Aarhus N, Denmark

    Kristian B. Lassen & Jens B. Jørgensen

Authors
  1. Ronny S. Mans
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Wil M. P. van der Aalst
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Nick C. Russell
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Piet J. M. Bakker
    View author publications

    You can also search for this author in PubMed Google Scholar

  5. Arnold J. Moleman
    View author publications

    You can also search for this author in PubMed Google Scholar

  6. Kristian B. Lassen
    View author publications

    You can also search for this author in PubMed Google Scholar

  7. Jens B. Jørgensen
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Faculty of Science, Department of Computer Science, University of Aarhus, IT-parken, Aabogade 34, 8200, Aarhus N, Denmark

    Kurt Jensen

  2. School of Electrical and Information Engineering, University of South Australia, Mawson Lakes Campus, 5095, Mawson Lakes, South Australia, Australia

    Jonathan Billington

  3. SCS, Newcastle University, NE1 7RU, Newcastle upon Tyne, UK

    Maciej Koutny

Rights and permissions

Reprints and permissions

Copyright information

© 2009 Springer-Verlag Berlin Heidelberg

About this chapter

Cite this chapter

Mans, R.S. et al. (2009). From Requirements via Colored Workflow Nets to an Implementation in Several Workflow Systems. In: Jensen, K., Billington, J., Koutny, M. (eds) Transactions on Petri Nets and Other Models of Concurrency III. Lecture Notes in Computer Science, vol 5800. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-04856-2_2

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-04856-2_2

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-04854-8

  • Online ISBN: 978-3-642-04856-2

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

pFad - Phonifier reborn

Pfad - The Proxy pFad of © 2024 Garber Painting. All rights reserved.

Note: This service is not intended for secure transactions such as banking, social media, email, or purchasing. Use at your own risk. We assume no liability whatsoever for broken pages.


Alternative Proxies:

Alternative Proxy

pFad Proxy

pFad v3 Proxy

pFad v4 Proxy