Schedule-Aware Workflow Management Systems

  • Ronny S. Mans
  • Nick C. Russell
  • Wil M. P. van der Aalst
  • Arnold J. Moleman
  • Piet J. M. Bakker
Part of the Lecture Notes in Computer Science book series (LNCS, volume 6550)


Contemporary workflow management systems offer work-items to users through specific work-lists. Users select the work-items they will perform without having a specific schedule in mind. However, in many environments work needs to be scheduled and performed at particular times. For example, in hospitals many work-items are linked to appointments, e.g., a doctor cannot perform surgery without reserving an operating theater and making sure that the patient is present. One of the problems when applying workflow technology in such domains is the lack of calendar-based scheduling support. In this paper, we present an approach that supports the seamless integration of unscheduled (flow) and scheduled (schedule) tasks. Using CPN Tools we have developed a specification and simulation model for schedule-aware workflow management systems. Based on this a system has been realized that uses YAWL, Microsoft Exchange Server 2007, Outlook, and a dedicated scheduling service. The approach is illustrated using a real-life case study at the AMC hospital in the Netherlands. In addition, we elaborate on the experiences obtained when developing and implementing a system of this scale using formal techniques.


workflow management healthcare software development scheduling 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    van der Aalst, W.M.P., Aldred, L., Dumas, M., ter Hofstede, A.H.M.: Design and Implementation of the YAWL System. In: Persson, A., Stirna, J. (eds.) CAiSE 2004. LNCS, vol. 3084, pp. 142–159. Springer, Heidelberg (2004)CrossRefGoogle Scholar
  2. 2.
    van der Aalst, W.M.P., van Hee, K.M.: Workflow Management: Models, Methods, and Systems. MIT Press, Cambridge (2002)Google Scholar
  3. 3.
    van der Aalst, W.M.P., Kumar, A.: A Reference Model for Team-Enabled Workflow Management Systems. Data and Knowledge Engineering 38(3), 335–363 (2001)CrossRefzbMATHGoogle Scholar
  4. 4.
    van der Aalst, W.M.P., Rosemann, M., Dumas, M.: Deadline-based Escalation in Process-Aware Information Systems. Decision Support Systems 43(2), 492–511 (2007)CrossRefGoogle Scholar
  5. 5.
    Adams, M.J.: Facilitating Dynamic Flexibility and Exception Handling for Workflows. PhD thesis, Faculty of Information Technology, Queensland University of Technology (2007)Google Scholar
  6. 6.
    Aldred, L., van der Aalst, W.M.P., Dumas, M., ter Hofstede, A.H.M.: On the notion of coupling in communication middleware. In: Meersman, R., Tari, Z. (eds.) OTM 2005. LNCS, vol. 3761, pp. 1015–1033. Springer, Heidelberg (2005)CrossRefGoogle Scholar
  7. 7.
    Bettini, C., Wang, X.S., Jajodia, S.: Temporal Reasoning in Workflow Systems. Distributed and Parallel Databases 11(3), 269–306 (2002)CrossRefzbMATHGoogle Scholar
  8. 8.
    Cao, J., Zhang, S., Zhang, X.: Team Work Oriented Flexible Workflow Management System. In: Meng, X., Su, J., Wang, Y. (eds.) WAIM 2002. LNCS, vol. 2419, pp. 189–200. Springer, Heidelberg (2002)CrossRefGoogle Scholar
  9. 9.
    Cardoen, B., Demeulemeester, E., Beliën, J.: Operating room planning and scheduling: A literature review. To appear in European Journal of Operational Research (2009)Google Scholar
  10. 10.
    Cayirli, T., Veral, E.: Outpatient Scheduling in Health Care: A Review of Literature. Product Operations Management 12(4), 519–549 (2003)CrossRefGoogle Scholar
  11. 11.
    Combi, C., Pozzi, G.: Architectures for a Temporal Workflow Management System. In: Haddad, H., Omicini, A., Wainwright, R.L., Liebrock, L.M. (eds.) Proc. of the 2004 ACM Symposium on Applied Computing, pp. 659–666 (2004)Google Scholar
  12. 12.
    Combi, C., Pozzi, G.: Task Scheduling for a Temporal Workflow Management System. In: Thirteenth International Symposium on Temporal Representation and Reasoning (TIME 2006), pp. 61–68 (2006)Google Scholar
  13. 13.
    Microsoft Corporation. Microsoft Exchange Server 2007 Web Services Reference, (accessed on 23-03-2010)
  14. 14.
    Microsoft Corporation. Microsoft Office 2003 Web Services Toolkit 2.01, (accessed on 23-03-2010)
  15. 15.
    CPN Group, Aarhus. Overview of projects documenting the large-scale practical use of CP-nets and their tools,
  16. 16.
    Cui, L., Wang, H.: Research on Cooperative Workflow Management Systems. In: Shen, W.-m., Lin, Z., Barthès, J.-P.A., Li, T.-Q. (eds.) CSCWD 2004. LNCS, vol. 3168, pp. 359–367. Springer, Heidelberg (2005)CrossRefGoogle Scholar
  17. 17.
    Eder, J., Panagos, E., Rabinovich, M.: Time Constraints in Workflow Systems. In: Jarke, M., Oberweis, A. (eds.) CAiSE 1999. LNCS, vol. 1626, pp. 286–300. Springer, Heidelberg (1999)CrossRefGoogle Scholar
  18. 18.
    Fernandes, J.M., Jørgensen, J.B., Tjell, S.: Requirements Engineering for Reactive Systems: Coloured Petri Nets for an Elevator Controller. In: Proceedings of the 13th Asia-Pacific Software Engineering Conference (APSEC 2007), pp. 294–301. IEEE Computer Society Press, Los Alamitos (2007)CrossRefGoogle Scholar
  19. 19.
    The Apache Software Foundation. Apache Axis2 User’s Guide - Creating Clients, (accessed on 23-03-2010)
  20. 20.
    Gupta, D., Denton, B.: Appointment scheduling in health care: Challenges and opportunities. IIE Transactions 40(9), 800–819 (2008)CrossRefGoogle Scholar
  21. 21.
    Jensen, K., Kristensen, L.M., Wells, L.: Coloured Petri Nets and CPN Tools for Modelling and Validation of Concurrent Systems. International Journal on Software Tools for Technology Transfer 9(3-4), 213–254 (2007)CrossRefGoogle Scholar
  22. 22.
    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. International Journal on Software Tools for Technology Transfer (STTT) 10(1), 15–28 (2007)CrossRefGoogle Scholar
  23. 23.
    Mans, R.S., van der Aalst, W.M.P., Russell, N.C., 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., Billington, J., Koutny, M. (eds.) Transactions on Petri Nets and Other Models of Concurrency III. LNCS, vol. 5800, pp. 25–49. Springer, Heidelberg (2009)CrossRefGoogle Scholar
  24. 24.
    Mans, R.S., van der Aalst, W.M.P., Russell, N.C., Bakker, P.J.M., Moleman, A.J.: Model-based Development and Testing of Process-Aware Information Systems. In: Alimohammad, A., Meixner, A., Popescu, M. (eds.) Proceedings of The First International Conference on Advances in System Testing and Validation Lifecycle (VALID 2009), pp. 129–134. IEEE Computer Society Press, Los Alamitos (2009)CrossRefGoogle Scholar
  25. 25.
    Marjanovic, O., Orlowska, M.: On Modeling and Verification of Temporal Constraints in Production Workflows. Knowledge and Information Systems 1(2), 157–192 (1999)CrossRefGoogle Scholar
  26. 26.
    Russell, N.C., van der Aalst, W.M.P., ter Hofstede, A.H.M.: Designing a Workflow System Using Coloured Petri Nets. In: Jensen, K., Billington, J., Koutny, M. (eds.) Transactions on Petri Nets and Other Models of Concurrency III. LNCS, vol. 5800, pp. 1–24. Springer, Heidelberg (2009)CrossRefGoogle Scholar
  27. 27.
    Senkul, P., Toroslu, I.H.: An Architecture for Workflow Scheduling under Resource Allocation constraints. Information Systems 30(5), 399–422 (2005)CrossRefGoogle Scholar
  28. 28.
    Sterling, D., Spain, B., Mainer, M., Taylor, M., Upshall, H.: Inside Microsoft Exchange Server 2007 Web Services. Microsoft Press, Redmond (2007)Google Scholar
  29. 29.
    Tramontina, G.B., Wainer, J., Ellis, C.A.: Applying Scheduling Techniques to Minimize the Number of Late Jobs in Workflow Systems. In: Proc. of the 2004 ACM Symposium on Applied Computing, pp. 1396–1403 (2004)Google Scholar
  30. 30.
    Vermeulen, I., La Poutré, H., Bohte, S.M., Elkhuizen, S.G., Bakker, P.J.: Decentralized Online Scheduling of Combination-Appointments in Hospitals. In: Proceedings of ICAPS-2008, the International Conference on Automated Planning and Scheduling, Sydney, Australia. AAAI Press, Menlo Park (2008)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2010

Authors and Affiliations

  • Ronny S. Mans
    • 1
    • 3
  • Nick C. Russell
    • 2
  • Wil M. P. van der Aalst
    • 1
  • Arnold J. Moleman
    • 3
  • Piet J. M. Bakker
    • 3
  1. 1.Department of Information SystemsEindhoven University of TechnologyEindhovenThe Netherlands
  2. 2.Carba-Tec Pty LtdWakerleyAustralia
  3. 3.Department of Quality Assurance and Process Innovation, Academic Medical CenterUniversity of AmsterdamAmsterdamThe Netherlands

Personalised recommendations