Methods for the specification and verification of business processes MPB (6 cfu, 295AA)
|
|
- Dina Lang
- 5 years ago
- Views:
Transcription
1 Methods for the specification and verification of business processes MPB (6 cfu, 295AA) Roberto Bruni Event-driven process chains 1
2 Object Finish image f finish failed Start u V V Evaluate e V redo Create thumbnail t thumbnail failed Image too big Send link l Link sent Image small enough Send image m Image sent We overview EPC and the main challenges that arise when analysing them with Petri nets Ch.4.3, 6 of Business Process Management: Concepts, Languages, Architectures 2
3 Event-driven Process Chain An Event-driven Process Chain (EPC) is a particular type of flow-chart that can be used for configuring an Enterprise Resource Planning (ERP) implementation Supported by many tools (e.g. SAP R/3) EPC Markup Language available (EPML) as interchange format 3
4 EPC overview Rather informal notation simple and easy-to-understand EPC focus is on representing domain concepts and processes (not their formal aspects and technical realization) It can be used to drive the modelling, analysis and redesign of business process 4
5 EPC origin EPC method was originally developed by Wilhelm-August Scheer (early 1990 s) Part of a holistic modelling approach called ARIS framework (Architecture of Integrated Information Systems) 5
6 ARIS house (1999): three pillars and a roof... Organization Data Control Functions 6
7 ...and three levels of abstraction each Organization Concept Architecture Implementation Data Control Functions 7
8 ...and three levels of abstraction each Organizational Diagrams Organization Entity Relatioship Diagrams EPC Business Goals Data Control Functions 8
9 EPC informally An EPC is an ordered graph of events and functions It provides various connectors that allow alternative and parallel execution of processes The flow is specified by logical operators AND,, OR 9
10 Events Any EPC diagram must start with event(s) and end with event(s) Passive elements used to describe under which circumstances a process (or a function) works or which state a process (or a function) results in (like pre- / post-conditions) Graphical representation: hexagons 10
11 Functions Any EPC diagram may involve several functions Active elements used to describe the tasks or activities of a business process Functions can be refined to other EPC diagrams Graphical representation: rounded rectangles 11
12 Logical connectors Any EPC diagram may involve several connectors Elements used to describe the logical relationships between elements in the diagram Branch, merge, fork, join AND OR Graphical representation: circles (or also octagons) X 12
13 Control flow Any EPC diagram may involve several control flow connections Control flow is used to connect events with functions and connectors by expressing causal dependencies Graphical representation: dashed arrows 13
14 EPC ingredients at a glance 14
15 EPC diagrams EPC elements can be combined in a fairly free manner (possibly including cycles) There must be at least one start event and one end event Events have at most one incoming and one outgoing arc Events have at least one incident arc Functions have exactly one incoming and one outgoing arc The graph is weakly connected (no isolated nodes) Connectors have either one incoming arc and multiple outgoing arcs or viceversa (multiple incoming arcs and one outgoing arc) 15
16 EPC ingredients: Diagrams Other constraints are sometimes imposed Unique start / end event No arc between two events No arc between two functions No event is followed by a decision node (i.e. (X)OR-split) 16
17 EPC allowed connections 17
18 EPC an example Finish image f finish failed Start u V V Evaluate e V redo Create thumbnail t thumbnail failed Image too big Send link l Link sent Image small enough Send image m Image sent function event function Legend Start event Simple flow Sequence End event -split Exclusive choice V AND-split Parallel split V OR-split Multi-choice -join Simple merge V AND-join Synchronization V OR-join Gen. Sync. Merge 18
19 Other annotations for functions Information, material, resource object: represents objects in the real world e.g. input data or output data for a function (rectangles linked to function boxes) Organization unit: determines the person or organization responsible for a specific function (ellipses with a vertical line) Supporting system: technical support (rectangles with vertical lines on its sides) 19
20 20
21 21
22 22
23 23
24 24
25 25
26 26
27 27
28 EPC intuitive semantics A process starts when some initial event(s) occurs The activities are executed according to the constraints in the diagram When the process is finished, only final events have not been dealt with If this is always the case, then the EPC is correct 28
29 EPC semantics? Little unanimity around the EPC semantics Rough verbal description in the original publication by Scheer (1992) Later, several attempts to define formal semantics (assigning different meanings to the same EPC) Discrepancies typically stem from the interpretation of (X)OR connectors (in particular, join case) Other issues: unclear start, alternation between events and functions, join/split correspondence 29
30 Problem with start events A start event is an event with no incoming arc A start event invokes a new execution of the process template What if multiple start events occur? Solution: Start events are mutually exclusive (as if they were preceded by an implicit split) 30
31 Problem with start events: solution hypothetical / implicit split A B 31
32 Problem with alternation From empirical studies: middle and upper management people consider strict alternation between events and functions as too restrictive: they find it hard to identify the necessary events at the abstract level of process description they are working at Solution: It is safe to drop the requirement about alternation (dummy events might always be added later) 32
33 Every join has a split observation: Every join has at least one corresponding split (i.e. a split for which there is a path from either output to the input of the join) proof sketch: we trace backward the paths leading to the join from start events; if the start events coincide there is a split node in the path; if start events differ, the candidate split is the implicit 33
34 Problem with corresponding splits The semantics of a join often depends on the nature of the corresponding split But: 1) there can be more candidates to corresponding split 2) and they can have different type than the join candidates of the same type of the join are called matching split Some suggested to have a flag that denotes the corresponding split 34
35 Tagging corresponding splits s1 s2 j1 {s1} j2 {s2} 35
36 Problem with OR join If an OR join has a matching split, the semantics is usually: wait for the completion of all paths activated by the matching split If there is no matching split, some policy must be applied: wait-for-all: wait for the completion of all activated paths (default semantics, because it coincides with that of a matching split) first-come: wait only for the path that is completed first and ignore the second every-time: trigger the outgoing path on each completion (the outgoing path can be activated multiple times) Some suggested to have different (trapezoid) symbols or suitable flags to distinguish the above cases 36
37 Problem with join Similar considerations hold for the join If a join has a matching split, the semantics is intuitive: it blocks if both paths are activated and it is triggered by the completion of a single activated path If there is no matching split: all feasible interpretations that do not involve blocking are already covered by the OR (wait-for-all, first-come, every-time) and contradict the exclusivity of the (a token from one path can be accepted only if we make sure that no second token will arrive via the other path) Some suggest to just forbid the use of in the unmatched case (the implicit start split is allowed as a valid match) 37
38 Sound EPC diagrams We transform EPC diagrams to Workflow nets: the EPC diagram is sound if its net is so We exploit the formal semantics of nets to give unambiguous semantics to EPC diagrams We apply the verification tools we have seen to check if the net is sound 38
39 Translation of EPC to Petri nets 39
40 A note about the transformation We first transform each event, function and connector separately in small net fragments When translating the control flow arcs we may then introduce other places / transitions to preserve the bipartite structure in the net (no arc allowed between two places, no arc allowed between two transitions) We show different translations, depending on whether joins are decorated or not 40
41 First attempt (decorated EPC) PETER RITTGEN MODIFIED EPCS AND THEIR FORMAL SEMANTICS 41
42 EPC Petri net A event place 42
43 EPC Petri net function transition 43
44 EPC Petri net AND split net 44
45 EPC Petri net split net 45
46 EPC Petri net xor + and OR split net 46
47 EPC Petri net AND join net 47
48 EPC Petri net corresponding split? join net 48
49 EPC Petri net most general case??? join net 49
50 EPC Petri net corresponding /OR split? join ok net 50
51 EPC Petri net corresponding AND/OR split?? deadlock! join net 51
52 EPC Petri net better to have a corresponding split! join net 52
53 EPC Petri net corresponding split? net OR join 53
54 EPC Petri net matching OR split OR join net with matched OR split 54
55 EPC Petri net mismatched corresponding split: wfa most general case??? OR join net wait-for-all (mismatched) 55
56 EPC Petri net corresponding AND split wfa OR join net wait-for-all (mismatched) 56
57 EPC Petri net corresponding split wfa OR join net wait-for-all (mismatched) 57
58 EPC Petri net wfa works well??? wfa with any corresponding split OR join net wait-for-all (mismatched) 58
59 EPC Petri net mismatched corresponding split: fc most general case??? OR join first-come (mismatched) net 59
60 EPC Petri net corresponding split fc ok OR join first-come (unmatched) net 60
61 EPC Petri net corresponding AND split fc pending token! OR join first-come (unmatched) net 61
62 EPC fc: Petri net better to have a corresponding fc split! OR join first-come (mismatched) net 62
63 EPC Petri net mismatched corresponding split: et most general case??? OR join net every-time (mismatched) 63
64 EPC Petri net corresponding split et ok OR join net every-time (mismatched) 64
65 EPC Petri net corresponding AND split et multiple OR join every-time (unmatched) tokens! net 65
66 EPC et: Petri net better to have a corresponding et split! OR join net every-time (mismatched) 66
67 split join corresp. split.. matched OR split corresp. split: wfa corresp. split: fc corresp. split: et
68 split join corresp. split better to have a corresp. split matched OR split corresp. split: wfa corresp. split: fc better to have a corresp. split corresp. split: et 68
69 Ill-formed net Petri net dummy transition 69
70 Ill-formed net Petri net dummy place 70
71 implicit Example J2 71
72 Example implicit 72
73 Example 73
74 Example 74
75 Example 75
76 implicit matching split Exercise matching split matching split Sound? (first-come) J2 76
77 ZOOM IN (first-come) J2 77
78 ZOOM IN 78
79 Exercise Start1 Start2 f1 f2 By pass Inner1 Inner2 Sound? Empty f 1 f 2 Stop1 Stop2 79
80 Summary of problems We need to decorate the EPC diagram joins must be decorated with matching/corresponding splits mismatched OR-joins must be decorated with policies Split / join mismatch may induce unexpected behaviour Possible introduction of dummy places and transitions 80
81 Second attempt (no decoration required) Formalization and Verification of Event-driven Process Chains 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, telephone: , 81
82 Simplified EPC We rely on event / function alternation along paths in the diagram and also along paths between two connectors OR-connectors are not considered 82
83 EPC 2 Petri nets: events and functions event place function transition 83
84 EPC 2 Petri nets: split/join connectors The translation of logical connectors depends on the context: if a connector connects functions to events we apply a certain translation if it connects events to functions we apply a different translation 84
85 EPC 2 Petri nets: AND split e1 e1 f1 f1 V V f1 f2 f1 f2 e1 e2 e1 e2 (event to functions) (function to events) 85
86 EPC 2 Petri nets: AND-join e1 e2 e1 e2 f1 f2 f1 f2 V V f1 f1 e1 e1 (events to function) (functions to event) 86
87 EPC 2 Petri nets: split e1 e1 f1 f1 f1 f2 f1 f2 e1 e2 e1 e2 (event to functions) (function to events) 87
88 EPC 2 Petri nets: join e1 e2 e1 e2 f1 f2 f1 f2 f1 f1 e1 e1 (events to function) (functions to event) 88
89 EPC 2 Petri nets: at a glance event place function transition e1 e1 f1 f1 e1 e1 f1 f1 V V f1 f2 f1 f2 e1 e2 e1 e2 f1 f2 f1 f2 e1 e2 e1 e2 e1 e2 e1 e2 f1 f2 f1 f2 e1 e2 e1 e2 f1 f2 f1 f2 V V f1 f1 e1 e1 f1 f1 e1 e1 89
90 EPC 2 nets: Example event A event B event C event A event B event C event A event B event C function X function X event X event X V V function Y function Y (add dummy events and functions) event Y (context-dependent translation) event Y function D function E function D function E function D function E 90
91 Outcome From any EPC we derive a free-choice net Moreover, if we add unique start / end events (and suitable transitions attached to them) the net is a workflow net 91
92 Exercise 92 V V customer order received order customer order order data customer accepted rejected check availability articles available articles need to be produced purchase material make production plan material available plan available produce articles finished product ship order customer order order shipped bill send outstanding accounts check payment completed customer compare customer order received order customer order order data customer accepted rejected check availability articles available articles need to be produced purchase material make production plan material available plan available produce articles finished product ship order customer order order shipped bill send outstanding accounts check payment completed compare customer Check it sound!
93 customer order received register customer order V Exercise start billing start production send bill V purchase material make production plan Sound? outstanding accounts material available plan available V no billing needed V check payment billing completed V ship order produce articles finished product (remind to add dummy events and functions and to guarantee event/function alternation) order shipped 93
94 Relaxed soundness (a third attempt) 94
95 Popularity vs superiority EPC are a quite successful, semiformal notation They lack a comprehensive and consistent syntax They lack even more a corresponding semantics You may restrict the notation, but people will prefer the more liberal (flexible) syntax and ignore the guidelines You may enrich the notation, but people will dislike or misinterpret implementation policies 95
96 What are ultimately business process? Graphical language to communicate concepts Careful selection of symbols shapes, colors, arrows (the alphabet is necessary for communication) Greatest common denominator of the people involved Intuitive meaning (verbal description, no math involved) 96
97 Remember some good old friends Chief Process Officer EPC Business engineer Process participants System architect WFnet Process designer Knowledge worker 97 Process responsible System developer
98 A secret not to tell Ambiguity is useful in practice! The more ways are to interpret a certain construct the more likely an agreement will be reached 98
99 A pragmatic consideration Moreover in the analysis phase the participants may not be ready to finalise the specification and decide for the correct interpretation Yet it is important to find out flaws as soon as possible 99
100 Consequences Ambiguous process descriptions arise in the design phase therefore we need to fix a formal representation that preserves all ambiguities 100
101 Problem EPC is fine (widely adopted) WF nets offer a useful tool but Soundness is too demanding at early stages 101
102 Relaxed soundness A sound behaviour: we move from a start event to an end event so that nothing blocks or remains undone Execution paths leading to unsound behaviour can be used to infer potential mistakes in the EPC If some unsound behaviour is possible but enough sound paths exist the process is called relaxed sound 102
103 A 3-steps approach (keep it simple!) Relaxed Soundness of Business Processes Juliane Dehnert 1, and Peter Rittgen 2 1 Institute of Computer Information Systems, Technical University Berlin, Germany dehnert@cs.tu-berlin.de 2 Institute of Business Informatics, University Koblenz-Landau, Germany rittgen@uni-koblenz.de K.R. Dittrich, A. Geppert, M.C. Norrie (Eds.): CAiSE 2001, LNCS 2068, pp , Springer-Verlag Berlin Heidelberg
104 Step 1: straightforward element map EPC PN EPC PN > > > > 104
105 Step 2: element fusion A B A B A B Unification of elements (Case1) ta tab tb OR Step 1 Step 2 Mapping EPC elements Modul combination to PN!modules C C Fusion of arcs (Case2) C 105
106 Step 3: add unique start / end a) start1 start2 start1 start2 start start start1 start2 Step1 & Step2 Step3 (sometimes /AND can be preferred) end1 end2 end1 end2 end1 end2 OR Step1 & Step2 Step1 & Step2 Step3 Step3 end 106 OR end
107 > goods arrived E11 > C6 Example check goods F8 C8 C7 ok E15 not_ok E14 complaint F10 record receipt of goods F9 Sound? data revised E16 goods recorded E12 C11 > C12 store goods F13 stored E20 107
108 Example 108 > > complaint not_ok ok goods arrived check goods E16 C7 E11 C6 F8 C8 E15 E14 F10 F9 C12 C11 E20 F13 E12 record receipt of goods > data revised goods recorded store goods stored goods arrived complaint check goods i not_ok ok > AND-Split -Join -Join OR-Join OR-Join OR-Join o > > revised of goods record receipt > t1_ t2_ -Split t3_ AND-Split t10_ t4_ t5_ t6_ t7_ t8_ t9_ AND-Join store goods stored recorded goods data -Split s1 s2 s6 s4 s3 s5 s7
109 > > goods arrived E11 > C6 check goods C8 F8 C7 Example ok E15 not_ok E14 complaint F10 F9 record receipt of goods data revised E16 goods recorded E12 Not sound! C11 > C12 store goods F13 stored E20 t5_ OR-Join > s3 t6_ OR-Join record receipt of goods goods recorded goods arrived i t1_ AND-Split s1 s2 check goods t2_ -Split t3_ -Split not_ok ok complaint 109 data revised > t4_ AND-Split s4 s6 t8_ t9_ t7_ OR-Join -Join -Join s7 s5 store goods t10_ AND-Join stored o >
110 > Example We can turn it to sound, but: changes in the net, can be hardly reflected in EPC t5_ OR-Join > s3 t6_ OR-Join record receipt of goods goods recorded goods arrived i t1_ AND-Split s1 s2 check goods t2_ -Split t3_ -Split not_ok ok complaint 110 data revised > t4_ AND-Split s4 s6 t8_ t9_ t7_ OR-Join -Join -Join s7 s5 store goods t10_ AND-Join stored o >
111 Relaxed soundness: formally Definition: A WF net is relaxed sound if every transition belongs to a firing sequence that starts in state i and ends in state o t T. M,M.i M t M o (it is sound enough, in the sense that all transitions are covered by at least one sound execution) 111
112 > > goods arrived E11 > C6 check goods C8 F8 C7 Example ok E15 not_ok E14 complaint F10 F9 record receipt of goods data revised E16 goods recorded E12 Relaxed sound? C11 > C12 store goods F13 stored E20 t5_ OR-Join > s3 t6_ OR-Join record receipt of goods goods recorded goods arrived i t1_ AND-Split s1 s2 check goods t2_ -Split t3_ -Split not_ok ok complaint 112 data revised > t4_ AND-Split s4 s6 t8_ t9_ t7_ OR-Join -Join -Join s7 s5 store goods t10_ AND-Join stored o >
113 > > goods arrived E11 > C6 check goods C8 F8 C7 Example ok E15 not_ok E14 complaint F10 F9 record receipt of goods data revised E16 goods recorded E12 Relaxed sound? C11 > C12 store goods F13 stored E20 t5_ OR-Join > s3 t6_ OR-Join record receipt of goods goods recorded goods arrived i t1_ AND-Split s1 s2 check goods t2_ -Split t3_ -Split not_ok ok complaint 113 data revised > t4_ AND-Split s4 s6 t8_ t9_ t7_ OR-Join -Join -Join s7 s5 store goods t10_ AND-Join stored o >
114 > > goods arrived E11 > C6 check goods C8 F8 C7 Example ok E15 not_ok E14 complaint F10 F9 record receipt of goods data revised E16 goods recorded E12 Relaxed sound? C11 > C12 store goods F13 stored E20 t5_ OR-Join > s3 t6_ OR-Join record receipt of goods goods recorded goods arrived i t1_ AND-Split s1 s2 check goods t2_ -Split t3_ -Split not_ok ok complaint 114 data revised > t4_ AND-Split s4 s6 t8_ t9_ t7_ OR-Join -Join -Join s7 s5 store goods t10_ AND-Join stored o >
115 > > goods arrived E11 > C6 check goods C8 F8 C7 Example ok E15 not_ok E14 complaint F10 F9 record receipt of goods data revised E16 goods recorded E12 Relaxed sound? C11 > C12 store goods F13 stored E20 t5_ OR-Join > s3 t6_ OR-Join record receipt of goods goods recorded goods arrived i t1_ AND-Split s1 s2 check goods t2_ -Split t3_ -Split not_ok ok complaint 115 data revised > t4_ AND-Split s4 s6 t8_ t9_ t7_ OR-Join -Join -Join s7 s5 store goods t10_ AND-Join stored o >
116 > > goods arrived E11 > C6 check goods C8 F8 C7 Example ok E15 not_ok E14 complaint F10 F9 record receipt of goods Not relaxed sound (as WF net)! But relaxed sound as EPC data revised E16 goods recorded E12 (all nodes are covered C11 store goods > F13 C12 by some sound execution) stored E20 t5_ OR-Join > s3 t6_ OR-Join record receipt of goods goods recorded goods arrived i t1_ AND-Split s1 s2 check goods t2_ -Split t3_ -Split not_ok ok complaint 116 data revised > t4_ AND-Split s4 s6 t8_ t9_ t7_ OR-Join -Join -Join s7 s5 store goods t10_ AND-Join stored o >
117 Pros and Cons If the WF net is not relaxed sound: there are transitions that are not part of a sound firing sequence Hence their EPC counterparts need improvements Relaxed soundness can be proven only by enumeration (of enough sound firing sequences) No equivalent characterization is known that is more convenient to check Open research problem 117
Business Processes Modelling MPB (6 cfu, 295AA)
Business Processes Modelling MPB (6 cfu, 295AA) Roberto Bruni http://www.di.unipi.it/~bruni 21 - Event-driven process chains!1 Object Finish image f finish failed Start u V V Evaluate e V redo Create thumbnail
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 20 - Event-driven process chains 1 Object Finish image f finish failed
More informationModeling Process Aware Information Systems with BPMN
Modeling Process Aware Information Systems with BPMN Fabrizio Maria Maggi Based on lecture material by Marlon Dumas (University of Tartu, Estonia) and Wil van der Aalst (Eindhoven University of Technology,
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 04 - Models and Abstraction 1 Object Overview of the conceptual models
More informationBusiness Processes Modelling MPB (6 cfu, 295AA)
Business Processes Modelling MPB (6 cfu, 295AA) Roberto Bruni http://www.di.unipi.it/~bruni 20 - Workflow modules!1 Object We study Workflow modules to model interaction between workflows Ch.6 of Business
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 04 - Methodology 1 Objective Coarse-grained methodology for developing
More informationShort introduction to business process modelling
Prof. Dr.(PL) Michael Unterstein Short introduction to business process modelling 1. Business process vs. traditional functional business organisation 2. What is a business process? 3. Elements of business
More informationErrors in the SAP Reference Model
Errors in the SAP Reference Model Jan Mendling 1, Wil van der Aalst 2, Boudewijn van Dongen 2, and Eric erbeek 2 1 ienna University of Economics and Business Administration, Augasse 2-6, A-1180 ienna,
More informationBusiness Process Modeling
Business Process Modeling Jaelson Castro jbc@cin.ufpe.br Jaelson Castro 2016 1 Objectives Business processes Modeling concurrency and synchronization in business activities BPMN Diagrams Jaelson Castro
More informationBusiness Process Management (BPM) Lecture 2: Introduction to BPMN
MTAT.03.231 Business Process Management (BPM) (for Masters of IT) Lecture 2: Introduction to BPMN Marlon Dumas marlon.dumas ät ut. ee Process Modelling Management 2 What is a Model? Prepare shipment Ship
More informationBusiness Processes Modelling MPB (6 cfu, 295AA)
Business Processes Modelling MPB (6 cfu, 295AA) Roberto Bruni http://www.di.unipi.it/~bruni 04 - Methodology!1 Objective Coarse-grained methodology for developing business process management solutions
More informationIntelligent Decision Support through Synchronized Decomposition of Process and Objectives Structures
Intelligent Decision Support through Synchronized Decomposition of Process and Objectives Structures Dina Neiger, Leonid Churilov School of Business Systems, Monash University {dina.neiger, leonid.churilov}@infotech.monash.edu.au
More informationProcess Modeling Using Event-Driven Process Chains
Process Modeling Using Event-Driven Process Chains Jan Kramer 323356 TA: Daniel Alami Department of Information and Computing Sciences Utrecht University Introduction Event-Driven Process Chains (EPC)
More informationARIS PROCESS PERFORMANCE MANAGER
AUTOMATIC PROCESS DISCOVERY WITH ARIS PROCESS PERFORMANCE MANAGER TABLE OF CONTENTS 1 Introduction 2 Discovery and visualization of (single) process instances 4 Discovery of aggregated process views 6
More informationAgent-based Workflow Management Systems (WfMSs) Company LOGO
Agent-based Workflow Management Systems (WfMSs) Company LOGO JBees a distributed and adaptive WfMS with monitoring and controlling capabilities by Lars Ehrler, Martin Fleurke, Maryam Purvis, Bastin Tony
More informationTowards more flexible internal workflow change: weakly equivalence concept for inter-organizational workflow design
University of Wollongong Research Online Deputy Vice-Chancellor (Academic) - Papers Deputy Vice-Chancellor (Academic) 2007 Towards more flexible internal workflow change: weakly equivalence concept for
More informationInformation Technology Audit & Cyber Security
Information Technology Audit & Cyber Security Use Cases Systems & Infrastructure Lifecycle Management OBJECTIVES Understand the process used to identify business processes and use cases. Understand the
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 02 - Business processes 1 Digression... Eu path no Eu circuit odd odd
More informationMTAT Business Process Management (BPM) (for Masters of IT) Lecture 2: Introduction to BPMN
MTAT.03.231 Business Process Management (BPM) (for Masters of IT) Lecture 2: Introduction to BPMN Marlon Dumas marlon.dumas ät ut. ee Recap: BPMN Lifecycle Goal definition Process modelling (as-is) Process
More informationWorkflow Model Representation Concepts
Workflow Model Representation Concepts József Tick Institute for Software Engineering, John von Neumann Faculty, Budapest Tech tick@bmf.hu Abstract: Workflow management and the possibilities of workflow
More informationData intensive flows. November 2013 Alberto Abelló & Oscar Romero 1
Data intensive flows November 2013 Alberto Abelló & Oscar Romero 1 Knowledge objectives 1. Recognize the importance of usability and taking a user-centered approach 2. Remember BPMN elements regarding
More informationBusiness Process Modeling Information Systems in Industry ( )
Business Process Modeling Information Systems in Industry (372-1-4207 ) Arnon Sturm The material of this presentation is adopted from various people including:, Pnina Soffer, Iris Reinhartz-Berger 1 Outline
More informationUsing Patterns for Communicating About Flexible Processes
Using Patterns for Communicating About Flexible Processes 1 Ralf Laue 1 and Kathrin Kirchner 2 University of Applied Sciences of Zwickau, Department of Computer Science Dr.-Friedrichs-Ring 2a, 08056 Zwickau,
More informationBPMN Guide Quick Start. by Bizagi BPM
BPMN Guide Quick Start by Bizagi BPM 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
More informationThe ArchiMate modelling structures
The ArchiMate modelling structures Monica Scannapieco ESTP Training Course Enterprise Architecture and the different EA layers, application to the ESS context Advanced course Rome, 11 14 October 2016 THE
More informationAutomatic Support for Product Based Workflow Design: Generation of Process Models from a Product Data Model
Automatic Support for Product Based Workflow Design: Generation of Process Models from a Product Data Model Irene Vanderfeesten, Hajo A. Reijers, Wil M.P. van der Aalst, and Jan Vogelaar Technische Universiteit
More informationAutomatic process discovery with Software AG Process Performance Manager
BUSINESS WHITE PAPER Automatic process discovery with Software AG Process Performance Manager TABLE OF CONTENTS 1 Introduction 2 Discovery and visualization of (single) process instances 3 Discovery of
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 02 - Business processes 1 Classes Wednesday: 14:00-16:00, room A Friday:
More informationUse-Case Diagram. Contents. Introduction. 1. Introduction. User-Centred Design (UCD) Users Requirements
Contents Use-Case Diagram MIT, Walailak University by Dr.Wichian Chutimaskul Introduction Business Model using Activity Diagram Domain Analysis using Use-Case Description Documenting Requirements using
More informationAutomatic Process Discovery with ARIS Process Performance Manager (ARIS PPM)
Automatic Process Discovery with ARIS Process Performance Manager (ARIS PPM) It s about behavior! Business White Paper Dr. Tobias Blickle, Dr. Helge Hess Product Managers, Software AG October 2010 Contents
More informationEXTENDING THE EPC AND THE BPMN WITH BUSINESS PROCESS GOALS AND PERFORMANCE MEASURES
EXTENDING THE EPC AND THE BPMN WITH BUSINESS PROCESS GOALS AND PERFORMANCE MEASURES Birgit Korherr, Beate List Women's Postgraduate College for Internet Technologies, Institute of Software Technology and
More informationDetection and Prediction of Errors in EPCs of the SAP Reference Model
Detection and Prediction of Errors in EPCs of the SAP Reference Model J. Mendling a, H.M.W. Verbeek b B.F. van Dongen b W.M.P. van der Aalst b G. Neumann a a Vienna University of Economics and Business
More informationBusiness Processes Modelling MPB (6 cfu, 295AA)
Business Processes Modelling MPB (6 cfu, 295AA) Roberto Bruni http://www.di.unipi.it/~bruni 05 - BP Lifecycle!1 Object Overview the business process lifecycle Sect.1.2 of Business Process Management: Concepts,
More informationTools for S-BPM To Go
Tools for S-BPM 13 13.1 To Go A. Fleischmann et al., Subject-Oriented Business Process Management, DOI 10.1007/978-3-642-32392-8_13, # The Author(s) 2012 241 242 13 Tools for S-BPM In the following sections,
More informationResearch on the Service Modeling Method of Information Management Software based on the Petri Net Model
Research on the Modeling Method of Information Management Software based on the Petri Net Model Han Tianfeng School of Computer Application, Qingdao Hotel Management College P.R.China hantianfeng@126.com
More informationLecture 4 Advanced Process Modeling
MTAT.03.231 Business Process Management Lecture 4 Advanced Process Modeling Marlon Dumas marlon.dumas ät ut. ee 1 Business Process Lifecycle 1. Introduction 2. Process Identification 3. Essential Process
More informationBusiness Processes Modelling MPB (6 cfu, 295AA)
Business Processes Modelling MPB (6 cfu, 295AA) Roberto Bruni http://www.di.unipi.it/~bruni 02 - Business processes!1 Who are you? First Name: Last Name: Enrollment number email: Bachelor degree: MSc course
More informationLearning Hybrid Process Models from Events Process Discovery Without Faking Confidence
SIKS-Day, 6-9-2017, Utrecht Learning Hybrid Process Models from Events Process Discovery Without Faking Confidence prof.dr.ir. Wil van der Aalst www.processmining.org Outline - Positioning process mining
More informationModeling Suspension and Continuation of a Process
Modeling Suspension and Continuation of a Process Oleg Svatos Department of Information Technologies, University of Economics, Prague, Czech Republic svatoso@vse.cz Abstract: This work focuses on difficulties
More informationBUSINESS PROCESS MODELING
BUSINESS PROCESS MODELING Business Architecture - Business Process Modeling 15 Zachman Framework: Business Processes on different Perspectives Vertical Relationships relate the business process represented
More informationIn general, a model is used to understand a system. It is only a representation of a more complicated original system based on mutual
In general, a model is used to understand a system. It is only a representation of a more complicated original system based on mutual characteristics, that is used for a specific exercise by a third system.
More informationProcesses in BPMN 2.0
Process Management Whitepaper Dipl.-Ing. Walter Abel Managing Director Dipl.-Ing. Walter Abel Management Consulting Karl Czerny - Gasse 2/2/32 A - 1200 Vienna Phone: (+43 1) 92912 65 Fax.: (+43 1) 92912
More informationIntegrating Existing Enterprise Systems With Workflow 1
17 th Bled ecommerce Conference eglobal Bled, Slovenia, June 21-23, 2004 Integrating Existing Enterprise Systems With Workflow 1 Patrick Rushe, Jeanne Stynes Cork Institute of Technology, Ireland prushe@cit.ie,
More informationWhere Have We Been? Flowcharts State Transition Diagrams Data Flow Diagrams Structure Charts Petri Nets. Real-Time Systems. Software Engineering - 1
Where Have We Been? Scheduling - Periodic Tasks Scheduling - Sporadic Tasks Communication and Synchronization What Now? Software Engineering Software Life Cycle Specification Methods Flowcharts State Transition
More informationFrom Requirements via Colored Workflow Nets to an Implementation in Several Workflow Systems
From Requirements via Colored Workflow Nets to an Implementation in Several Workflow Systems Ronny S. Mans 1,2, Wil M.P. van der Aalst 1, Nick C. Russell 1, Piet J.M. Bakker 2, Arnold J. Moleman 2, Kristian
More informationLecture 3 Process Modeling I
MTAT.03.231 Business Process Management Lecture 3 Process Modeling I Marlon Dumas marlon.dumas ät ut. ee 1 Business Process Lifecycle 1. Introduction 2. Process Identification 3. Essential Process Modeling
More informationMonitoring Collaboration from a Value Perspective
Monitoring Collaboration from a Value Perspective Lianne Bodenstaff, Andreas Wombacher, Manfred Reichert and Roel Wieringa Information Systems Group, Department of Computer Science, University of Twente,
More informationAn Extension of Business Process Model and Notation for Security Risk Management
UNIVERSITY OF TARTU FACULTY OF MATHEMATICS AND COMPUTER SCIENCE INSTITUTE OF COMPUTER SCIENCE Olga Altuhhova An Extension of Business Process Model and Notation for Security Risk Management Master s thesis
More informationSupporting Healthcare Processes with YAWL4Healthcare
Supporting Healthcare Processes with YAWL4Healthcare Ronny S. Mans 1,3, Nick C. Russell 2, Wil M.P. van der Aalst 1, Arnold J. Moleman 3, Piet J.M. Bakker 3 1 Department of Information Systems, Eindhoven
More informationInternational Journal of Computing and Business Research (IJCBR) ISSN (Online) :
International Journal of Computing and Business Research (IJCBR) ISSN (Online) : 2229-6166 Volume 3 Issue 2 May 2012 LATEST PROGRAMMING LANGUAGE TOOLS FOR BUSINESS PROCESS MODELLING Dr. Ram Shukla, Faculty
More informationEvaluation of Modeling Techniques for Agent- Based Systems
A tutorial report for SENG 609.22 Agent Based Software Engineering Course Instructor: Dr. Behrouz H. Far Evaluation of Modeling Techniques for Agent- Based Systems Prepared by: Wei Shen ABSTRACT To develop
More informationAnalyzing IT Supported Production Control by Relating Petri Nets and UML Static Structure Diagrams
Analyzing IT Supported Production Control by Relating Petri Nets and UML Static Structure Diagrams Henk Jan Pels Technische Universiteit Eindhoven h.j.pels@tue.nl Abstract. A method to model the interaction
More informationWelcome to the course on the working process across branch companies.
Welcome to the course on the working process across branch companies. In this course we will review the major work processes across branch companies. We will start with the intercompany trade process.
More informationWorkflow and Business Process Modeling with UML Activity Diagrams. April 17, 2008
Workflow and Business Process Modeling with UML Activity Diagrams April 17, 2008 1 About Today s Seminar Your input Polls Questions This session will be recorded 2 Introductions ti Boston University Corporate
More informationA Modeling Approach for Collaborative Business Processes based on the UP-ColBPIP Language
A Modeling Approach for Collaborative Business Processes based on the UP-ColBPIP Language Pablo David Villarreal 1, Ivanna Lazarte 1, Jorge Roa 1, Omar Chiotti 1,2 1 CIDISI, Universidad Tecnológica Nacional
More informationThomson Learning DOCUMENTING ACCOUNTING SYSTEMS LEARNING OBJECTIVES
3 DOCUMENTING ACCOUNTING SYSTEMS LEARNING OBJECTIVES After completing this chapter, you should understand: U1. Information represented on UML activity diagrams. U2. Differences between an overview activity
More informationChapter 2 Accountants as Business Analysts. Changing Roles of Accountants in Business
Chapter 2 Accountants as Business Analysts Changing Roles of Accountants in Business - Past; accountants focused on stewardship and reporting functions: kept financial records, prepared financial reports
More informationRequirements Analysis: Evaluating KAOS Models
J. Software Engineering & Applications, 2010, 3, 869-874 doi:10.4236/jsea.2010.39101 Published Online September 2010 (http://www.scirp.org/journal/jsea) 869 Faisal Almisned, Jeroen Keppens King s College,
More informationLecture #5. Prof. John W. Sutherland. January 20, 2006
Lecture #5 Prof. John W. Sutherland January 20, 2006 Describing Processes v Over the next few classes we will explore several techniques for describing processes: q Flow charts q Blueprints q IDEF v We
More informationProcess Specifications. and process modelling
Process Specifications and process modelling Copyright smart-ba 2008 1 process specifications are the pivot around which solutions are specified, designed and implemented Introduction The diagram illustrates
More informationPerforming Business Process Redesign with Best Practices: An Evolutionary Approach
Performing Business Process Redesign with Best Practices: An Evolutionary Approach Mariska Netjes 1, Selma Limam Mansar 2, Hajo A. Reijers 1, and Wil M.P. van der Aalst 1 1 Eindhoven University of Technology,
More informationChapter 2 The Project Management Life Cycle
Information Systems Project Management: A Process and Team Approach 1 Chapter 2 The Project Management Life Cycle Multiple Choice 1. The phases of managing a project are called: a. systems development
More informationPractical Business Process Guide
Modelio Practical Guides Practical Business Process Guide Author: Modeliosoft Consulting Team Version: 1.0 Copyright: Modeliosoft Modeliosoft 21 avenue Victor Hugo 75016 Paris www.modeliosoft.com Introduction
More informationC2 Decision Making and Cognitive Analysis. Modelling Operational Level Planning Processes with Coloured Petri Nets
Submission to the 7 th International Command and Control Research and Technology Symposium Topic C2 Decision Making and Cognitive Analysis Title Modelling Operational Level Planning Processes with Coloured
More informationWorkflow Management. Models, Methods, and Systems. Wil van der Aalst and Kees van Hee. The MIT Press Cambridge, Massachusetts London, England
Workflow Management Models, Methods, and Systems Wil van der Aalst and Kees van Hee The MIT Press Cambridge, Massachusetts London, England 2 Modeling Workflows 2.1 Workflow Concepts The success of a workflow
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 informationProcess Modeling, Process Improvement, and ERP Implementation
Process Modeling, Process Improvement, and ERP Implementation Learning Objectives Use basic flowcharting techniques to map a business process Develop an Event-driven Process Chain (EPC) diagram of a basic
More informationMODEL-BASED RE-ENGINEERING IN THE EUROPEAN CONSTRUCTION INDUSTRY
MODEL-BASED RE-ENGINEERING IN THE EUROPEAN CONSTRUCTION INDUSTRY T. Allweyer, T. Babin-Ebell 1, S. Leinenbach, A.-W. Scheer 2 Abstract: Due to increasing competition, the European construction industry
More informationTDT4250 Modelling of information Systems Autumn Meta-modeling. John Krogstie IDI, NTNU and SINTEF
Meta-modeling John Krogstie IDI, NTNU and SINTEF Meta.ppt 1 Overview of this week Why meta-modeling? Central concepts Domain-specific modeling using MetaEdit A19 Kelly and Pohjonen: "Domain-Specific Modeling
More informationCertkiller.OG questions
Certkiller.OG0-021.80 questions Number: OG0-021 Passing Score: 800 Time Limit: 120 min File Version: 4.8 http://www.gratisexam.com/ OG0-021 ArchiMate 2 Part 1 Examination It guided me step by step through
More informationADAPTIVE MULTIAGENT SYSTEMS APPLIED ON TEMPORAL LOGISTICS NETWORKS. P. Knirsch (1) andi.j.timm (1)
ADAPTIVE MULTIAGENT SYSTEMS APPLIED ON TEMPORAL LOGISTICS NETWORKS P. Knirsch (1) andi.j.timm (1) (1) Logistics Research Group, University of Bremen, P.O. Box 33 04 40, 28334 Bremen, Germany {knirsch,
More informationSkill management in software engineering
Skill management in software engineering Paolo Predonzani, Giancarlo Succi ƒ, Tullio Vernazza Dipartimento di Informatica, Sistemistica e Telematica, Università di Genova, Genova, Italy Department of Electrical
More informationTemporal Verification of Business Processes Using BPMN
Information Engineering Express International Institute of Applied Informatics 2017, Vol.3, No.4, P.105-113 Temporal Verification of Business Processes Using BPMN and CPN Ryoya Shiraki Yoshiyuki Shinkawa
More informationIndustrial Automation course
Industrial Automation course Lesson 11 Petri Nets Modeling Politecnico di Milano Universidad de Monterrey, July 2015, A. L. Cologni 1 Introduction An automated production system is necessary to obtain
More informationMonitoring and controlling of a multi - agent based workflow system
Monitoring and controlling of a multi - agent based workflow system Bastin Tony Roy Savarimuthu, Maryam Purvis, Martin Fleurke Department of Information Science University of Otago PO Box 56, Dunedin,
More informationCS/IT Secure Software Construction
CS/IT 328 - Secure Software Construction Chapter 4 UML the Unified Modeling Language Book: Fowler, UML Distilled, chap. 1.. 4 Notation: Notations and Meta-Models a graphical representation of a model,
More informationCHAPTER 1. Business Process Management & Information Technology
CHAPTER 1 Business Process Management & Information Technology Q. Process From System Engineering Perspective From Business Perspective In system Engineering Arena Process is defined as - a sequence of
More informationEvolutionary Optimization of Business Process Designs
Evolutionary Optimization of Business Process Designs Ashutosh Tiwari, Kostas Vergidis and Rajkumar Roy School of Applied Sciences, Cranfield University, Cranfield, MK43 0AL, U.K. Summary. Business process
More informationMBP1133 Project Management Framework Prepared by Dr Khairul Anuar
MBP1133 Project Management Framework Prepared by Dr Khairul Anuar L4 Project Time Management www.notes638.wordpress.com Content 1. Scheduling 2. Common Scheduling Techniques 3. PERT 4. Network Fundamentals
More informationARIS Expert Paper. March Steps to Business-Driven SOA.
ARIS Expert Paper ARIS Platform Expert Paper March 2007 10 Steps to Business-Driven SOA www.ids-scheer.com Find out more at: www.ids-scheer.com/soa Visionary architecture always requires good building
More informationEnterprise Modeling for Respecting Regulations
Enterprise Modeling for Respecting Regulations Ligita Businska, Marite Kirikova, Ludmila Penicina, Ilze Buksa, Peteris Rudzajs Institute of Applied Computer Systems, Riga Technical University, 1 Kalku,
More informationREDUCING ADMINISTRATIVE BURDEN THROUGH ONLINE DIALOGUES: THE CASE OF DECLARING A PROPERTY TO THE HELLENIC CADASTRE
Administrative Reform and Public Sector Modernization 3 REDUCING ADMINISTRATIVE BURDEN THROUGH ONLINE DIALOGUES: THE CASE OF DECLARING A PROPERTY TO THE HELLENIC CADASTRE Efthimios Tambouris, Alexandros
More informationThe Performance Spectrum Miner: Visual Analytics for Fine-Grained Performance Analysis of Processes
The Performance Spectrum Miner: Visual Analytics for Fine-Grained Performance Analysis of Processes Vadim Denisov 1, Elena elkina, Dirk Fahland 1, and Wil M.P. van der Aalst 1,2 1 Eindhoven University
More informationWP2: Automatic Code Structure and Workflow Generation from Models
OPAALS Project (Contract n IST-034824) OPAALS PROJECT Contract n IST-034824 WP2: Automatic Code Structure and Workflow Generation from Models Del2.5 - Extended automated code/workflow generation example
More informationInformation and Software Technologies. Tomas Skersys Rimantas Butleris Rita Butkiene (Eds.)
Tomas Skersys Rimantas Butleris Rita Butkiene (Eds.) Communications in Computer and Information Science 403 Information and Software Technologies 9th International Conference, ICIST 203 Kaunas, Lithuania,
More informationChapter 1 Introduction
Chapter 1 Introduction Wil van der Aalst, Michael Adams, Arthur ter Hofstede, and Nick Russell 1.1 Overview The area of Business Process Management (BPM) has received considerable attention in recent years
More informationBusiness Process Analysis Case Study
Business Process Analysis Case Study This case study introduces the Global Bike enterprise with focus on its organizational structure and business processes. For this purpose, a comprehensive business
More informationProject Process Modelling. Purpose / Characteristics Business Process Model and Notation (BPMN)
Project Process Modelling Purpose / Characteristics Business Process Model and Notation (BPMN) Project Process Modelling Want processes to be Planned / Tailored to context / Adjusted based on experience
More informationBusiness Process Modelling 28 February 2013
Business Process Modelling 28 February 2013 2 Purpose The workshop aims at stimulating dialogue, answering questions and providing practical demonstrations to enhance your business and process modelling
More informationTHE BPMN GRAPHIC HANDBOOK
THE BPMN GRAPHIC HANDBOOK Copyright 2015 by Esteban Herrera All rights reserved. No part of this book may be reproduced in any form by any electronic or mechanical means including photocopying, recording,
More informationDeveloping Web services using workflow model: an inter-organizational perspective
University of Wollongong Research Online Faculty of Commerce - Papers (Archive) Faculty of Business 2005 Developing Web services using workflow model: an inter-organizational perspective Geng Liang University
More informationProcess Mining for the Real World
Learning Hybrid Process Models from Events Process Mining for the Real World Smart Data Analytics (SDA) research group, University of Bonn, 29-11-2017 Wil van der Aalst www.vdaalst.com @wvdaalst industry
More informationContext-Aware Process Modelling through Imperative and Declarative Approach
Context-Aware Process Modelling through Imperative and Declarative Approach Olaolu Sofela, Lai Xu, and Paul De Vrieze Software Systems Research Centre, Bournemouth University, UK {osofela,lxu,pdvrieze}@bournemouth.ac.uk
More informationDeveloping Web services using workflow model: an interorganisational perspective
University of Wollongong Research Online Faculty of Commerce - Papers (Archive) Faculty of Business 2005 Developing Web services using workflow model: an interorganisational perspective Geng Liang University
More informationMODELING AN ELECTRONIC PORTAL APPLICATION
240 ANNALS OF THE UNIVERSITY OF CRAIOVA ECONOMIC SCIENCES Year XXXXI No. 39 2011 MODELING AN ELECTRONIC PORTAL APPLICATION Prof. Georgeta Șoavă Ph. D University of Craiova Faculty of Economics and Business
More informationFormal Identification of Right-Grained Services for Service-Oriented Modeling
Formal Identification of Right-Grained Services for Service-Oriented Modeling Yukyong Kim and Kyung-Goo Doh** Dept. of Computer Science & Engineering, Hanyang University, Ansan, 426791, South Korea {yukyong,doh}@hanyang.ac.kr
More informationTopic 4: Object-Oriented Approach to Requirements Engineering. Software Engineering. Faculty of Computing Universiti Teknologi Malaysia
Topic 4: Object-Oriented Approach to Requirements Engineering Software Engineering Faculty of Computing Universiti Teknologi Malaysia Software Engineering 2 Topic Outline Part I: Requirements Document
More informationTopic 4: Object-Oriented Approach to Requirements Engineering. Software Engineering. Faculty of Computing Universiti Teknologi Malaysia
Topic 4: Object-Oriented Approach to Requirements Engineering Software Engineering Faculty of Computing Universiti Teknologi Malaysia Software Engineering 2 Topic Outline Part I: Requirements Document
More informationPLANNING & SCHEDULING
PLANNING & SCHEDULING 1 Planning & Scheduling Planning: Process of choosing the method and order of work Scheduling: Process of determining the interrelationship of associated timings of operations. 2
More informationWelcome to the course on the initial configuration process of the Intercompany Integration solution.
Welcome to the course on the initial configuration process of the Intercompany Integration solution. In this course, you will see how to: Follow the process of initializing the branch, head office and
More information