BIS 3106: Business Process Management. Lecture Two: Modelling the Control-flow Perspective
|
|
- Amos Banks
- 8 years ago
- Views:
Transcription
1 BIS 3106: Business Process Management Lecture Two: Modelling the Control-flow Perspective Makerere University School of Computing and Informatics Technology Department of Computer Science SEM I 2015/2016 (Makerere University) BIS / 41
2 Outline 1 Business Processes 2 Foundations of Process Modelling Using Petri nets 3 Workflow Nets Sequence Pattern Parallelism Conditional Routing Iterative Routing (Makerere University) BIS / 41
3 Business Processes Business Process: A business process consists of a set of activities that are performed in coordination in an organizational and technical environment. These activities jointly realize a business goal. - A business goal is the target that an organization aims to achieve by performing correctly the related business process. Currently, business processes are the core of most information systems - production line of a car manufacturer, procedures for buying tickets on-line This requires that organizations specify their flow of work for the orchestration of participants, information and technology for the realization of products and services. In order to manage Business Processes, they have to be described and documented in terms of process models. (Makerere University) BIS / 41
4 Model Definition A model is a representation of some phenomenon of the real world made in order to facilitate an understanding of its workings. A model is a simplified and generalized version. - What phenomenon matters? - How to represent this? - How to facilitate understanding? (Makerere University) BIS / 41
5 BPM life cycle (Makerere University) BIS / 41
6 Purposes of Process Modeling Organizational Analysis Measures for Improvement AS IS Process Models Process TO BE Analysis & Design Process Models Communication, simulation, activitybased costing Process Evaluation Process Metrics Target Values Process Enactment & Monitoring Process Implementation Executable Process Models Detailed Models including Data types, conditions, data mappings, fault handling Integration, testing, deployment (Makerere University) BIS / 41
7 Workflow Definition A workflow definition is composed out of three parts: - Process definition: description of the process itself. - Resource classification: classification of the resources to be used. - Resource management rules: how to map work onto resources. (Makerere University) BIS / 41
8 Process definition (1) A process definition specifies - which steps are required and - in what order they should be executed. Also known as: routing definition, procedure. Examples: purchase order, tax declarations, insurance claims process (Makerere University) BIS / 41
9 Process definition (2) A process definition consists of 3 elements: - Tasks (step, process element) A logical unit of work, e.g., typing a letter, stamping a document, checking personal data - Conditions (state, phase, requirement) A condition is used to determine the enabling of a task. - Sub-process Use of previously defined processes (Makerere University) BIS / 41
10 Modelling with Petri nets Introduced by Carl Adam Petri in his PhD thesis (1962). Original intention: mathematical description of chemical processes. Extensively applied to model concurrent systems (e.g., distributed systems) and analyse their properties. Petri nets have a simple graphical format and a precise operational semantics that makes them an attractive option for modeling the static and dynamic aspects of processes. Several extensions of basic Petri nets, with increasing level of complexity. - Time, resources, data (colored Petri nets), hierarchies (process decomposition) In the BPM context: Workflow nets. (Makerere University) BIS / 41
11 Basics of Petri nets A Petri Net takes the form of a directed bipartite graph where the nodes are either places or transitions. Places represent intermediate states that may exist during the operation of a process. - Places are represented by circles. - Places can be input/output of transitions. Transitions correspond to the activities or events of which the process is made up. - Transitions are represented by rectangles or thick bars. Arcs connect places and transitions in a way that places can only be connected to transitions and vice-versa. (Makerere University) BIS / 41
12 Basics of Petri nets Places are represented by circles. Transitions are represented by rectangles or thick bars. Arcs connect places and transitions in a way that places can only be connected to transitions and vice-versa. place transition arc (Makerere University) BIS / 41
13 Mapping Workflow Nets onto Petrinets Wil van der Aalst proposed the use of Petri nets for workflow modelling. He proposed a particular subclass of Petri nets, called Workflow nets (WF-nets) for this purpose. In a workflow net: - transitions represent the tasks that comprise a business process. - places represent the conditions preceding and following the tasks. (Makerere University) BIS / 41
14 Workflow Nets: Motivation Workflows are case-based, i.e., every piece of work is executed for a specific case. Case: the subject of operation in a business process execution. E.g. mortgage application, hospital admission, insurance claim, tax declaration, order, request for information. A workflow process is designed to handle similar cases. Cases are handled by executing tasks in a specific order. (Makerere University) BIS / 41
15 Workflow Nets: Cases A case has a limited lifetime. Example: For an insurance claim, a case begins when the claim is submitted and disappears from the workflow system when the claim processing is completed. Between the appearance and disappearance of a case, it always has a particular state. (Makerere University) BIS / 41
16 Workflow Nets: Notation A workflow net has a single start place and a single end place. - This means that workflow nets closely correspond to real-life processes that tend to have a specific starting point and a specific end point. Every transition in the workflow net is on a path from the start to the end place. - This ensures that each transition in a workflow net contributes to the progression of an executing instance towards its end state. (Makerere University) BIS / 41
17 Routing of Cases Describes the lifecycle of a case, i.e., which tasks need to be performed and in which order Four basic routing constructs. - Sequential - Parallel - Choice - Iteration (Makerere University) BIS / 41
18 Routing of Cases Sequential - execute first A then B Parallel - A and B are executed at the same time or in any order - AND-split and AND-join Choice A or B - XOR-split and XOR-join Iteration - multiple A s (Makerere University) BIS / 41
19 Workflow Nets Constructs Automatic tasks execute as soon as they are enabled. User tasks are passed to human resources for execution once enabled. In WF-net there are some notational enhancements (often termed syntactic sugar ) for split and join constructs that simplify the specification of a workflow net. External tasks only proceed once they are enabled and a required message or signal is received from the operating environment. Time tasks only proceed once they are enabled and a specified (time-based) deadline occurs. The basics of Petri nets can be used to understand the semantics of some elementary modeling concepts in WF-nets. (Makerere University) BIS / 41
20 Workflow Nets: Sequence Pattern A B First A then B (Makerere University) BIS / 41
21 Parallelism: AND-split According to the WfMC, an AND-split is a point within the workflow where a single thread of control splits into two or more threads which are executed in parallel within the workflow, allowing multiple activities to be executed simultaneously. A B C The execution of A enables both task B and task C. As a result, task B and task C are executed in parallel (in an arbitrary order). (Makerere University) BIS / 41
22 Parallelism: AND-split In WF-nets, a special construct for AND-split is introduced. A AND-split B C (Makerere University) BIS / 41
23 Parallelism: AND-join According to the WfMC, an AND-join is a point in the workflow where two or more parallel executing activities converge into a single common thread of control. Task D is enabled after execution both B and C, i.e., D is used to synchronize two subflows. B C D (Makerere University) BIS / 41
24 Parallelism: AND-join In WF-nets, a special construct for AND-JOIN is introduced. B D C AND-join (Makerere University) BIS / 41
25 Conditional Routing: XOR-split According to the WfMC, a XOR-split is a point within the workflow where a single thread of control makes a decision upon which branch to take when encountered with multiple alternative workflow branches. B A Note that the exclusive nature of the choice, i.e. only one of the outgoing branches can be chosen (i.e., either task B or C can be executed). (Makerere University) BIS / 41 C
26 Conditional Routing: XOR-split In WF-nets, a special construct for XOR-spit is introduced. A XOR-split B C (Makerere University) BIS / 41
27 Conditional Routing: XOR-join According to the WfMC, a XOR-join is a point within the workflow where two or more alternative activity(s) workflow branches re-converge to a single common activity as the next step within the workflow. B C Note that the exclusive nature of the choice, i.e. only one of the outgoing branches can be chosen (i.e., either task B or C can be executed). (Makerere University) BIS / 41 D
28 Conditional Routing: XOR-join In WF-nets, a special construct for XOR-JOIN is introduced. B C D XOR-join (Makerere University) BIS / 41
29 Iterative Routing Repeated execution of a particular task. Ideally a task will be performed only once per case. In certain situations, however, it is necessary to apply iterative routing. For example, when a certain task needs to be repeated until the results of a subsequent test prove positive. (Makerere University) BIS / 41
30 Example of Iterative Routing (Makerere University) BIS / 41
31 Modelling Petri net: Complaint Handling Example Consider the complaint handling process below - An incoming complaint is recorded. - After the complaint has been recorded, the client and the department affected are contacted (can be done in parallel). - Afterwards, data from the client and department is gathered and a decision is taken. - Either a compensation payment is made, or a letter is sent to the client. - Finally, the complaint is filed. Model this process in terms of Petri nets. (Makerere University) BIS / 41
32 Modelling Petri nets: Complaint Handling Example (Makerere University) BIS / 41
33 Modelling Petri net: Complaint Handling Example Consider the complaint handling process below - An incoming complaint is recorded. - After the complaint has been recorded, the client and the department affected are contacted (can be done in parallel). - Afterwards, data from the client and department is gathered and a decision is taken. - Either a compensation payment is made, or a letter is sent to the client. - Finally, the complaint is filed. Model this process in terms of WF-nets. (Makerere University) BIS / 41
34 Modelling Petri net: Order Fulfillment Example Consider the order fulfillment process below - A company takes orders from its clients. After which two tasks are done in parallel. The company checks the account of the client and also packs the order. When these tasks are completed, a credit check task is executed. If the client has paid for the order, the goods are dispatched to the client. However, if the client has not paid for the order, then the order is declined and the items are returned to the warehouse. Model this process in terms of Petri nets. (Makerere University) BIS / 41
35 Modelling Petri nets: Order Fulfillment Example First, a take order task is executed. When pack order and check account tasks have been both completed, the credit check task is executed. If the customer has not sufficient credit the decline order runs and, finally, the return stock task ensures that the items from the order are returned to the warehouse. Then, pack order and check account tasks are executed in parallel. If the customer has sufficient credit remaining, the order is despatched. (Makerere University) BIS / 41
36 Modelling Petri net: Order Fulfillment Example Consider the order fulfillment process below - A company takes orders from its clients. After which two tasks are done in parallel. The company checks the account of the client and also packs the order. When these tasks are completed, a credit check task is executed. If the client has paid for the order, the goods are dispatched to the client. However, if the client has not paid for the order, then the order is declined and the items are returned to the warehouse Model this process in terms of WF-nets. (Makerere University) BIS / 41
37 Workflow net Example - order fulfillment process The take order task is externally triggered when an order request is received. The decline order task runs automatically with the customer receiving a notification either by or fax. Most tasks are undertaken by human resources (i.e., staff). (Makerere University) BIS / 41
38 Role of Data Data can be at different levels, e.g., the scope can be at the process level, case level, task level, etc. We assume data to be at the case level. A B C (Makerere University) BIS / 41
39 How to Choose? age>18 B A age 18 C (Makerere University) BIS / 41
40 Conclusion We have presented the precise definitions of workflow processes. It is possible to model workflow processes with high level Petri nets. 5 constructs: AND-join, AND-split, XOR-join, XOR-split, iteration It is important not just understand the definitions, but also try to apply Petri net to model real problems! (Makerere University) BIS / 41
41 Workflow Modeling Exercise Model these processes in terms of WF-Nets 1 Travel Agency Process 2 ICEA insurance Company 3 Expense Reimbursement Process (Makerere University) BIS / 41
Business Process Modeling
Business Process Concepts Process Mining Kelly Rosa Braghetto Instituto de Matemática e Estatística Universidade de São Paulo kellyrb@ime.usp.br January 30, 2009 1 / 41 Business Process Concepts Process
More informationFormal Approaches to Business Processes through Petri Nets
Formal Approaches to Business Processes through Petri Nets Nick ussell Arthur H. M. ter Hofstede a university 2009, www.yawlfoundation.org Acknowledgement These slides summarize the content of Chapter
More informationProcess Modeling Notations and Workflow Patterns
Process Modeling Notations and Workflow Patterns Stephen A. White, IBM Corp., United States ABSTRACT The research work of Wil van der Aalst, Arthur ter Hofstede, Bartek Kiepuszewski, and Alistair Barros
More informationThe Application of Petri Nets to Workflow Management
The Application of Petri Nets to Workflow Management W.M.P. van der Aalst Department of Mathematics and Computing Science, Eindhoven University of Technology, P.O. Box 513, NL-5600 MB, Eindhoven, The Netherlands,
More informationModeling Workflow Patterns
Modeling Workflow Patterns Bizagi Suite Workflow Patterns 1 Table of Contents Modeling workflow patterns... 4 Implementing the patterns... 4 Basic control flow patterns... 4 WCP 1- Sequence... 4 WCP 2-
More informationChapter 2 Introduction to Business Processes, BPM, and BPM Systems
Chapter 2 Introduction to Business Processes, BPM, and BPM Systems This chapter provides a basic overview on business processes. In particular it concentrates on the actual definition and characterization
More informationModelling Workflow with Petri Nets. CA4 BPM PetriNets
Modelling Workflow with Petri Nets 1 Workflow Management Issues Georgakopoulos,Hornick, Sheth Process Workflow specification Workflow Implementation =workflow application Business Process Modelling/ Reengineering
More informationProcess Modelling from Insurance Event Log
Process Modelling from Insurance Event Log P.V. Kumaraguru Research scholar, Dr.M.G.R Educational and Research Institute University Chennai- 600 095 India Dr. S.P. Rajagopalan Professor Emeritus, Dr. M.G.R
More informationModeling Business Processes with BPMN. Andrea Marrella marrella@dis.uniroma1.it
Modeling Business Processes with BPMN Andrea Marrella marrella@dis.uniroma1.it Presentation Outline This seminar introduces business process modeling using the BPMN (Business Process Model and Notation)
More informationQuery-Based Approach to Workflow Process Dependency Analysis Technical Report 01 Faculty of Science 2005
Query-Based Approach to Workflow Process Dependency Analysis Technical Report 01 Faculty of Science 2005 Weizhen Dai and H. Dominic Covvey School of Computer Science and the Waterloo Institute for Health
More informationPROCESS-ORIENTED ARCHITECTURES FOR ELECTRONIC COMMERCE AND INTERORGANIZATIONAL WORKFLOW
Information Systems Vol.??, No.??, pp.??-??, 1999 Copyright 1999 Elsevier Sciences Ltd. All rights reserved Printed in Great Britain 0306-4379/98 $17.00 + 0.00 PROCESS-ORIENTED ARCHITECTURES FOR ELECTRONIC
More informationMethods for the specification and verification of business processes MPB (6 cfu, 295AA)
Methods for the specification and verification of business processes MPB (6 cfu, 295AA) Roberto Bruni http://www.di.unipi.it/~bruni 19 - Event-driven process chains 1 Object We overview EPC and the main
More informationBusiness Process Management Demystified: A Tutorial on Models, Systems and Standards for Workflow Management
Business Process Management Demystified: A Tutorial on Models, Systems and Standards for Workflow Management Wil M.P. van der Aalst Department of Technology Management Eindhoven University of Technology
More informationProcess Modeling using BPMN 2.0
Process Modeling using BPMN 2.0 This chapter provides a brief overview of Business Process Modeling Notation (BPMN) concepts with particular emphasis on the BPMN 2.0 additions. In addition, it describes
More informationDynamic Business Process Management based on Process Change Patterns
2007 International Conference on Convergence Information Technology Dynamic Business Process Management based on Process Change Patterns Dongsoo Kim 1, Minsoo Kim 2, Hoontae Kim 3 1 Department of Industrial
More informationTime Patterns in Workflow Management Systems
Time Patterns in Workflow Management Systems Cosmina Cristina Niculae Department of Mathematics and Computer Science, Eindhoven University of Technology P.O. Box 513, 5600 MB, Eindhoven, the Netherlands
More informationStructural Detection of Deadlocks in Business Process Models
Structural Detection of Deadlocks in Business Process Models Ahmed Awad and Frank Puhlmann Business Process Technology Group Hasso Plattner Institut University of Potsdam, Germany (ahmed.awad,frank.puhlmann)@hpi.uni-potsdam.de
More informationThe Workflow Management Coalition Specification Workflow Management Coalition Terminology & Glossary
The Workflow Management Coalition Specification Workflow Management Coalition Terminology & Glossary Workflow The automation of a business process, in whole or part, during which documents, information
More informationChapter 3 Essential Process Modeling
Chapter 3 Essential Process Modeling Essentially, all models are wrong, but some are useful. George E.P. Box (1919 ) Business process models are important at various stages of the BPM lifecycle. Before
More informationYAWL: Yet Another Workflow Language (Revised version) 2
YAWL: Yet Another Workflow Language (Revised version) W.M.P. van der Aalst ½ ¾ and A.H.M. ter Hofstede ¾ ¾ ½ Department of Technology Management, Eindhoven University of Technology P.O. Box 513, NL-5600
More informationSemTalk BPMN Tutorial APRIL 2015 Email: support@semtalk.com. Tutorial SemTalk 4.3 BPMN Edition for Business Process Analysis
Tutorial SemTalk 4.3 BPMN Edition for Business Process Analysis Contents 1. About Business Process Modeling Notation (BPMN)... 3 2. Starting SemTalk BPMN Edition... 4 3. Editing a Process... 7 3.1. Adding
More informationBPMN by example. Bizagi Suite. Copyright 2014 Bizagi
BPMN by example Bizagi Suite Recruitment and Selection 1 Table of Contents Scope... 2 BPMN 2.0 Business Process Modeling Notation... 2 Why Is It Important To Model With Bpmn?... 2 Introduction to BPMN...
More information08 BPMN/1. Software Technology 2. MSc in Communication Sciences 2009-10 Program in Technologies for Human Communication Davide Eynard
MSc in Communication Sciences 2009-10 Program in Technologies for Human Communication Davide Eynard Software Technology 2 08 BPMN/1 2 ntro Sequence of (three?) lessons on BPMN and technologies related
More informationAn Introduction to Business Process Modeling
An Introduction to Business Process Modeling Alejandro Vaisman Université Libre de Bruxelles avaisman@ulb.ac.be Abstract. Business Process Modeling (BPM) is the activity of representing the processes of
More informationAMFIBIA: A Meta-Model for the Integration of Business Process Modelling Aspects
AMFIBIA: A Meta-Model for the Integration of Business Process Modelling Aspects Björn Axenath, Ekkart Kindler, Vladimir Rubin Software Engineering Group, University of Paderborn, Warburger Str. 100, D-33098
More informationModeling Guidelines Manual
Modeling Guidelines Manual [Insert company name here] July 2014 Author: John Doe john.doe@johnydoe.com Page 1 of 22 Table of Contents 1. Introduction... 3 2. Business Process Management (BPM)... 4 2.1.
More informationBRIDGING THE GAP BETWEEN BUSINESS MODELS AND WORKFLOW SPECIFICATIONS
International Journal of Cooperative Information Systems c World Scientific Publishing Company BRIDGING THE GAP BETWEEN BUSINESS MODELS WORKFLOW SPECIFICATIONS JULIANE DEHNERT Fraunhofer ISST, Mollstr.
More informationProcess Mining Data Science in Action
Process Mining Data Science in Action Wil van der Aalst Scientific director of the DSC/e Dutch Data Science Summit, Eindhoven, 4-5-2014. Process Mining Data Science in Action https://www.coursera.org/course/procmin
More informationWorkflow Management Standards & Interoperability
Management Standards & Interoperability Management Coalition and Keith D Swenson Fujitsu OSSI kswenson@ossi.com Introduction Management (WfM) is evolving quickly and expolited increasingly by businesses
More informationAn Introduction to Business Process Modeling
An Introduction to Business Process Modeling Alejandro Vaisman Department of Computer & Decision Engineering (CoDE) Université Libre de Bruxelles avaisman@ulb.ac.be Outline (part 1) Motivation Introduction
More informationDesigning workflow systems
TECHNISCHE UNIVERSITEIT EINDHOVEN Department of Mathematics and Computing Science MASTER S THESIS An algorithmic approach to process design and a human oriented approach to process automation by Irene
More informationDr. Jana Koehler IBM Zurich Research Laboratory
Precise Modeling of Business Processes with the Business Process Modeling Notation BPMN 2.0 Dr. Jana Koehler IBM Zurich Research Laboratory ZRL BIT at a Glance Computer Science at ZRL: Security/Cryptography
More informationDiagramming Techniques:
1 Diagramming Techniques: FC,UML,PERT,CPM,EPC,STAFFWARE,... Eindhoven University of Technology Faculty of Technology Management Department of Information and Technology P.O. Box 513 5600 MB Eindhoven The
More informationAgile Long-term Workflows
Agile Long-term Workflows Dr. Mirjam Minor Daniel Schmalen Thomas Sauer Alexander Tartakovski Herculano de Biasi Prof. Dr. Ralph Bergmann www.wi2.uni-trier.de -I -1- We could not employ a workflow system
More information7. Classification. Business value. Structuring (repetition) Automation. Classification (after Leymann/Roller) Automation.
7. Classification Business Process Modelling and Workflow Management Business value Lecture 4 (Terminology cntd.) Ekkart Kindler kindler@upb.de Structuring (repetition) Automation UPB SS 2006 L04 2 Classification
More informationService Level Agreements based on Business Process Modeling
Service Level Agreements based on Business Process Modeling Holger Schmidt Munich Network Management Team University of Munich, Dept. of CS Oettingenstr. 67, 80538 Munich, Germany Email: schmidt@informatik.uni-muenchen.de
More informationBusiness Process Quality Metrics: Log-based Complexity of Workflow Patterns
Business Process Quality Metrics: Log-based Complexity of Workflow Patterns Jorge Cardoso Department of Mathematics and Engineering, University of Madeira, Funchal, Portugal jcardoso@uma.pt Abstract. We
More information4.7 Business Process Model and Notation
206 4 Process Orchestrations 4.7 Business Process Model and Notation This section introduces the Business Process Model and Notation (BPMN), developed under the coordination of the Object Management Group.
More informationBIS 3106: Business Process Management. Business Process Management Outline
BIS 3106: Business Process Management Business Process Management Outline Makerere University School of Computing and Informatics Technology Department of Computer Science SEM I 2015/2016 (Makerere University)
More information1.. This UI allows the performance of the business process, for instance, on an ecommerce system buy a book.
* ** Today s organization increasingly prompted to integrate their business processes and to automate the largest portion possible of them. A common term used to reflect the automation of these processes
More informationObject Oriented Programming. Risk Management
Section V: Object Oriented Programming Risk Management In theory, there is no difference between theory and practice. But, in practice, there is. - Jan van de Snepscheut 427 Chapter 21: Unified Modeling
More informationUsing UML Part Two Behavioral Modeling Diagrams
UML Tutorials Using UML Part Two Behavioral Modeling Diagrams by Sparx Systems All material Sparx Systems 2007 Sparx Systems 2007 Page 1 Trademarks Object Management Group, OMG, Unified Modeling Language,
More informationSemantic Analysis of Flow Patterns in Business Process Modeling
Semantic Analysis of Flow Patterns in Business Process Modeling Pnina Soffer 1, Yair Wand 2, and Maya Kaner 3 1 University of Haifa, Carmel Mountain 31905, Haifa 31905, Israel 2 Sauder School of Business,
More informationSupporting the BPM lifecycle with FileNet
Supporting the BPM lifecycle with FileNet Mariska Netjes Hajo A. Reijers Wil. M.P. van der Aalst Outline Introduction Evaluation approach Evaluation of FileNet Conclusions Business Process Management Supporting
More informationGenetic Process Mining: An Experimental Evaluation
Genetic Process Mining: An Experimental Evaluation A.K. Alves de Medeiros, A.J.M.M. Weijters and W.M.P. van der Aalst Department of Technology Management, Eindhoven University of Technology P.O. Box 513,
More informationBPMN 2.0 Descriptive Constructs
Reference: Mustafa Jarrar: Lecture Notes on BPMN 2.0 Descriptive Constructs Birzeit University, Palestine, 2015 BPMN 2.0 Descriptive Constructs Mustafa Jarrar Birzeit University, Palestine mjarrar@birzeit.edu
More informationCOMPUTER AUTOMATION OF BUSINESS PROCESSES T. Stoilov, K. Stoilova
COMPUTER AUTOMATION OF BUSINESS PROCESSES T. Stoilov, K. Stoilova Computer automation of business processes: The paper presents the Workflow management system as an established technology for automation
More informationWoPeD - An Educational Tool for Workflow Nets
WoPeD - An Educational Tool for Workflow Nets Thomas Freytag, Cooperative State University (DHBW) Karlsruhe, Germany freytag@dhbw-karlsruhe.de Martin Sänger, 1&1 Internet AG, Karlsruhe, Germany m.saenger09@web.de
More informationA process model is a description of a process. Process models are often associated with business processes.
Process modeling A process model is a description of a process. Process models are often associated with business processes. A business process is a collection of related, structured activities that produce
More informationOntology-Based Discovery of Workflow Activity Patterns
Ontology-Based Discovery of Workflow Activity Patterns Diogo R. Ferreira 1, Susana Alves 1, Lucinéia H. Thom 2 1 IST Technical University of Lisbon, Portugal {diogo.ferreira,susana.alves}@ist.utl.pt 2
More informationChallenges in Business Process Management: Verification of business processes using Petri nets
Challenges in Business Process Management: Verification of business processes using Petri nets W.M.P. van der Aalst Department of Technology Management, Eindhoven University of Technology P.O. Box 513,
More informationFrom Business Process Models to Process-oriented Software Systems
From Business Process Models to Process-oriented Software Systems Chun Ouyang 1, Marlon Dumas 1, Wil M.P. van der Aalst 2,1 Arthur H.M. ter Hofstede 1, and Jan Mendling 1 1 Faculty of Information Technology,
More informationBusiness Process Control-Flow Complexity: Metric, Evaluation, and Validation
International Journal of Web Services Research, 5(2), 49-76, April-June 2008 49 Business Process Control-Flow Complexity: Metric, Evaluation, and Validation Jorge Cardoso, University of Madeira, Portugal
More informationWorkflow Management Systems (WfMS)
Workflow Management Systems (WfMS) Introduction to the Sungard Infinity Process Platform Evolution of Software Architecture Monolithic Application Systems y 2 Evolution of Software Architecture Application
More informationCircles and Diamonds and Squares, Oh My! Demystifying the BPMN Standard
Circles and Diamonds and Squares, Oh My! Demystifying the BPMN Standard BPMN standards can be confusing, but once you understand their purpose and how to use them, they can be lifesavers. This paper, based
More informationIBM Business Process Manager Version 8 Release 5. Hiring Tutorial
IBM Business Process Manager Version 8 Release 5 Hiring Tutorial Note Before using this information and the product it supports, read the information in Notices. This edition applies to version 8.5 of
More informationBusiness Process Modeling with BPMN. Dr. Darius Šilingas Head of Solutions Department darius.silingas@nomagic.com
Business Process Modeling with BPMN Dr. Darius Šilingas Head of Solutions Department darius.silingas@nomagic.com No Magic Europe, 2012 About Instructor Dr. Darius Šilingas q Principal Consultant and Head
More informationCHAPTER 1 INTRODUCTION
CHAPTER 1 INTRODUCTION 1.1 Research Motivation In today s modern digital environment with or without our notice we are leaving our digital footprints in various data repositories through our daily activities,
More informationWhite Paper BPMN 2.0 Task Types Explained
White Paper BPMN 2.0 Task Types Explained WP0093 August 2013 Tasks represent the most fundamental process elements, which define units of work in a process. In BPMN, a Task represents an atomic Activity
More informationBPMN PATTERNS USED IN MANAGEMENT INFORMATION SYSTEMS
BPMN PATTERNS USED IN MANAGEMENT INFORMATION SYSTEMS Gabriel Cozgarea 1 Adrian Cozgarea 2 ABSTRACT: Business Process Modeling Notation (BPMN) is a graphical standard in which controls and activities can
More informationComplexity Metrics for Business Process Models
Complexity Metrics for Business Process Models Volker Gruhn and Ralf Laue Chair of Applied Telematics / e-business Computer Science Faculty, University of Leipzig, Germany {gruhn,laue}@ebus.informatik.uni-leipzig.de
More informationEngineering Change Management (ECM)
Engineering Change Management (ECM) RECOMMENDATION Engineering Change Order (ECO) PSI 3-2 (Draft) Version 0.9 ABSTRACT ProSTEP ivip Recommendation Abstract This Recommendation documents the ECO (Engineering
More informationBusiness Process Management Using. BPM Using Process Algebra and Relational Database Model
Business Process Management Using Process Algebra and Relational Database Model 1 João Eduardo Ferreira (jef@ime.usp.br) 1 Calton Pu (calton@cc.gatech.edu) 2 1 Department of Computer Science Institute
More informationKirsten Sinclair SyntheSys Systems Engineers
Kirsten Sinclair SyntheSys Systems Engineers Kirsten Sinclair SyntheSys Systems Engineers Spicing-up IBM s Enterprise Architecture tools with Petri Nets On Today s Menu Appetiser: Background Starter: Use
More informationYAWL and its Support Environment
YAWL and its Support Environment Alessandro usso arusso@dis.uniroma1.it based on the slides available online at http://www.yawlbook.com/home/downloads a university 2009, www.yawlfoundation.org Acknowledgment
More informationA White Paper. Workflow Management Software: Uniting business with technology to satisfy business process management needs
: Uniting business with technology to satisfy business process management needs A White Paper By Joby O Brien Vice President of Development What is Workflow? Workflow has been defined as the automation
More informationUniversity of Pisa. MSc in Computer Engineering. Business Processes Management. Lectures
University of Pisa MSc in Computer Engineering Business Processes Management Large and complex organizations are a tangible manifestation of advanced technology, more than machinery itself. (J.K. Galbraith)
More informationChapter 19. Activity Diagrams
Use a sequence diagram if you want to emphasize the time ordering of messages. Use a collaboration diagram if you want to emphasize the organization of the objects involved in the interaction. Lay out
More informationA Method for Verifiable and Validatable Business Process Modeling
A Method for Verifiable and Validatable Business Process Modeling Egon Börger 1 and Bernhard Thalheim 2 1 Università di Pisa, Dipartimento di Informatica, I-56125 Pisa, Italy boerger@di.unipi.it 2 Chair
More informationRichard Cull 0733636 A BEST PRACTICE METHODOLOGY FOR COMPLIANCE-DRIVEN BPM PROJECTS
Richard Cull 0733636 A BEST PRACTICE METHODOLOGY FOR COMPLIANCE-DRIVEN BPM PROJECTS Since the introduction of the Sarbanes-Oxley Act (SOX) of 2002 there has been much greater pressure on businesses to
More informationBusiness Process Driven SOA using BPMN and BPEL
Business Process Driven SOA using BPMN and BPEL From Business Process Modeling to Orchestration and Service Oriented Architecture Matjaz B. Juric Kapil Pant PUBLISHING BIRMINGHAM - MUMBAI Preface Chapter
More informationEFFECTIVE CONSTRUCTIVE MODELS OF IMPLICIT SELECTION IN BUSINESS PROCESSES. Nataliya Golyan, Vera Golyan, Olga Kalynychenko
380 International Journal Information Theories and Applications, Vol. 18, Number 4, 2011 EFFECTIVE CONSTRUCTIVE MODELS OF IMPLICIT SELECTION IN BUSINESS PROCESSES Nataliya Golyan, Vera Golyan, Olga Kalynychenko
More informationProcess Mining. ^J Springer. Discovery, Conformance and Enhancement of Business Processes. Wil M.R van der Aalst Q UNIVERS1TAT.
Wil M.R van der Aalst Process Mining Discovery, Conformance and Enhancement of Business Processes Q UNIVERS1TAT m LIECHTENSTEIN Bibliothek ^J Springer Contents 1 Introduction I 1.1 Data Explosion I 1.2
More informationAnalysis and Implementation of Workflowbased Supply Chain Management System
Analysis and Implementation of Workflowbased Supply Chain Management System Yan Tu 1 and Baowen Sun 2 1 Information School, Central University of Finance and Economics, Beijing, 100081, P.R.China,Yolanda_tu@yahoo.com.cn
More informationMalay A. Dalal Madhav Erraguntla Perakath Benjamin. Knowledge Based Systems, Inc. (KBSI) College Station, TX 77840, U.S.A.
AN INTRODUCTION TO USING PROSIM FOR BUSINESS PROCESS SIMULATION AND ANALYSIS Malay A. Dalal Madhav Erraguntla Perakath Benjamin Knowledge Based Systems, Inc. (KBSI) College Station, TX 77840, U.S.A. ABSTRACT
More informationModel-Checking Verification for Reliable Web Service
Model-Checking Verification for Reliable Web Service Shin NAKAJIMA Hosei University and PRESTO, JST nkjm@i.hosei.ac.jp Abstract Model-checking is a promising technique for the verification and validation
More informationBusiness-Driven Software Engineering Lecture 3 Foundations of Processes
Business-Driven Software Engineering Lecture 3 Foundations of Processes Jochen Küster jku@zurich.ibm.com Agenda Introduction and Background Process Modeling Foundations Activities and Process Models Summary
More informationAir Force SOA Enterprise Service Bus Study Using Business Process Management Workflow Orchestration for C4I Systems Integration
Air Force SOA Enterprise Service Bus Study Using Business Process Management Workflow Orchestration for C4I s Integration Dr. Timothy D. Kehoe, Irene Chang, Dave Czulada, Howard Kong, Dr. Dino Konstantopoulos
More informationProcess Mining Using BPMN: Relating Event Logs and Process Models
Noname manuscript No. (will be inserted by the editor) Process Mining Using BPMN: Relating Event Logs and Process Models Anna A. Kalenkova W. M. P. van der Aalst Irina A. Lomazova Vladimir A. Rubin Received:
More informationMapping Business Process Modeling constructs to Behavior Driven Development Ubiquitous Language
Mapping Business Process Modeling constructs to Behavior Driven Development Ubiquitous Language Rogerio Atem de Carvalho, Fernando Luiz de Carvalho e Silva, Rodrigo Soares Manhaes Emails: ratem@iff.edu.br,
More informationSummary and Outlook. Business Process Intelligence Course Lecture 8. prof.dr.ir. Wil van der Aalst. www.processmining.org
Business Process Intelligence Course Lecture 8 Summary and Outlook prof.dr.ir. Wil van der Aalst www.processmining.org Overview Chapter 1 Introduction Part I: Preliminaries Chapter 2 Process Modeling and
More informationProcess Diagram Technique for Business Processes Modeling
Process Diagram Technique for Business Processes Modeling Vaclav Repa University of Economics, Prague, Czech Republic ISD2000 Conference, Kristiansand, Norway, August 2000 V.Repa: Process Diagram Technique
More informationFrom Business Process Models to Process-Oriented Software Systems
From Business Process Models to Process-Oriented Software Systems CHUN OUYANG Queensland University of Technology MARLON DUMAS University of Tartu and Queensland University of Technology WIL M. P. VAN
More informationFoundation of Aspect Oriented Business Process Management
Foundation of Aspect Oriented Business Process Management Amin Jalali Department of Computer and Systems Sciences Degree project 30 HE credits Degree subject: computer and Systems Sciences Degree project
More informationSoftware Engineering Reference Framework
Software Engineering Reference Framework Michel Chaudron, Jan Friso Groote, Kees van Hee, Kees Hemerik, Lou Somers, Tom Verhoeff. Department of Mathematics and Computer Science Eindhoven University of
More informationDiagram Models in Continuous Business Process Improvement
JOURNAL OF APPLIED COMPUTER SCIENCE Vol. 22 No. 2 (2014), pp. 118-133 Diagram Models in Continuous Business Process Improvement Mateusz Wibig 1 1 CGI Polska Energy and Resources 39 Sienna Street, Warszawa
More informationUseful Patterns for BPEL Developers
Central Page 457 of 493 Useful Patterns for BPEL Developers Darko Andročec, Dragutin Kermek Faculty of Organization and Informatics University of Zagreb Pavlinska 2, 42000 {darko.androcec, dragutin.kermek}@foi.hr
More informationA Software Framework for Risk-Aware Business Process Management
A Software Framework for Risk-Aware Business Management Raffaele Conforti 1, Marcello La Rosa 1,2, Arthur H.M. ter Hofstede 1,4, Giancarlo Fortino 3, Massimiliano de Leoni 4, Wil M.P. van der Aalst 4,1,
More informationProcess Modeling and Process Improvement. Process Modeling
Process Modeling and Process Improvement Process Modeling Business processes are complex, and require people with various skills and abilities to work in a cooperative fashion Processes will not be efficient
More informationFaculty of Science and Technology MASTER S THESIS. Writer: Artur Latifov
Faculty of Science and Technology MASTER S THESIS Study program/ Specialization: Computer science Spring semester, 2012 Open Writer: Artur Latifov Faculty supervisor: (Artur Latifov) Chunming Rong External
More informationIBM Business Process Manager Version 8 Release 5. Hiring Tutorial IBM
IBM Business Process Manager Version 8 Release 5 Hiring Tutorial IBM Note Before using this information and the product it supports, read the information in Notices on page 95. This edition applies to
More informationFrom Workflow Design Patterns to Logical Specifications
AUTOMATYKA/ AUTOMATICS 2013 Vol. 17 No. 1 http://dx.doi.org/10.7494/automat.2013.17.1.59 Rados³aw Klimek* From Workflow Design Patterns to Logical Specifications 1. Introduction Formal methods in software
More informationBruce Silver Associates Independent Expertise in BPM
Bruce Silver Associates Independent Expertise in BPM BPMN and the Business Process Expert Summary: BPMN has become the standard language of the Business Process Expert, usable for descriptive process modeling,
More informationModel Simulation in Rational Software Architect: Business Process Simulation
Model Simulation in Rational Software Architect: Business Process Simulation Mattias Mohlin Senior Software Architect IBM The BPMN (Business Process Model and Notation) is the industry standard notation
More informationOntological Identification of Patterns for Choreographing Business Workflow
University of Aizu, Graduation Thesis. March, 2010 s1140042 1 Ontological Identification of Patterns for Choreographing Business Workflow Seiji Ota s1140042 Supervised by Incheon Paik Abstract Business
More informationAugmenting a Workflow Management System with Planning Facilities using Colored Petri Nets
Augmenting a Workflow Management System with Planning Facilities using Colored Petri Nets R.S. Mans 1,2, N.C. Russell 1, W.M.P. van der Aalst 1, A.J. Moleman 2, P.J.M. Bakker 2 1 Department of Information
More informationEnsuring Quality in Business-driven Development of IT Systems using Workflow Patterns
Ensuring Quality in Business-driven Development of IT Systems using Workflow Patterns Masud Fazal-Baqaie Datenbank- und Informationssysteme AG Engels What is a Business Process? A business process is a
More informationBPMN Business Process Modeling Notation
BPMN (BPMN) is a graphical notation that describes the logic of steps in a business process. This notation has been especially designed to coordinate the sequence of processes and messages that flow between
More informationCHAPTER 1 INTRODUCTION
1 CHAPTER 1 INTRODUCTION Exploration is a process of discovery. In the database exploration process, an analyst executes a sequence of transformations over a collection of data structures to discover useful
More informationSupporting the Workflow Management System Development Process with YAWL
Supporting the Workflow Management System Development Process with YAWL R.S. Mans 1, W.M.P. van der Aalst 1 Department of Mathematics and Computer Science, Eindhoven University of Technology, P.O. ox 513,
More information