Wil van der Aalst Eindhoven University of Technology

Slides:

Advertisements

Similar presentations

Workflow Management Kap. 5. Architecture of Workflows Wil van der Aalst has copyrights to almost all figures in the following slideshow made by Lars Frank.

Advertisements

Notes on “AMOEBA-RT: Run-Time Verification of Adaptive Software” Jozef Hooman Embedded Systems Institute, Eindhoven Radboud University Nijmegen The Netherlands.

TU / e /AIS Group Technische Universiteit Eindhoven University of Technology Modeling Grid Workflows with Colored Petri Nets Carmen Bratosin, Wil van der.

Workflow Mining: Concepts and Algorithm Dr. Boleslaw Mikolajczak.

On 1-soundness and Soundness of Workflow Nets Lu Ping, Hu Hao and Lü Jian Department of Computer Science Nanjing University

Techniques to analyze workflows (design-time)

1 Analysis of workflows : Verification, validation, and performance analysis. Wil van der Aalst Eindhoven University of Technology Faculty of Technology.

Process Models In this section, we focus on the control-flow perspective of processes. We assume that there is a set of activity labels.

Petri Nets Section 2 Roohollah Abdipur.

Based on: Petri Nets and Industrial Applications: A Tutorial

Software and Systems Engineering Seminar Winter 2011 Domain-specific languages in model-driven software engineering 1 Speaker: Valentin ROBERT.

Workflow Management Kap. 3. Management of Workflows Wil van der Aalst has copyrights to almost all figures in the following slideshow made by Lars Frank.

1 Important issues for the future Adaptive and interorganizational workflows Wil van der Aalst Eindhoven University of Technology Faculty of Technology.

Workflow Management Kap. 4. Analyzing Workflows Wil van der Aalst has copyrights to almost all figures in the following slideshow made by Lars Frank.

Soundness problem for Resource-Constrained Workflow nets.

Appendix A The Future of Workflows Wil van der Aalst has copyrights to almost all figures in the following slideshow made by Lars Frank.

/faculteit technologie management PN-1 Petri nets refresher Prof.dr.ir. Wil van der Aalst Eindhoven University of Technology, Faculty of Technology Management,

Mariska Netjes, Wil M.P. van der Aalst, Hajo A. Reijers - Analysis of resource-constrained processes with Colored Petri Nets CPN Workshop 2005 Analysis.

1 Workflow Management Systems : Functions, architecture, and products. Wil van der Aalst Eindhoven University of Technology Faculty of Technology Management.

1 Analysis of workflows a-priori and a-posteriori analysis Wil van der Aalst Eindhoven University of Technology Faculty of Technology Management Department.

1 Modeling workflows : The organizational dimension and alternative notations. Wil van der Aalst Eindhoven University of Technology Faculty of Technology.

Specifying Workflow using CO- OPN Ang Chen SMV group 11 Mars, 2005.

Business Alignment Using Process Mining as a Tool for Delta Analysis Prof.dr.ir. Wil van der Aalst Eindhoven University of Technology Department of Information.

1 From Requirements via Colored Workflow Nets to an Implementation in Several Workflow Systems R.S. Mans – TU Eindhoven W.M.P van der Aalst – TU Eindhoven.

Discovering Coordination Patterns using Process Mining Prof.dr.ir. Wil van der Aalst Eindhoven University of Technology Department of Information and Technology.

1 Workflow/Business Process Management Introduction business process management and workflow management Eindhoven University of Technology Faculty of Technology.

Business Process Modeling Workflow Patterns Ang Chen July 8, 2005.

/faculteit technologie management 1 Process Mining: Extension Mining Algorithms Ana Karla Alves de Medeiros Ana Karla Alves de Medeiros Eindhoven University.

Process Mining for Ubiquitous Mobile Systems An Overview and a Concrete Algorithm Prof.dr.ir. Wil van der Aalst Eindhoven University of Technology Department.

1 Workflow/Business Process Management Introduction business process management and workflow management Eindhoven University of Technology Faculty of Technology.

A university for the world real R © 2009, Chapter 17 Process Mining and Simulation Moe Wynn Anne Rozinat Wil van der Aalst Arthur.

A university for the world real R © 2009, Chapter 23 Epilogue Wil van der Aalst Michael Adams Arthur ter Hofstede Nick Russell.

Process mining Prof.dr.ir. Wil van der Aalst Eindhoven University of Technology, Department of Information Systems, P.O. Box 513, 5600 MB Eindhoven, The.

Integrating bio-ontologies with a workflow/Petri Net model to qualitatively represent and simulate biological systems Mor Peleg, Irene Gbashvili, and Russ.

1 Workflow/Business Process Management Introduction business process management and workflow management Eindhoven University of Technology Faculty of Technology.

Workflow Management Kap. 1. Organizing Workflows

