Workflow Mining: Concepts and Algorithm Dr. Boleslaw Mikolajczak.

Slides:



Advertisements
Similar presentations
© Telelogic AB [1] Sandia is a multiprogram laboratory operated by Sandia Corporation, a Lockheed Martin Company for the United States Department of Energys.
Advertisements

From Local Patterns to Global Models: Towards Domain Driven Educational Process Mining Nikola Trčka Mykola Pechenizkiy.
CIS 581 Design and Verification of Information Systems (DVIS) lectures 3-4 b Two problems with current WFMS b Five perspectives on WFMS b Reference nets.
Techniques to analyze workflows (design-time)
Introduction to Petri Nets Hugo Andrés López
1 Analysis of workflows : Verification, validation, and performance analysis. Wil van der Aalst Eindhoven University of Technology Faculty of Technology.
Based on: Petri Nets and Industrial Applications: A Tutorial
Extending ASSL: Making UML Metamodell-based Workflows executable © 2010 University of Rostock | Department of Computer Science Jens Brüning, Andreas Wolff.
Workflow Management Kap. 4. Analyzing Workflows Wil van der Aalst has copyrights to almost all figures in the following slideshow made by Lars Frank.
Lab Meeting Performance Analysis of Distributed Embedded Systems Lothar Thiele and Ernesto Wandeler Presented by Alex Cameron 17 th August, 2012.
Department of Computer Science and Engineering Southern Methodist University 03/17/081 LiGuo Huang Department of Computer Science.
Petri net modeling of biological networks Claudine Chaouiya.
Activity Diagrams [Arlow and Neustadt, 2005] CS 425 / 625 Seminar on Software Engineering University of Nevada, Reno Department of Computer Science & Engineering.
Train Control Language Teaching Computers Interlocking By: J. Endresen, E. Carlson, T. Moen1, K. J. Alme, Haugen, G. K. Olsen & A. Svendsen Synthesizing.
Boudewijn van Dongen /t Multi-phase process mining Building instance graphs.
CSC 402 Requirements Engineering 1 Requirements Techniques, cont. Formal requirements analysis techniques include: – DFD (covered) – ERD (covered) – Finite.
1 Analysis of workflows a-priori and a-posteriori analysis Wil van der Aalst Eindhoven University of Technology Faculty of Technology Management Department.
Lecture 7 Model Development and Model Verification.
1 CS 426 Senior Projects Chapter 14: Activity Diagrams [Arlow and Neustadt, 2005] February 17, 2009.
Requirements Techniques, cont. Brief review Formal Requirements Techniques –Finite State Machines –Petri Nets.
Ch5: Software Specification. 1 Overview  Use of specifications  Specification qualities  Classification of specification styles  Verification of specifications.
UML Activity Diagram. Activity Diagram  The main reason to use activity diagrams is to model the workflow behind the system being designed.  Activity.
Activity Diagrams Derived from several techniques: Event diagrams of Jim Odell SDL state modeling techniques Workflow modeling Petri nets Especially useful.
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.
Business process management (BPM) Petra Popovičová.
Insuring Sensitive Processes through Process Mining Jorge Munoz-Gama Isao Echizen Jorge Munoz-Gama and Isao Echizen.
1 Workflow/Business Process Management Introduction business process management and workflow management Eindhoven University of Technology Faculty of Technology.
Course Outline DayContents Day 1 Introduction Motivation, definitions, properties of embedded systems, outline of the current course How to specify embedded.
Katanosh Morovat.   This concept is a formal approach for identifying the rules that encapsulate the structure, constraint, and control of the operation.
Requirements Expression and Modelling
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.
WSMX Execution Semantics Executable Software Specification Eyal Oren DERI
© DATAMAT S.p.A. – Giuseppe Avellino, Stefano Beco, Barbara Cantalupo, Andrea Cavallini A Semantic Workflow Authoring Tool for Programming Grids.
CY2003 Computer Systems Lecture 7 Petri net. © LJMU, 2004CY2003- Week 72 Overview Petri net –concepts –Petri net representation –Firing a transition –Marks.
1 Workshop on Business-Driven Enterprise Application Design & Implementation Cristal City, Washington D.C., USA, July 21, 2008 How to Describe Workflow.
An Ontological Framework for Web Service Processes By Claus Pahl and Ronan Barrett.
Petri Nets Lecturer: Roohollah Abdipour. Agenda Introduction Petri Net Modelling with Petri Net Analysis of Petri net 2.
Formal Methods.
Ch8. Analysis Joosung, Ko.
CSCI1600: Embedded and Real Time Software Lecture 11: Modeling IV: Concurrency Steven Reiss, Fall 2015.
Chapter 14: Activity Diagrams November 2015 [Arlow and Neustadt, 2005] CS 425/625 Senior Projects University of Nevada, Reno Department of Computer Science.
Design and Verification of Information Systems (DVIS), lectures 1-2 b elementary concepts of workflows b workflow = business process b BPR - Business Process.
Process Mining – Concepts and Algorithms Review of literature on process mining techniques for event log data.
UNIT – II BUSINESS PROCESS MANAGEMENT
Multi-phase Process Mining: Building Instance Graphs
Business process management (BPM)
Discovering high-level models and working with BPMN in ProM
Requirements Techniques, cont.
Profiling based unstructured process logs
CSS 496 Business Process Re-engineering for BS(CS)
Business process management (BPM)
Model-View-Controller
Lecture Software Process Definition and Management Chapter 3: Descriptive Process Models Dr. Jürgen Münch Fall
UML Activity Diagrams & State Charts
Computation of Minimal Siphons for a Class of Generalized Petri Nets
Wil van der Aalst Eindhoven University of Technology
CSCI1600: Embedded and Real Time Software
Chapter 14: Activity Diagrams
Wil van der Aalst Eindhoven University of Technology
Chapter 14: Activity Diagrams
Department of Computer Science Abdul Wali Khan University Mardan
ETSI TC MTS TDL SC meeting Reports
Chapter 14: Activity Diagrams
ETSI TC MTS TDL SC meeting Reports
Two problems with current WFMS Five perspectives on WFMS
elementary concepts of workflows workflow = business process
Workflow Mining: Concepts and Algorithm
Design and Verification of Information Systems (DVIS) lectures 3-4
Presentation transcript:

