Workflow management: models, methods, and systems
Workflow management: models, methods, and systems
A reference model for team-enabled workflow management systems
Data & Knowledge Engineering
Temporal Reasoning in Workflow Systems
Distributed and Parallel Databases
Team Work Oriented Flexible Workflow Management System
WAIM '02 Proceedings of the Third International Conference on Advances in Web-Age Information Management
Time Constraints in Workflow Systems
CAiSE '99 Proceedings of the 11th International Conference on Advanced Information Systems Engineering
Architectures for a temporal workflow management system
Proceedings of the 2004 ACM symposium on Applied computing
Applying scheduling techniques to minimize the number of late jobs in workflow systems
Proceedings of the 2004 ACM symposium on Applied computing
An architecture for workflow scheduling under resource allocation constraints
Information Systems
Task Scheduling for a TemporalWorkflow Management System
TIME '06 Proceedings of the Thirteenth International Symposium on Temporal Representation and Reasoning
Deadline-based escalation in process-aware information systems
Decision Support Systems
Coloured Petri Nets and CPN Tools for modelling and validation of concurrent systems
International Journal on Software Tools for Technology Transfer (STTT)
Requirements Engineering for Reactive Systems: Coloured Petri Nets for an Elevator Controller
APSEC '07 Proceedings of the 14th Asia-Pacific Software Engineering Conference
International Journal on Software Tools for Technology Transfer (STTT)
Inside microsoft® exchange server 2007 web services
Inside microsoft® exchange server 2007 web services
Model-Based Development and Testing of Process-Aware Information Systems
VALID '09 Proceedings of the 2009 First International Conference on Advances in System Testing and Validation Lifecycle
Designing a Workflow System Using Coloured Petri Nets
Transactions on Petri Nets and Other Models of Concurrency III
From Requirements via Colored Workflow Nets to an Implementation in Several Workflow Systems
Transactions on Petri Nets and Other Models of Concurrency III
Research on cooperative workflow management systems
CSCWD'04 Proceedings of the 8th international conference on Computer Supported Cooperative Work in Design I
On the notion of coupling in communication middleware
OTM'05 Proceedings of the 2005 OTM Confederated international conference on On the Move to Meaningful Internet Systems: CoopIS, COA, and ODBASE - Volume Part II
| Hi-index | 0.00 |
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.