Schedule-aware workflow management systems

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

Volumn 6550 LNCS, Issue , 2010, Pages 121-143

  Mans, Ronny S ^a,c   Russell, Nick C ^b   Van Der Aalst, Wil M P ^a   Moleman, Arnold J ^c   Bakker, Piet J M ^c  

^a EINDHOVEN UNIVERSITY OF TECHNOLOGY   (Netherlands)

^b Carba Tec Pty Ltd   (Australia)

^c UNIVERSITY OF AMSTERDAM   (Netherlands)

Author keywords

healthcare; scheduling; software development; workflow management

Indexed keywords

FORMAL TECHNIQUES; MICROSOFT EXCHANGE SERVERS; NETHERLANDS; SCHEDULING SERVICE; SEAMLESS INTEGRATION; SIMULATION MODEL; SOFTWARE DEVELOPMENT; WORKFLOW MANAGEMENT SYSTEMS; WORKFLOW MANAGEMENTS; WORKFLOW TECHNOLOGY;

COMPUTER SIMULATION; GRAPH THEORY; HOSPITALS; MANAGEMENT; PETRI NETS; SOFTWARE DESIGN; WINDOWS OPERATING SYSTEM; WORK SIMPLIFICATION;

SCHEDULING;

EID: 78650865616     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-18222-8_6     Document Type: Conference Paper

References (30)

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)
2. van der Aalst, W.M.P., van Hee, K.M.: Workflow Management: Models, Methods, and Systems. MIT Press, Cambridge (2002)
3. van der Aalst, W.M.P., Kumar, A.: A Reference Model for Team-EnabledWorkflow Management Systems. Data and Knowledge Engineering 38(3), 335-363 (2001)
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) (Pubitemid 46216550)
5. Adams, M.J.: Facilitating Dynamic Flexibility and Exception Handling for Work- flows. PhD thesis, Faculty of Information Technology, Queensland University of Technology (2007)
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)
7. Bettini, C., Wang, X.S., Jajodia, S.: Temporal Reasoning in Workflow Systems. Distributed and Parallel Databases 11(3), 269-306 (2002)
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)
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)
10. Cayirli, T., Veral, E.: Outpatient Scheduling in Health Care: A Review of Literature. Product Operations Management 12(4), 519-549 (2003) (Pubitemid 39374569)
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)
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)
13. Microsoft Corporation. Microsoft Exchange Server 2007 Web Services Reference, http://msdn.microsoft.com/enus/library/aa566050EXCHG.80.aspx (accessed on 23-03-2010)
14. Microsoft Corporation. Microsoft Office 2003 Web Services Toolkit 2.01, http://www.microsoft.com/downloads/en/details.aspx?familyid=FA36018AE1CF- 48A3-9B35-169D819ECF18&displaylang=en (accessed on 23-03-2010)
15. CPN Group, Aarhus. Overview of projects documenting the large-scale practical use of CP-nets and their tools, http://cs.au.dk/cpnets/industrial-use/
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)
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)
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)
19. The Apache Software Foundation. Apache Axis2 User's Guide - Creating Clients, http://ws.apache.org/axis2/1-5/userguide-creatingclients.html (accessed on 23-03-2010)
20. Gupta, D., Denton, B.: Appointment scheduling in health care: Challenges and opportunities. IIE Transactions 40(9), 800-819 (2008)
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)
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)
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)
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)
25. Marjanovic, O., Orlowska, M.: On Modeling and Verification of Temporal Constraints in Production Workflows. Knowledge and Information Systems 1(2), 157-192 (1999)
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)
27. Senkul, P., Toroslu, I.H.: An Architecture for Workflow Scheduling under Resource Allocation constraints. Information Systems 30(5), 399-422 (2005) (Pubitemid 40304704)
28. Sterling, D., Spain, B., Mainer, M., Taylor, M., Upshall, H.: Inside Microsoft Exchange Server 2007 Web Services. Microsoft Press, Redmond (2007)
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)
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)