Workflow Mining: Concepts and Algorithm Dr. Boleslaw Mikolajczak

Contents Workflows and Petri net-based Workflows Workflow Mining – Concepts and Notations Workflow Mining Algorithm Example and Demonstration

Introduction to Workflows Workflow Flow Management Systems and Information Systems

Introduction to Workflows with Petri Nets Reason 1: Formal semantics and graphical representation

Introduction to Workflows with Petri Nets Reason 2: State-based AND event-based –In modern modeling technology, like UML, tasks are modeled explicitly and states between subsequent tasks are suppressed, so the enabling of a task and the execution of tasks can not be distinguished clearly.

Introduction to Workflows with Petri Nets Reason 3: Abundance of analysis and V/V techniques –Petri nets are marked by the availability of many analysis techniques. Clearly, this is a great asset in favor of a Petri- net-based WFMS. In general, these techniques can be used to prove properties (safety properties, invariance properties, deadlock, etc.) and to calculate performance measures (response times, waiting times, occupation rates, etc.). These techniques enable users to analyze a workflow process in various ways (including simulation).

Definition of Workflow Mining W orkflow design is a complicated time-consuming process and typically there are discrepancies between the actual workflow processes and the processes that are perceived by the management. To support the (re)-design of workflows, we need some techniques for discovering workflow models. We use “workflow-log” containing dynamic information about the workflow process as it is actually being executed, to do the workflow mining. Workflow mining = Workflow identification algorithms

Definition of Workflow Mining

Algorithm of Workflow Mining Log-based ordering relations:

Algorithm of Workflow Mining Definition of first() and last():

Algorithm of Workflow Mining Alpha-mining algorithm: