Workflow support for the healthcare domain

Healthcare organizations are currently facing increasing pressure to improve productivity and to reduce costs while at the same time the demand for hospital services is growing. In these organizations, many processes are executed which are highly variable, complex, and lengthy in duration. For these processes high demands exist with regard to the in-time scheduling of tasks and the efficient coordination of multiple people involved in these tasks. When diagnosing and treating a patient a doctor typically proceeds in a step-by-step way in order to decide about the next steps to be taken. In order to provide optimal care for patients we focus on the support of organizational healthcare processes by workflow technology. Organizational healthcare processes capture the organizational knowledge which is necessary to coordinate interoperating healthcare professionals and organizational units. Based on process definitions, Workflow Management Systems (WfMSs) are able to manage the flow of work in these processes such that individual workitems are done at the right time by the proper person resulting in a more efficient and effective process execution. In order to identify limitations to current WfMSs, a large case study has been performed. In this case study a representative healthcare process of the AMC hospital in Amsterdam, the Netherlands, is implemented in multiple WfMSs. This exercise revealed two important shortcomings. First, contemporary WfMSs offer workitems to users via specific worklists. At an arbitrary point in time, resources can select workitems from this list without having a schedule in mind. However, the effective execution of workitems is often tied to the availability of multiple scarce resources. This requires that an appointment-based approach is utilized when scheduling the workitems performed by these resources. For these appointments, enough time needs to be reserved in which they can be performed in order to prevent the need for rescheduling. However, current WfMSs do not provide support for the calendar-based scheduling of workitems such that they are performed by one or more resources and at a specified time. Therefore, in this thesis, we focus on augmenting existing WfMSs with calendar-based scheduling support. Second, the process of diagnosing or treating a patient typically consists of the execution of a number of smaller workflow fragments (e.g. lab tests or a visit to a doctor) that run in conjunction with each other. Although these workflow fragments execute independently from each other, a certain ``magnetic force'' exists between them. Such a collection of workflow fragments can best be characterized as separate workflows which are weakly-connected and that interact with each other. Additionally, these workflows need to be able to deal with different levels of granularity. In other words, we are dealing with weakly-connected interacting lightweight workflows. To date, contemporary WfMSs do not offer support for weakly-connected interacting lightweight workflows which can cope with different levels of granularity. Therefore, in this thesis, we focus on augmenting existing WfMSs with inter-workflow support. The two previously mentioned issues require the extension of existing WfMSs with different functionalities. Although WfMSs are widely used in practice and are large and complex systems which provide a wide range of functions, to date, there is no accepted development approach for the configuration of WfMSs and construction of specific functionality added to these systems. Similar, there has been minimal consideration for testing the capabilities of the developed WfMS and validating its operational performance. Therefore, in this thesis, we focus on a development approach in which first a conceptual model is defined which is a complete and formal (i.e. executable) specification of the WfMS to be developed. Afterwards, the same model is used for the development, testing, and validation of the operational performance of the new WfMS. The work presented in the thesis is demonstrated by a concrete application of the proposed development approach. A detailed conceptual model has been developed describing the behavior of a WfMS augmented with both calendar-based scheduling support and inter-workflow support. This conceptual model serves as basis for the subsequent implementation of the system. Furthermore, for the WfMS extended with calendar-based scheduling support, the conceptual model has also been used for investigating the reliability of the implemented system and to investigate its operational performance by means of computer simulation.

[1]  Alexander L. Wolf,et al.  Discovering models of software processes from event-based data , 1998, TSEM.

[2]  Samson W. Tu,et al.  A flexible approach to guideline modeling , 1999, AMIA.

[3]  W.M.P. van der Aalst,et al.  Towards a taxonomy of process flexibility (extended version) , 2007 .

[4]  Wil M. P. van der Aalst,et al.  Exterminating the Dynamic Change Bug: A Concrete Approach to Support Workflow Change , 2001, Inf. Syst. Frontiers.

[5]  Walter Daelemans,et al.  Automatic discovery of workflow models from hospital data , 2001 .

[6]  黄强,et al.  Microsoft Exchange Server , 1996 .

[7]  Sushil Jajodia,et al.  Temporal Reasoning in Workflow Systems , 2002, Distributed and Parallel Databases.

[8]  Wil M. P. van der Aalst,et al.  DECLARE: Full Support for Loosely-Structured Processes , 2007, 11th IEEE International Enterprise Distributed Object Computing Conference (EDOC 2007).

[9]  Wil M. P. van der Aalst,et al.  An Analysis of Windows Workflow's Control-Flow Expressiveness , 2009, 2009 Seventh IEEE European Conference on Web Services.

[10]  J. D. Johannes,et al.  Systems Simulation: The Art and Science , 1975, IEEE Transactions on Systems, Man, and Cybernetics.

[11]  van der Wmp Wil Aalst,et al.  Workflow resource patterns , 2004 .

[12]  Wil M. P. van der Aalst,et al.  Time prediction based on process mining , 2011, Inf. Syst..

[13]  Omolola Ogunyemi,et al.  GLIF3: a representation format for sharable computer-interpretable clinical practice guidelines , 2004, J. Biomed. Informatics.

[14]  Jacques Wainer,et al.  WorkFlow systems: a few definitions and a few suggestions , 1995, COCS '95.

[15]  Martin Fowler,et al.  Analysis patterns - reusable object models , 1996, Addison-Wesley series in object-oriented software engineering.