Linear and Branching Time Safety, Liveness, and Fairness

1 Workflow Management Systems : Functions, architecture, and products. Wil van der Aalst Eindhoven University of Technology Faculty of Technology Management.

Workflow Treatment with Coloured Petri Nets Alexandru Cicortaş Diana

Workflow Management introduktion: Wil van der Aalst has copyrights to the slides conserning his book about Workflow Management. However, some of the slides.

1 (Re)designing workflows Tips and tricks. Wil van der Aalst Eindhoven University of Technology Faculty of Technology Management Department of Information.

Workflow/Business Process Management Introduction business process management and workflow management Wil van der Aalst Eindhoven University of Technology.

1 Analysis of workflows : Verification, validation, and performance analysis. Wil van der Aalst Eindhoven University of Technology Faculty of Technology.

Petri nets refresher Prof.dr.ir. Wil van der Aalst

Decision Mining in Prom A. Rozinat and W.M.P. van der Aalst Joosung, Ko.

/faculteit technologie management PN-1 Petri nets refresher Prof.dr.ir. Wil van der Aalst Eindhoven University of Technology, Faculty of Technology Management,

1 Modeling workflows : The organizational dimension and alternative notations. Wil van der Aalst Eindhoven University of Technology Faculty of Technology.

/faculteit technologie management PN-1 Petri nets refresher Prof.dr.ir. Wil van der Aalst Eindhoven University of Technology, Faculty of Technology Management,

Software Testing Mehwish Shafiq. Testing Testing is carried out to validate and verify the piece developed in order to give user a confidence to use reliable.

/faculteit technologie management PN-1 Petri nets refresher Prof.dr.ir. Wil van der Aalst Eindhoven University of Technology, Faculty of Technology Management,

A university for the world real R © 2009, Chapter 12 The Declare Service Maja Pesic Helen Schonenberg Wil M.P. van der Aalst.

Diagnostic Information for Control-Flow Analysis of Workflow Graphs (aka Free-Choice Workflow Nets) Cédric Favre(1,2), Hagen Völzer(1), Peter Müller(2)

Technology of information systems Lecture 5 Process management.

Process Mining – Concepts and Algorithms Review of literature on process mining techniques for event log data.

/faculteit technologie management PN-1 مهندسی مجدد فرآیندهای تجاری بخش چهارم: تحلیل فرآیندها Analysis of workflows.

Concurrent Systems Modeling using Petri Nets

CSS 496 Business Process Re-engineering for BS(CS)

Concurrent Systems Modeling using Petri Nets – Part II

Wil van der Aalst Eindhoven University of Technology

Wil van der Aalst Eindhoven University of Technology

Wil van der Aalst Eindhoven University of Technology

Workflow Management Systems: Functions, architecture, and products.

Wil van der Aalst Eindhoven University of Technology

Petri nets refresher Prof.dr.ir. Wil van der Aalst

Chapter 2- Visual Basic Schneider

Workflow Management Systems: Functions, architecture, and products.

Petri nets refresher Prof.dr.ir. Wil van der Aalst

Business Alignment Using Process Mining as a Tool for Delta Analysis

Workflow Mining: Concepts and Algorithm

Faulty EPCs in the SAP Reference Model

Presentation transcript:

Analysis of workflows: Verification, validation, and performance analysis. Wil van der Aalst Eindhoven University of Technology Faculty of Technology Management Department of Information and Technology P.O. Box 513 5600 MB Eindhoven The Netherlands w.m.p.v.d.aalst@tm.tue.nl

Techniques to analyze workflows (design-time) Verification is concerned with the relation between the model and reality. Validation is typically used to answer qualitative questions Is there a deadlock possible? It is possible to successfully handle a specific case? Will all cases terminate eventually? It is possible to execute two tasks in any order? Performance analysis is typically used to answer quantitative questions How many cases can be handled in one hour? What is the average flow time? How many extra resources are required? How many cases are handled within 2 days?

Verification: analysis techniques can be used to avoid logical errors. check_policy send_letter c4 c1 c2 c5 start register ready check_damage pay_damage c6 Is this a correct workflow? If not, how to correct it?

Petri-nets: a solver-independent medium problem Petri net description toolbox reachability analysis Markovian analysis simulation structural analysis OR-techniques modeling analysis answers

Error 1: dangling tasks task4 task5 begin task1 task2 task3 end

Error 2: deadlock (task2) begin task1 end

Error 3: unbounded and never-ending begin task1 task2 task3 end

Error 4: deadlock before or after termination begin task1 task2 task3 end

Soundness property process definition Eventually the case terminates and the moment it terminates all references have been removed. process definition begin end The soundness property corresponds to two standard Petri-net properties (liveness and boundedness). Standard Petri-net-based tools can be used. For (almost) free-choice nets this can be checked in polynomial time!

process definition