[16]  Akhil Kumar,et al.  A reference model for team-enabled workflow management systems , 2001, Data Knowl. Eng..

[17]  Bobby Woolf,et al.  Enterprise Integration Patterns , 2003 .

[18]  Giorgio De Michelis,et al.  Improving Flexibility of Workflow Management Systems , 2000, Business Process Management.

[19]  T. Wendler,et al.  Workflow management - integration technology for efficient radiology , 2001 .

[20]  Wolfgang Reisig,et al.  Application and Theory of Petri Nets , 1982, Informatik-Fachberichte.

[21]  John Fox,et al.  Petri Nets as a Formalism for Comparing Expressiveness of Workflow-Based Clinical Guideline Languages , 2008, Business Process Management Workshops.

[22]  Michael Westergaard,et al.  Two Interfaces to the CPN Tools Simulator , 2008 .

[23]  Implementing a personalized portal combined with workflow management tools used in diabetes care. , 2003, AMIA ... Annual Symposium proceedings. AMIA Symposium.

[24]  Boudewijn F. van Dongen,et al.  Cycle Time Prediction: When Will This Case Finally Be Finished? , 2008, OTM Conferences.

[25]  Richard N. Taylor,et al.  Techniques for Supporting Dynamic and Adaptive Workflow , 2000, Computer Supported Cooperative Work (CSCW).

[26]  Rina Dechter,et al.  Temporal Constraint Networks , 1989, Artif. Intell..

[27]  P D Clayton,et al.  OzCare: a workflow automation system for care plans. , 1996, Proceedings : a conference of the American Medical Informatics Association. AMIA Fall Symposium.

[28]  Stephen T. C. Wong,et al.  Workflow-enabled distributed component-based information architecture for digital medical imaging enterprises , 2003, IEEE Transactions on Information Technology in Biomedicine.

[29]  Andreas Hoffmann,et al.  Model-Based Testing , 2012, IEEE Software.

[30]  Claus Bossen,et al.  Requirements engineering for a pervasive health care system , 2003, Proceedings. 11th IEEE International Requirements Engineering Conference, 2003..

[31]  Johann Eder,et al.  Workflow recovery , 1996, Proceedings First IFCIS International Conference on Cooperative Information Systems.

[32]  Wil M. P. van der Aalst,et al.  DecSerFlow: Towards a Truly Declarative Service Flow Language , 2006, WS-FM.

[33]  Luciano Baresi,et al.  WIDE workflow development methodology , 1999, WACC.

[34]  J. Sadock Speech acts , 2007 .

[35]  Bernhard Westfechtel,et al.  DYNAMITE: DYNAMIc Task nEts for software process management , 1996, Proceedings of IEEE 18th International Conference on Software Engineering.

[36]  Wil M. P. van der Aalst,et al.  Interacting agents through a web-based health serviceflow management system , 2007, J. Biomed. Informatics.

[37]  Boudewijn F. van Dongen,et al.  Multi-phase Process Mining: Building Instance Graphs , 2004, ER.

[38]  Kees M. van Hee,et al.  Soundness and Separability of Workflow Nets in the Stepwise Refinement Approach , 2003, ICATPN.

[39]  Johann Eder,et al.  Personal Schedules for Workflow Systems , 2003, Business Process Management.

[40]  Markus Helfert,et al.  Healthcare performance indicators - Preview of frameworks and an approach for healthcare process-development , 2005 .

[41]  Monique W. M. Jaspers,et al.  Proclets in healthcare , 2010, J. Biomed. Informatics.

[42]  Wil M. P. van der Aalst,et al.  Worklets: A Service-Oriented Implementation of Dynamic Flexibility in Workflows , 2006, OTM Conferences.

[43]  Hongyan Ma,et al.  Process-aware information systems: Bridging people and software through process technology , 2007, J. Assoc. Inf. Sci. Technol..

[44]  Thomas Herrmann,et al.  Vagueness in models of socio-technical systems , 1999, Behav. Inf. Technol..

[45]  Wil M. P. van der Aalst,et al.  Advanced Workflow Patterns , 2000, CoopIS.

[46]  Michael Schrefl,et al.  A Two Tier, Goal-Driven Workflow Model for the Healthcare Domain , 2003, ICEIS.

[47]  Arie Hasman,et al.  Enterprise resource planning for hospitals , 2004, Int. J. Medical Informatics.

[48]  Christian Heinlein,et al.  Synchronization of Concurrent Workflows Using Interaction Expressions and Coordination Protocols , 2002, OTM.

[49]  van der Wmp Wil Aalst,et al.  Workflow control-flow patterns : a revised view , 2006 .

[50]  Wil M. P. van der Aalst,et al.  Discovering simulation models , 2009, Inf. Syst..

[51]  Boudewijn F. van Dongen,et al.  Process mining: a two-step approach to balance between underfitting and overfitting , 2008, Software & Systems Modeling.

[52]  Michael D. Zisman,et al.  Representation, specification and automation of office procedures , 1977 .

[53]  Manfred Reichert,et al.  The ADEPT project: a decade of research and development for robust and flexible process support , 2009, Computer Science - Research and Development.

[54]  Wil M. P. van der Aalst,et al.  Rediscovering workflow models from event-based data using little thumb , 2003, Integr. Comput. Aided Eng..

[55]  Ralph Johnson,et al.  design patterns elements of reusable object oriented software , 2019 .

[56]  José Manuel Colom,et al.  The Resource Allocation Problem in Flexible Manufacturing Systems , 2003, ICATPN.

[57]  Fabio Casati,et al.  Business Process Intelligence , 2018, Encyclopedia of Social Network Analysis and Mining. 2nd Ed..

[58]  Boudewijn F. van Dongen,et al.  Process Discovery using Integer Linear Programming , 2009, Fundam. Informaticae.

[59]  Giordano Lanzola,et al.  Flexible guideline-based patient careflow systems , 2001, Artif. Intell. Medicine.

[60]  Paolo Terenziani,et al.  A Hybrid Multi-layered Approach to the Integration of Workflow and Clinical Guideline Approaches , 2009, Business Process Management Workshops.

[61]  Boudewijn F. van Dongen,et al.  Workflow mining: A survey of issues and approaches , 2003, Data Knowl. Eng..

[62]  Jose Antonio Hernandez,et al.  The Sap R/3 Handbook , 1997 .

[63]  Ruth Breu,et al.  CBRFlow: Enabling Adaptive Workflow Management Through Conversational Case-Based Reasoning , 2004, ECCBR.

[64]  Emre A. Veral,et al.  OUTPATIENT SCHEDULING IN HEALTH CARE: A REVIEW OF LITERATURE , 2003 .

[65]  Dimitrios Gunopulos,et al.  Mining Process Models from Workflow Logs , 1998, EDBT.

[66]  Wil M. P. van der Aalst,et al.  Inheritance of workflows: an approach to tackling problems related to change , 2002 .

[67]  Gustavo Alonso,et al.  Advanced transaction models in workflow contexts , 1996, Proceedings of the Twelfth International Conference on Data Engineering.

[68]  Hajo A. Reijers,et al.  Supporting the BPM lifecycle with FileNet , 2006 .

[69]  Hajo A. Reijers,et al.  Discovering Social Networks from Event Logs , 2005, Computer Supported Cooperative Work (CSCW).

[70]  van der Wmp Wil Aalst,et al.  Workflow data patterns , 2004 .

[71]  Wil M. P. van der Aalst,et al.  Designing a Workflow System Using Coloured Petri Nets , 2009, Trans. Petri Nets Other Model. Concurr..

[73]  Sheldon Howard Jacobson,et al.  Application of discrete-event simulation in health care clinics: A survey , 1999, J. Oper. Res. Soc..

[74]  Wil M. P. van der Aalst,et al.  Business Process Management Demystified: A Tutorial on Models, Systems and Standards for Workflow Management , 2003, Lectures on Concurrency and Petri Nets.

[75]  Wil M. P. van der Aalst,et al.  Let's Go All the Way: From Requirements Via Colored Workflow Nets to a BPEL Implementation of a New Bank System , 2005, OTM Conferences.

[76]  Wil M. P. van der Aalst,et al.  Workflow mining: discovering process models from event logs , 2004, IEEE Transactions on Knowledge and Data Engineering.

[77]  Wil M. P. van der Aalst,et al.  Verification of Workflow Nets , 1997, ICATPN.

[78]  Mor Peleg,et al.  A pattern-based analysis of clinical computer-interpretable guideline modelling languages , 2006 .

[79]  W. W. Royce,et al.  Managing the development of large software systems: concepts and techniques , 1987, ICSE '87.

[80]  G D Laet,et al.  Workflow in nuclear medicine. , 2001, Computerized medical imaging and graphics : the official journal of the Computerized Medical Imaging Society.

[81]  Philip Powell,et al.  Information Systems: A Management Perspective , 1992 .

[82]  Wil M. P. van der Aalst,et al.  Discovering colored Petri nets from event logs , 2007, International Journal on Software Tools for Technology Transfer.

[83]  Wil M. P. van der Aalst,et al.  Declarative and Procedural Approaches for Modelling Clinical Guidelines: Addressing Flexibility Issues , 2007, Business Process Management Workshops.

[84]  Stephen D. Roberts,et al.  Applications of computer simulation in health care , 1978, WSC '78.

[85]  Manfred Reichert,et al.  Workflow Time Patterns for Process-Aware Information Systems , 2010, BMMDS/EMMSAD.

[86]  John Noll Flexible Process Enactment Using Low-Fidelity Models , 2003 .

[87]  Kees M. van Hee,et al.  Workflow Management: Models, Methods, and Systems , 2002, Cooperative information systems.

[88]  Remo Pareschi,et al.  Generalized process structure grammars GPSG for flexible representations of work , 1996, CSCW '96.

[89]  Peter Dadam,et al.  Adaptive process management with ADEPT2 , 2005, 21st International Conference on Data Engineering (ICDE'05).

[90]  Zhengxing Huang,et al.  Radiology information system: a workflow-based approach , 2009, International Journal of Computer Assisted Radiology and Surgery.

[91]  Daniel S. Weld An Introduction to Least Commitment Planning , 1994, AI Mag..

[92]  Johann Eder,et al.  Time Constraints in Workflow Systems , 1999, CAiSE.

[93]  Mark J Halsted,et al.  Design, implementation, and assessment of a radiology workflow management system. , 2008, AJR. American journal of roentgenology.

[94]  Wil M. P. van der Aalst,et al.  Pattern-Based Analysis of the Control-Flow Perspective of UML Activity Diagrams , 2005, ER.

[95]  Erhard Rahm,et al.  Adaptive Guideline-based Treatment Workflows with AdaptFlow , 2004, CGP.

[96]  Wil M. P. van der Aalst,et al.  Deadline-based escalation in process-aware information systems , 2007, Decis. Support Syst..

[97]  Andreas Geppert,et al.  Dynamic workflow schema evolution based on workflow type versioning and workflow migration , 1999, Proceedings Fourth IFCIS International Conference on Cooperative Information Systems. CoopIS 99 (Cat. No.PR00384).

[98]  Manuel Silva Suárez,et al.  Petri nets and flexible manufacturing , 1988, European Workshop on Applications and Theory in Petri Nets.

[99]  Hajo A. Reijers,et al.  The effectiveness of workflow management systems: Predictions and lessons learned , 2005, Int. J. Inf. Manag..

[100]  Amit Sheth From contemporary workflow process automation to adaptive and dynamic work activity coordination and collaboration , 1997, SIGG.

[101]  Wil M. P. van der Aalst,et al.  Conformance checking of processes based on monitoring real behavior , 2008, Inf. Syst..

[102]  Terry Winograd,et al.  Understanding computers and cognition - a new foundation for design , 1987 .

[103]  Dickson K. W. Chiu,et al.  ADOME-WFMS: Towards Cooperative Handling of Workflow Exceptions , 2000, Advances in Exception Handling Techniques.

[104]  Constantine D. Spyropoulos,et al.  AI planning and scheduling in the medical hospital environment , 2000, Artif. Intell. Medicine.

[105]  Manfred Reichert,et al.  Data-Driven Modeling and Coordination of Large Process Structures , 2007, OTM Conferences.

[106]  Wil M. P. van der Aalst,et al.  Design and Implementation of the YAWL System , 2004, CAiSE.

[107]  James G. Kobielus Workflow Strategies , 1997 .

[108]  Manfred Broy,et al.  Model-Based Testing of Reactive Systems, Advanced Lectures , 2005 .

[109]  Philippe Kruchten,et al.  The 4+1 View Model of Architecture , 1995, IEEE Softw..

[110]  Lars G Fischer Workflow Handbook 2002, Workflow Management Coalition , 2002 .

[111]  Santhosh Kumaran,et al.  Artifact-centered operational modeling: Lessons from customer engagements , 2007, IBM Syst. J..

[112]  Meg Murray,et al.  Strategies for the successful implementation of workflow systems within healthcare: a cross case comparison , 2003, 36th Annual Hawaii International Conference on System Sciences, 2003. Proceedings of the.

[113]  Kristen Nygaard,et al.  SIMULA: an ALGOL-based simulation language , 1966, CACM.

[114]  Ekkart Kindler,et al.  On the Semantics of EPCs: A Framework for Resolving the Vicious Circle , 2004, Business Process Management.

[115]  Byoung Kyu Choi,et al.  DEVS Modeling Of Run-Time Workflow Simulation And Its Application , 2008 .

[116]  Clarence A. Ellis,et al.  A Workflow Change Is a Workflow , 2000, Business Process Management.

[117]  Wil M. P. van der Aalst,et al.  Towards comprehensive support for organizational mining , 2008, Decis. Support Syst..

[118]  Lars Michael Kristensen,et al.  Coloured Petri Nets and CPN Tools for modelling and validation of concurrent systems , 2007, International Journal on Software Tools for Technology Transfer.

[119]  Fabio Casati,et al.  Specification and implementation of exceptions in workflow management systems , 1999, TODS.

[120]  Keith D Swenson,et al.  Workflow Technology: Tradeoffs for Business Process Re-engineering , 2004 .

[121]  Hyun-Chul Kim,et al.  Development and Impact of Radio-frequency Identification-Based Workflow Management in Health Promotion Center: Using Interrupted Time-Series Analysis , 2010, IEEE Transactions on Information Technology in Biomedicine.

[122]  Wil M.P. van der Aalst,et al.  Patterns for process-aware information systems : an approach based on colored Petri nets , 2004 .

[123]  Wil M. P. van der Aalst,et al.  On the Notion of Coupling in Communication Middleware , 2005, OTM Conferences.

[124]  M. Stefanelli,et al.  Workflow management systems for guideline implementation , 2006, Neurological Sciences.

[125]  M Loeffler,et al.  AdaptFlow: Protocol-based Medical Treatment Using Adaptive Workflows , 2005, Methods of Information in Medicine.

[126]  Martin McKee,et al.  Hospitals in a changing Europe , 2002 .

[127]  Anindya Datta,et al.  Automating the Discovery of AS-IS Business Process Models: Probabilistic and Algorithmic Approaches , 1998, Inf. Syst. Res..

[128]  Amit P. Sheth,et al.  An overview of workflow management: From process modeling to workflow automation infrastructure , 1995, Distributed and Parallel Databases.

[129]  João M. Fernandes,et al.  Requirements Engineering for Reactive Systems: Coloured Petri Nets for an Elevator Controller , 2007, 14th Asia-Pacific Software Engineering Conference (APSEC'07).

[130]  Stefanie Rinderle-Ma,et al.  Change Patterns and Change Support Features in Process-Aware Information Systems , 2007, Seminal Contributions to Information Systems Engineering.

[131]  Christoph Bussler,et al.  Workflow Management: Modeling Concepts, Architecture and Implementation , 1996 .

[132]  Frank Leymann,et al.  Workflow-Based Applications , 1997, IBM Syst. J..

[133]  Wil M. P. van der Aalst,et al.  From Requirements via Colored Workflow Nets to an Implementation in Several Workflow Systems , 2009, Trans. Petri Nets Other Model. Concurr..

[134]  R. A. van der Toorn,et al.  Component-based software design with Petri nets : an approach based on inheritance of behavior , 2004 .

[135]  Mathias Weske,et al.  Analysing, modelling and improving workflow application development processes , 2001, Softw. Process. Improv. Pract..

[136]  Song,et al.  Supporting proces mining by showing events at a glance , 2007 .

[137]  P. R. Balasubramanian,et al.  Adding workflow analysis techniques to the IS development toolkit , 1998, Proceedings of the Thirty-First Hawaii International Conference on System Sciences.

[138]  Javier Martínez,et al.  A Petri net based deadlock prevention policy for flexible manufacturing systems , 1995, IEEE Trans. Robotics Autom..

[139]  Mathias Weske,et al.  Business Process Management: Concepts, Languages, Architectures , 2007 .

[140]  Maria E. Orlowska,et al.  When workflows will not deliver: The case of contradicting work practice , 2005 .

[141]  Boudewijn F. van Dongen,et al.  ProM 4.0: Comprehensive Support for Real Process Analysis , 2007, ICATPN.

[142]  Mathias Weske,et al.  Investigations on Soundness Regarding Lazy Activities , 2006, Business Process Management.

[143]  Mathias Weske,et al.  Flexible modeling and execution of workflow activities , 1998, Proceedings of the Thirty-First Hawaii International Conference on System Sciences.

[144]  John Fox,et al.  Application of Information Technology: The Syntax and Semantics of the PROforma Guideline Modeling Language , 2003, J. Am. Medical Informatics Assoc..

[145]  Alessio Bottrighi,et al.  Towards a comprehensive treatment of repetitions, periodicity and temporal constraints in clinical guidelines , 2006, Artif. Intell. Medicine.

[146]  Kurt Jensen,et al.  Fourth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools , 2002 .

[147]  Linda Rising Design Patterns in Communication Software , 2000 .

[148]  Johann Eder,et al.  Time Management in Workflow Systems , 1999, BIS.

[149]  Axel Martens,et al.  Analyzing Web Service Based Business Processes , 2005, FASE.

[150]  Jan Tretmans,et al.  Model Based Testing with Labelled Transition Systems , 2008, Formal Methods and Testing.

[151]  Juliane Dehnert,et al.  Relaxed Soundness of Business Processes , 2001, CAiSE.

[152]  Wil M. P. van der Aalst,et al.  On the suitability of UML 2.0 activity diagrams for business process modelling , 2006, APCCM.

[153]  J. Banks,et al.  Discrete-Event System Simulation , 1995 .

[154]  Nick Booth,et al.  Using scenarios in chronic disease management guidelines for primary care , 2000, AMIA.

[155]  Jaehyoun Kim,et al.  A Design Methodology for Workflow System Development , 2002, DNIS.

[156]  Peter Dadam,et al.  Towards Truly Flexible and Adaptive Process-Aware Information Systems , 2008, UNISCON.

[157]  John Eng,et al.  Internet-based radiology order-entry, reporting, and workflow management system for coordinating urgent study requests during off-hours. , 2005, AJR. American journal of roentgenology.

[158]  Shensheng Zhang,et al.  Team Work Oriented Flexible Workflow Management System , 2002, WAIM.

[159]  Anil Nigam,et al.  Business artifacts: An approach to operational specification , 2003, IBM Syst. J..

[160]  Wil M. P. van der Aalst,et al.  A Generic Import Framework for Process Event Logs , 2006, Business Process Management Workshops.

[161]  Wil M. P. van der Aalst,et al.  Generic Workflow Models: How to Handle Dynamic Change and Capture Management Information? , 1999, CoopIS.

[162]  Wil M. P. van der Aalst,et al.  Workflow Patterns , 2003, Distributed and Parallel Databases.

[163]  Gabriel Juhás,et al.  Instance Deadlock: A Mystery behind Frozen Programs , 2010, Petri Nets.

[164]  Wil M. P. van der Aalst,et al.  The Application of Petri Nets to Workflow Management , 1998, J. Circuits Syst. Comput..

[165]  Wil M. P. van der Aalst,et al.  Patterns of Process Modeling , 2005, Process-Aware Information Systems.

[166]  van der Wmp Wil Aalst,et al.  An iterative algorithm for applying the theory of regions in process mining , 2007 .

[167]  Wil M. P. van der Aalst,et al.  Flexibility Schemes for Workflow Management Systems , 2008, Business Process Management Workshops.

[168]  Manuel Silva Suárez,et al.  Petri Nets for the Design and Operation of Manufacturing Systems , 1997, Eur. J. Control.

[169]  Nadine Gottschalk Design and Control of Workflow Processes: Business Process Management for the Service Industry , 2003, Lecture Notes in Computer Science.

[170]  Dragos Manolescu,et al.  Production workflow: concepts and techniques , 2001, SOEN.

[171]  Wil M. P. van der Aalst,et al.  Beyond workflow management: product-driven case handling , 2001, GROUP.

[172]  Jiangbo Dang,et al.  An ontological knowledge framework for adaptive medical workflow , 2008, J. Biomed. Informatics.

[173]  Wil M. P. van der Aalst,et al.  Bridging The Gap Between Business Models And Workflow Specifications , 2004, Int. J. Cooperative Inf. Syst..

[174]  Silvana Quaglini,et al.  NEW-GUIDE: a new approach to representing clinical practice guidelines , 2002 .

[175]  Wil M. P. van der Aalst Process mining , 2012, CACM.

[176]  Ilia Bider,et al.  Defining business process flexibility with the help of invariants , 2007, Softw. Process. Improv. Pract..

[177]  Wil M. P. van der Aalst,et al.  Fuzzy Mining - Adaptive Process Simplification Based on Multi-perspective Metrics , 2007, BPM.

[178]  Santosh K. Shrivastava,et al.  Flexible workflow management in the OPENflow system , 2001, Proceedings Fifth IEEE International Enterprise Distributed Object Computing Conference.

[179]  Activité ad‐hoc Types de tâches Introduction to BPMN , 2004 .

[180]  Wil M. P. van der Aalst,et al.  Schedule-Aware Workflow Management Systems , 2010, Trans. Petri Nets Other Model. Concurr..

[181]  van der Wmp Wil Aalst,et al.  Dealing with workflow change: identification of issues and solutions , 2000 .

[182]  Kees M. van Hee,et al.  Resource-Constrained Workflow Nets , 2006, Fundam. Informaticae.

[183]  D. K. Hammer,et al.  TREX, workflow TRansaction by means of EXceptions , 1998 .

[184]  Marlon Dumas,et al.  UML Activity Diagrams as a Workflow Specification Language , 2001, UML.

[185]  M Stefanelli,et al.  Knowledge and Process Management in Health Care Organizations , 2004, Methods of Information in Medicine.

[186]  Boudewijn F. van Dongen,et al.  The ProM Framework: A New Era in Process Mining Tool Support , 2005, ICATPN.

[187]  Mathias Weske,et al.  Case handling: a new paradigm for business process support , 2005, Data Knowl. Eng..

[188]  Gustavo Alonso,et al.  Flexible exception handling in the OPERA process support system , 1998, Proceedings. 18th International Conference on Distributed Computing Systems (Cat. No.98CB36183).

[189]  Wil M. P. van der Aalst,et al.  Facilitating Flexibility and Dynamic Exception Handling in Workflows through Worklets , 2005, CAiSE Short Paper Proceedings.

[190]  Manfred Reichert,et al.  A New Paradigm for the Enactment and Dynamic Adaptation of Data-Driven Process Structures , 2008, CAiSE.

[191]  Johann Eder,et al.  The Workflow Activity Model WAMO , 1995, CoopIS.

[192]  Boudewijn F. van Dongen,et al.  A Meta Model for Process Mining Data , 2005, EMOI-INTEROP.

[193]  Manfred Reichert,et al.  Clinical Workflows - The Killer Application for Process-oriented Information Systems? , 2000 .

[194]  Wil M. P. van der Aalst,et al.  Workflow Data Patterns: Identification, Representation and Tool Support , 2005, ER.

[195]  Wil M. P. van der Aalst,et al.  On the Suitability of BPMN for Business Process Modelling , 2006, Business Process Management.

[196]  Anatol W. Holt Coordination technology and Petri nets , 1985, Applications and Theory in Petri Nets.

[197]  Mh Monique Jansen-Vullers,et al.  Business process simulation - tool survey , 2006 .

[198]  Diane M. Strong,et al.  Exceptions and exception handling in computerized information processes , 1995, TOIS.

[199]  Grzegorz Rozenberg,et al.  Dynamic change within workflow systems , 1995, COCS '95.

[200]  David E. Smith,et al.  Bridging the gap between planning and scheduling , 2000, The Knowledge Engineering Review.

[201]  Michael Rosemann,et al.  Handbook on Business Process Management 1: Introduction, Methods, and Information Systems , 2010, BPM 2010.

[202]  Thomas Wendler,et al.  Workflow Management Systems—A powerful means to integrate radiologic processes and application systems , 2009, Journal of Digital Imaging.

[203]  W.M.P. van der Aalst,et al.  Towards a reference model for work ditstribution in workflow management systems , 2005 .

[204]  Jacques Wainer,et al.  Applying scheduling techniques to minimize the number of late jobs in workflow systems , 2004, SAC '04.

[205]  Fabio Casati,et al.  Workflow Evolution , 1996, ER.

[206]  M. Poulymenopoulou,et al.  Specifying Workflow Process Requirements for an Emergency Medical Service , 2003, Journal of Medical Systems.

[207]  Manfred Reichert,et al.  Adeptflex—Supporting Dynamic Changes of Workflows Without Losing Control , 1998, Journal of Intelligent Information Systems.

[208]  N Nelson Maimonides Medical Center uses workflow management system. , 1989, Computers in healthcare.

[209]  Erik Perjons,et al.  Pattern Based Analysis of Eai Languages - The Case of the Business Modeling Language , 2003, ICEIS.

[210]  Kees M. van Hee,et al.  Soundness of Resource-Constrained Workflow Nets , 2005, ICATPN.

[211]  Moe Thandar Wynn,et al.  Soundness of Workflow Nets with Reset Arcs , 2009, Trans. Petri Nets Other Model. Concurr..

[212]  Barry W. Boehm,et al.  A spiral model of software development and enhancement , 1986, Computer.

[213]  Vera Künzle,et al.  Towards Object-Aware Process Management Systems: Issues, Challenges, Benefits , 2009, BMMDS/EMMSAD.

[214]  João M. Fernandes,et al.  Formal requirements modelling with executable use cases and coloured Petri nets , 2009, Innovations in Systems and Software Engineering.

[215]  Gustavo Alonso,et al.  Exception Handling in Workflow Management Systems , 2000, IEEE Trans. Software Eng..

[216]  Lars Michael Kristensen,et al.  Comms/CPN: A Communication Infrastructure for External Communication with Design/CPN , 2001 .

[217]  John Fox,et al.  Disseminating medical knowledge: the PROforma approach , 1998, Artif. Intell. Medicine.

[218]  Erik Demeulemeester,et al.  Operating room planning and scheduling: A literature review , 2010, Eur. J. Oper. Res..

[219]  Stefanie Rinderle-Ma,et al.  On the Formal Semantics of Change Patterns in Process-Aware Information Systems , 2008, ER.

[220]  Stefanie Rinderle-Ma,et al.  Change patterns and change support features - Enhancing flexibility in process-aware information systems , 2008, Data Knowl. Eng..

[221]  Maria E. Orlowska,et al.  Managing Change and Time in Dynamic Workflow Processes , 2000, Int. J. Cooperative Inf. Syst..

[222]  Wil M. P. van der Aalst,et al.  Workflow Support Using Proclets: Divide, Interact, and Conquer , 2009, IEEE Data Eng. Bull..

[223]  Naranker Dulay,et al.  Consent-Based Workflows for Healthcare Management , 2008, 2008 IEEE Workshop on Policies for Distributed Systems and Networks.

[224]  Joachim Herbst,et al.  A Machine Learning Approach to Workflow Management , 2000, ECML.

[225]  Boudewijn F. van Dongen,et al.  Business process mining: An industrial application , 2007, Inf. Syst..

[226]  Manfred Reichert,et al.  IT support for healthcare processes - premises, challenges, perspectives , 2007, Data Knowl. Eng..

[227]  Wil M. P. van der Aalst,et al.  Workflow Resource Patterns: Identification, Representation and Tool Support , 2005, CAiSE.

[228]  Michael J. Adams,et al.  Facilitating dynamic flexibility and exception handling for workflows , 2007 .

[229]  Gregor Joeris Defining Flexible Workflow Execution Behaviors , 1999, Enterprise-wide and Cross-enterprise Workflow Management.

[230]  Silvana Quaglini,et al.  Workflow Technology to Enrich a Computerized Clinical Chart with Decision Support Facilities , 2006, AMIA.

[231]  Wil M. P. van der Aalst,et al.  From task descriptions via colored Petri nets towards an implementation of a new electronic patient record workflow system , 2007, International Journal on Software Tools for Technology Transfer.

[232]  Stefan Edelkamp,et al.  Automated Planning: Theory and Practice , 2007, Künstliche Intell..

[233]  Erich Ortner Ein Multipfad-Vorgehensmodell für die Entwicklung von Informationssystemen - dargestellt am Beispiel von Workflow-Management-Anwendungen , 1998, Wirtsch..

[234]  Rainer Röhrig,et al.  Automating Standard Operating Procedures in Intensive Care , 2007, CAiSE.

[235]  Michael Westergaard,et al.  The Access/CPN Framework: A Tool for Interacting with the CPN Tools Simulator , 2009, Petri Nets.

[236]  Jens Bæk Jørgensen,et al.  Coloured Petri nets and graphical animation: a proposal for a means to address problem frame concerns , 2008, Expert Syst. J. Knowl. Eng..

[237]  Tony Andrews Business Process Execution Language for Web Services Version 1.1 , 2003 .

[238]  Wil M. P. van der Aalst,et al.  Dynamic, Extensible and Context-Aware Exception Handling for Workflows , 2007, OTM Conferences.

[239]  Shazia Wasim Sadiq,et al.  On Building Workflow Models for Flexible Processes , 2002, Australasian Database Conference.

[240]  Michael Schrefl,et al.  Activity Crediting in Distributed Workflow Environments , 2004, ICEIS.

[241]  Jacques Wainer,et al.  Constraint-Based Flexible Workflows , 2003, CRIWG.

[242]  Wil M. P. van der Aalst,et al.  Process Flexibility: A Survey of Contemporary Approaches , 2008, CIAO! / EOMAS.

[243]  Michael Schrefl,et al.  Goal-focused self-modifying workflow in the healthcare domain , 2004, 37th Annual Hawaii International Conference on System Sciences, 2004. Proceedings of the.

[244]  Claus Bossen,et al.  Executable use cases: requirements for a pervasive health care system , 2004, IEEE Software.

[245]  Menashe Benjamin,et al.  From shared data to sharing workflow: merging PACS and teleradiology. , 2010, European journal of radiology.

[246]  Jacques Wainer,et al.  Proclets: A Framework for Lightweight Interacting Workflow Processes , 2001, Int. J. Cooperative Inf. Syst..

[247]  M A Alexander,et al.  The Shouldice repair. , 1993, The Surgical clinics of North America.

[248]  George M. White,et al.  On handling exceptions , 1995, COCS '95.

[249]  Ismail Hakki Toroslu,et al.  An architecture for workflow scheduling under resource allocation constraints , 2005, Inf. Syst..

[250]  Wil M. P. van der Aalst,et al.  Towards a Taxonomy of Process Flexibility , 2008, CAiSE Forum.

[251]  Ute Beyer,et al.  Process-Aware Information Systems: Bridging People and Software Through Process Technology , 2005 .

[252]  Diwakar Gupta,et al.  Appointment scheduling in health care: Challenges and opportunities , 2008 .

[253]  Manfred Reichert,et al.  ADEPT Workflow Management System: Flexible Support for Enterprise-Wide Business Processes - Tool Presentation - , 2003 .

[254]  Johann Eder,et al.  Temporal Modeling of Workflows with Conditional Execution Paths , 2000, DEXA.

[255]  Matjaz B. Juric,et al.  Business process execution language for web services , 2004 .

[256]  Wil M. P. van der Aalst,et al.  Genetic process mining: an experimental evaluation , 2007, Data Mining and Knowledge Discovery.

[257]  Wil M. P. van der Aalst,et al.  Formalization and verification of event-driven process chains , 1999, Inf. Softw. Technol..

[258]  Xiping Song,et al.  Managing exceptions in the medical workflow systems , 2006, ICSE.

[259]  Wil M. P. van der Aalst,et al.  A Declarative Approach for Flexible Business Processes Management , 2006, Business Process Management Workshops.

[260]  Silvana Quaglini,et al.  Improving Compliance to Guidelines through Workflow Technology: Implementation and Results in a Stroke Unit , 2007, MedInfo.

[261]  Christian Heinlein,et al.  Workflow and process synchronization with interaction expressions and graphs , 2001, Proceedings 17th International Conference on Data Engineering.

[262]  Marco Beccuti,et al.  Modeling Clinical Guidelines through Petri Nets , 2009, AIME.

[263]  Clarence A. Ellis,et al.  Office Information Systems and Computer Science , 1980, CSUR.

[264]  Gianpaolo Cugola,et al.  Tolerating Deviations in Process Support Systems via Flexible Enactment of Process Models , 1998, IEEE Trans. Software Eng..

[265]  Wil M. P. van der Aalst,et al.  Workflow Exception Patterns , 2006, CAiSE.

[266]  Cw Christian Günther Process mining in flexible environments , 2009 .

[267]  Hajo A. Reijers Workflow Flexibility: The Forlorn Promise , 2006, 15th IEEE International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE'06).

[268]  Li-zhen Cui,et al.  Research on Cooperative Workflow Management Systems , 2004, CSCWD.

[269]  Boudewijn F. van Dongen,et al.  ProM: The Process Mining Toolkit , 2009, BPM.

[270]  Jwm Will Bertrand,et al.  Design requirements for health care production control systems , 1999 .

[271]  Rajeev Rastogi,et al.  ConTracts - A Low-Level Mechanism for Building General-Purpose Workflow Management-Systems. , 1995 .

[272]  F Malamateniou,et al.  Emergency healthcare process automation using workflow technology and web services , 2003, Medical informatics and the Internet in medicine.

[273]  Jianwen Su,et al.  Towards Formal Analysis of Artifact-Centric Business Process Models , 2007, BPM.

[274]  Peter A. N. Bosman,et al.  A Computational Approach to Patient Flow Logistics in Hospitals , 2010, ERCIM News.

[275]  Russ B. Altman,et al.  Research Paper: Using Petri Net Tools to Study Properties and Dynamics of Biological Systems , 2004, J. Am. Medical Informatics Assoc..

[276]  Wil M. P. van der Aalst,et al.  Analysis of Web Services Composition Languages: The Case of BPEL4WS , 2003, ER.

[277]  Wil M. P. van der Aalst,et al.  Flexible Workflow Management Systems: An Approach Based on Generic Process Models , 1999, DEXA.

[278]  Computer-based Support for Clinical Guidelines and Protocols - Proceedings of the Symposium on Computerized Guidelines and Protocols, CGP 2004, Prague, Czech Republic, 12-14 April, 2004 , 2004, CGP.

[279]  Randall P. Sadowski,et al.  Simulation with Arena , 1998 .

[280]  S. Graeber,et al.  The Impact of Workflow Management Systems on the Design of Hospital Information Systems , 1997, AMIA.

[281]  Wolfgang Pree,et al.  Framework Patterns , 1996 .

[282]  Peter Dadam,et al.  ADEPT Next Generation Process Management Technology , 2006, CAiSE Forum.

[283]  Hajo A. Reijers,et al.  The Case Handling Case , 2003, Int. J. Cooperative Inf. Syst..

[284]  Maria E. Orlowska,et al.  Pockets of Flexibility in Workflow Specification , 2001, ER.

[285]  Jacques Wainer,et al.  Workflow Modeling Using Proclets , 2000, CoopIS.

[286]  Lars Michael Kristensen,et al.  Coloured Petri Nets - Modelling and Validation of Concurrent Systems , 2009 .

[287]  Johann Eder,et al.  Accelerating Workflows with Fixed Date Constraints , 2005, ER.

[288]  Xiping Song,et al.  Understanding requirements for computer-aided healthcare workflows: experiences and challenges , 2006, ICSE '06.

[289]  H. J. Warnecke,et al.  Flexible manufacturing systems , 1985 .

[290]  Stefan Jablonski,et al.  A comprehensive approach to flexibility in workflow management systems , 1999, WACC '99.

[291]  Jens Bæk Jørgensen,et al.  Executable Use Cases: a Supplement to Model-Driven Development? , 2007, Fourth International Workshop on Model-Based Methodologies for Pervasive and Embedded Software (MOMPES'07).

[292]  Kees M. van Hee,et al.  Generalised Soundness of Workflow Nets Is Decidable , 2004, ICATPN.

[293]  Mathias Weske,et al.  Formal foundation and conceptual design of dynamic adaptations in a workflow management system , 2001, Proceedings of the 34th Annual Hawaii International Conference on System Sciences.

[294]  Stephan Philippi,et al.  Communication support for systems engineering - process modelling and animation with APRIL , 2007, J. Syst. Softw..