====== Modellazione dei processi aziendali - Methods for the specification and verification of business processes ====== {{:magistraleinformaticaeconomia:mpb:hand-drawing-diagram.png?160 | }} **MPB 2016/17 (295AA / 372AA, 6 CFU)** Lecturer: **Roberto Bruni** Contact: [[http://www.di.unipi.it/~bruni|web]] - [[mailto:bruni@di.unipi.it|email]] - phone 050 2212785 - fax 050 2212726 Question time: **Wednesday 16:00-18:00 or by appointment** ---- ==== Objectives ==== The course aims to reconcile abstraction techniques and high-level diagrammatic notations together with modular and structural approaches. The objective is to show the impact of the analysis and verification properties of business processes on the choice of the best suited specification and modelling languages. At the end of the course, the students will gain some familiarity with business process terminology, with different models and languages for the representation of business processes, with different kinds of logical properties that such models can satisfy and with different analysis and verification techniques. The students will also experiment with some tools for the design and analysis of business processes. ---- ==== Course Overview ==== Business process management. Evolution of Enterprise Systems Architectures. Conceptual models and abstraction mechanisms. Petri nets: invariants, S-systems, T-systems, Free-choice systems and their properties. Workflow nets and workflow modules. Workflow patterns. Event-driven Process Chains (EPC). Business Process Modelling Notation (BPMN). Yet Another Workflow Language (YAWL). Business Process Execution Language (BPEL). Process Mining. ---- ==== Textbook(s) ==== * [[http://bpm-book.com/|Business Process Management: Concepts, Languages, Architectures]] (book on BPM, main reference) * [[http://wwwis.win.tue.nl/~wvdaalst/publications/p135.pdf|Diagnosing workflow processes using Woflan]] (article on Formal Analysis of Workflows, recommended reading) * [[http://mitpress.mit.edu/books/workflow-management|Workflow Management: Models, Methods, and Systems]] (book on Workflow Management, optional reading) * [[http://www7.in.tum.de/~esparza/bookfc.html|Free Choice Nets]] (book on Petri nets, optional reading) * [[http://fundamentals-of-bpm.org/|Fundamentals of Business Process Management]] (book on BPMN, optional reading) * [[http://www.springer.com/computer/database+management+%26+information+retrieval/book/978-3-642-19344-6|Process Mining]] (book on Process Mining, optional reading) * Further bibliography and lecture notes will be indicated during the course. ---- ==== Quick reference(s) ==== * [[http://www.informatik.uni-hamburg.de/TGI/PetriNets|Petri Nets World]] * [[http://www.pnml.org|PNML (Petri Nets Markup Language)]]: XML-based standard for Petri nets * [[http://www.bpmn.org|BPMN]]: Current specification [[http://www.omg.org/spec/BPMN/2.0/PDF|v2.0]] * [[http://www.oasis-open.org/committees/wsbpel|BPEL]] * [[http://www.workflowpatterns.com|Workflow Patterns]] * [[http://www.processmining.org|Process Mining]] * [[http://www.xes-standard.org|XES (eXtensible Event Stream)]]: XML-based standard for event logs ---- ==== Tool(s) ==== [[http://woped.dhbw-karlsruhe.de/woped/|{{:magistraleinformaticaeconomia:mpb:woped-icon.png?50|http://woped.dhbw-karlsruhe.de/woped/}}]] [[http://www.win.tue.nl/woflan/doku.php|{{:magistraleinformaticaeconomia:mpb:e8adaea8122411aaa79b8afec7c9fb32.media.272x236.jpg?80|http://www.win.tue.nl/woflan/doku.php}}]] [[http://www.yworks.com/en/products_yed_about.html|{{:magistraleinformaticaeconomia:mpb:logo.gif?80}}]] [[http://bpmn.sourceforge.net/|{{:magistraleinformaticaeconomia:mpb:188072_149141125103453_6888195_q.jpg}}]] [[http://www.intalio.com/products/bpms/overview/|{{:magistraleinformaticaeconomia:mpb:bpms.png?70|}}]] [[http://www.bizagi.com/index.php/en/products/bizagi-process-modeler|{{:magistraleinformaticaeconomia:mpb:100x_modeler.png?60|}}]] [[http://www.visual-paradigm.com/product/vpuml|{{:magistraleinformaticaeconomia:mpb:vpuml60logo.gif?150|http://www.visual-paradigm.com/product/vpuml}}]] [[http://www.yawlfoundation.org/|{{:magistraleinformaticaeconomia:mpb:ylogo.png?80|}}]] [[http://www.processmining.org/prom/start|{{:magistraleinformaticaeconomia:mpb:tools.png?60}}]] [[http://bimp.cs.ut.ee/|{{:magistraleinformaticaeconomia:mpb:bimp-log.png?80}}]] * [[http://woped.dhbw-karlsruhe.de/woped/|Woped]]: Workflow Petri Net Designer * [[http://www.win.tue.nl/woflan/doku.php|Woflan]]: a Petri-net-based Workflow Analyzer (Windows only), also available as a [[http://www.processmining.org/prom/start|ProM]] plugin (all platforms) * [[http://www.yworks.com/en/products_yed_about.html|yEd]]: Graph Editor * [[http://bpmn.sourceforge.net/|Yaoqiang BPMN Editor]]: BPMN Editor * [[http://www.intalio.com/products/bpms/overview/|BPMS]]: Intalio BPMN Editor * [[http://www.bizagi.com/index.php/en/products/bizagi-process-modeler|Bizagi Process Modeler]]: BPMN editor (Windows only) * [[http://www.visual-paradigm.com/|Visual Paradigm]] offers University of Pisa [[http://www.visual-paradigm.com/product/vpuml|VP-UML]], [[http://www.visual-paradigm.com/product/lz|Logizian]] for educational use through the [[http://www.visual-paradigm.com/partner/academic/|VP Academic Partner Program]]. * [[http://www.yawlfoundation.org/|YAWL]]: Yet Another Workflow Language platform * [[http://www.processmining.org/prom/start|ProM]]: Process Mining Framework * [[http://bimp.cs.ut.ee/|BIMP]]: Business Process Simulator ---- ==== Exams ==== The evaluation will be based on mid-term written exams, a group project and an oral exam. The final score will be obtained by combining the scores of the above exams with equal weight. The mid-term exam will be held on: **Thursday 03/11/2016 (Room C, 14:00-16:00)**. The student must demonstrate the ability to put into practice and to execute, with critical awareness, the activities illustrated or carried out under the guidance of the teacher during the course. ---- ==== Announcements ==== * **11/10/2016:**\\ The mid-term exam has been scheduled on **Thursday 03/11/2016 (Room C, 14:00-16:00)**\\ [[https://esami.unipi.it/esami/|Registration]] to the exam is mandatory. * **22/09/2016**:\\ All lectures will be moved from room L1 to **room A** * **as the course starts**:\\ Each student should send an email to the professor from his/her favourite email account with **subject MPB16** and the following data\\ (by doing so, the account will be included in the class mailing-list, where important announcements can be sent): - **first name** and **last name** (please clarify which is which, to avoid ambiguities) - **enrolment number** (numero di matricola) - bachelor degree (**course of study** and **university**) ---- ==== Lectures ==== ^ N ^ Date ^ Time ^ Room ^ Lecture notes ^ Topics ^ Links ^ | 1 | Wed 21/09 | 14:00-16:00 | L1 | {{:magistraleinformaticaeconomia:mpb:01-introduction-2016.pdf|Lecture 1}} | Course introduction:\\ //course objectives, textbooks,\\ BPM aim and motivation,\\ models and abstraction// | | | 2 | Fri 23/09 | 11:00-13:00 | A | {{:magistraleinformaticaeconomia:mpb:02-business-processes-2016.pdf|Lecture 2}} | Introduction to Business Processes:\\ //work units, processes, terminology,\\ organizational structures,\\ process management// | | | 3 | Wed 28/09 | 14:00-16:00 | A | {{:magistraleinformaticaeconomia:mpb:02a-examples-2016.pdf|Examples}} | Examples and Exercises | | | 4 | Fri 30/09 | 11:00-13:00 | A | Exercises\\ {{:magistraleinformaticaeconomia:mpb:03-lifecycle-2016.pdf|Lecture 3}} | Business Processes Lifecyle:\\ //design and analysis, configuration,\\ enactment, evaluation,\\ administration and stakeholders// | | | 5 | Wed 05/10 | 14:00-16:00 | A | {{:magistraleinformaticaeconomia:mpb:04-models-2016.pdf|Lecture 4}}\\ {{:magistraleinformaticaeconomia:mpb:05-methodology-2016.pdf|Lecture 5}} | Business Process Modelling Abstractions:\\ //conceptual model, workflow management,\\ horizontal abstraction,\\ aggregation abstraction,\\ vertical abstraction,\\ value chains and value systems, Taylorism,\\ from business functions to processes//\\ \\ Business Process Methodology:\\ //levels of business processes,\\ business strategies, operational goals,\\ organizational BP, operational BP,\\ implemented BP, design guidelines// | | | 6 | Fri 07/10 | 11:00-13:00 | A | {{:magistraleinformaticaeconomia:mpb:06-evolution-2016.pdf|Lecture 6}}\\ {{:magistraleinformaticaeconomia:mpb:07-nets-intro-2016.pdf|Lecture 7}} | Evolution of Enterprise Systems Architectures:\\ //separation of concerns, sw architectures\\ individual enterprise applications,\\ enterprise resource planning system,\\ siloed enterprise applications,\\ enterprise application integration,\\ message-oriented middleware,\\ enterprise service computing//\\ \\ Introduction to Petri nets:\\ //finite state automata// | | | 7 | Wed 12/10 | 14:00-16:00 | A | Petri nets (from Lecture 7)\\ {{:magistraleinformaticaeconomia:mpb:08-petri-2016.pdf|Lecture 8}} | Introduction to Petri nets:\\ //from finite state automata to Petri nets//\\ \\ More concepts about Petri nets:\\ //multisets and markings,\\ transition enabling and firing, firing sequences,\\ reachable markings// | [[http://woped.dhbw-karlsruhe.de/woped/|Woped]] | | 8 | Fri 14/10 | 11:00-13:00 | A | Exercises (from Lectures 7, 8)\\ {{:magistraleinformaticaeconomia:mpb:09-properties-2016.pdf|Lecture 9}} | More concepts about Petri nets:\\ //occurrence graph//\\ \\ Behavioural properties:\\ //liveness, place liveness,\\ deadlock freedom// | | | 9 | Wed 19/10 | 14:00-16:00 | A | Exercises (from Lectures 8, 9)\\ Properties (from Lecture 9) | Behavioural properties:\\ //boundedness, safeness,\\ cyclicity//\\ \\ Structural properties:\\ //weak and strong connectedness,\\ S-systems, T-systems, free-choice nets// | | | 10 | Fri 21/10 | 11:00-13:00 | A | Exercises (from Lecture 9)\\ {{:magistraleinformaticaeconomia:mpb:10-net-matrices-2016.pdf|Lecture 10}}\\ {{:magistraleinformaticaeconomia:mpb:11-invariants-2016.pdf|Lecture 11}} | Nets as matrices:\\ //incidence matrices, markings as vectors,\\ Parikh vectors, marking equation lemma,\\ monotonicity lemma, boundedness lemma,\\ repetition lemma//\\ \\ Invariants:\\ //S-invariants, fundamental property of S-invariants// | | | 11 | Wed 26/10 | 14:00-16:00 | A | Exercises (from Lecture 11)\\ Invariants (from Lecture 11)\\ {{:magistraleinformaticaeconomia:mpb:12-facts-2016.pdf|Lecture 12}}\\ {{:magistraleinformaticaeconomia:mpb:13-workflow-nets-2016.pdf|Lecture 13}} | Invariants:\\ //alternative characterization of S-invariant,\\ support, positive S-invariants,\\ about boundedness, reachability and liveness,\\ T-invariants, fundamental property of T-invariants,\\ alternative characterization of T-invariants,\\ reproduction lemma,\\ about liveness and boundedness//\\ \\ Other properties of nets:\\ //exchange lemmas, connectedness theorems// \\ \\ Workflow nets:\\ //definition, control flow aspects, decorations// | | | 12 | Fri 28/10 | 11:00-13:00 | A | Exercises (from Lectures 11, 12)\\ Workflow nets (from Lecture 13)\\ {{:magistraleinformaticaeconomia:mpb:14-wfnets-analysis-2016.pdf|Lecture 14}} | Workflow nets:\\ //control flow aspects, triggers//\\ \\ Analysis of workflow nets:\\ //structural analysis, activity analysis,\\ token analysis, net analysis,\\ verification and validation,\\ reachability analysis// | | | 13 | Thu 03/11 | 14:00-16:00 | C | {{:magistraleinformaticaeconomia:mpb:testo-2016-11-03.pdf|Mid-Term Exam}} | [[https://esami.unipi.it/esami/|Registration]]\\ (look at {{:magistraleinformaticaeconomia:mpb:all-compiti.pdf|past exercises}}) | | | 14 | Wed 09/11 | 14:00-16:00 | A | Solutions to mid-term exam\\ Exercises (from Lecture 13)\\ Coverability graph (from Lecture 14)\\ Soundness theorem (from Lecture 14) | Analysis of workflow nets:\\ //coverability graph, soundness,\\ N*, soundness theorem// | | | 15 | Fri 11/11 | 11:00-13:00 | A | Exercises (from Lecture 14)\\ {{:magistraleinformaticaeconomia:mpb:15-wfnets-construction-2016.pdf|Lecture 15}}\\ {{:magistraleinformaticaeconomia:mpb:16-s-systems-2016.pdf|Lecture 16}}\\ {{:magistraleinformaticaeconomia:mpb:17-t-systems-2016.pdf|Lecture 17}} | Workflow nets:\\ //soundness (and safeness) by construction//\\ \\ S-systems:\\ //fundamental property of S-systems,\\ S-invariants of S-nets, liveness theorem\\ reachability lemma, reachability theorem,\\ boundedness theorem//\\ \\ T-systems:\\ //circuits and token count on a circuit,\\ fundamental property of T-systems// | | | 16 | Wed 16/11 | 14:00-16:00 | A | Exercises (from Lectures 15, 16)\\ Analysis of T-system (from Lecture 17)\\ {{:magistraleinformaticaeconomia:mpb:notepnp-2016.pdf|A note on P and NP}} (optional reading) | T-systems:\\ //T-invariants of T-nets\\ liveness theorem,\\ boundedness theorem for live T-systems,\\ boundedness in strongly connected T-systems,\\ liveness in strongly connected T-systems// | | | 17 | Fri 18/11 | 11:00-13:00 | A | Exercises (from Lectures 17)\\ {{:magistraleinformaticaeconomia:mpb:18-free-choice-2016.pdf|Lecture 18}} | Free-choice nets:\\ //Fundamental property of free-choice nets,\\ clusters, fundamental property of clusters in f.c. nets,\\ stability, siphons, proper siphons,\\ fundamental property of siphons,\\ siphons and liveness, siphons and deadlock\\ traps, proper traps,\\ fundamental property of traps,\\ a sufficient condition for deadlock freedom,\\ place-liveness and liveness in f.c. nets,\\ non-liveness and unmarked siphons in f.c. nets,\\ Commoner's theorem, complexity issues// | | | 18 | Wed 23/11 | 14:00-16:00 | A | Exercises (from Lecture 18)\\ Rank Theorem (from Lecture 18)\\ S- and T-Covers (from Lecture 18)\\ {{:magistraleinformaticaeconomia:mpb:19-wfnets-diagnosis-2016.pdf|Lecture 19}} | Free-choice nets:\\ //Rank theorem, S-cover, T-cover//\\ \\ Diagnosis of Workflow nets:\\ //Woped, Woflan, TP-handles, PT-handles,\\ well-handled nets, well-structured wf nets// | [[http://www.win.tue.nl/woflan/|Woflan]]\\ [[http://www.processmining.org/prom/start|ProM]] | | 19 | Fri 25/11 | 11:00-13:00 | A | Exercises (from Lectures 19)\\ Error sequences (from Lecture 19)\\ {{:magistraleinformaticaeconomia:mpb:20-workflow-systems-2016.pdf|Lecture 20}} | Diagnosis of Workflow nets:\\ //error sequences, non-live sequences,\\ unbounded sequences//\\ \\ Workflow systems:\\ //workflow modules, strong and weak compatibility,\\ workflow system, weak soundness,\\ DF,k-controllability// | | | 20 | Wed 30/11 | 14:00-16:00 | A | Exercises (from Lectures 19, 20)\\ LF,k-controllability (from Lecture 20)\\ {{:magistraleinformaticaeconomia:mpb:21-epc-2016.pdf|Lecture 21 (updated 02/12)}} | Workflow systems:\\ //LF,k-controllability//\\ \\ EPC:\\ //Notation, semantics ambiguities and problems,\\ corresponding split, matching split// | | | 21 | Fri 02/12 | 11:00-13:00 | A | EPC semantics (from Lecture 21)\\ {{:magistraleinformaticaeconomia:mpb:22-bpmn-2016.pdf|Lecture 22}} | EPC:\\ //policies (wfa, fc, et), from EPC to nets,\\ relaxed soundness//\\ \\ BPMN:\\ //Notation, swimlanes, flow objects// | [[http://www.yworks.com/en/products_yed_about.html|yEd]]\\ [[http://bpmn.sourceforge.net/|Yaoqiang]]\\ [[http://www.intalio.com/products/bpms/overview/|BPMS]]\\ [[http://www.bizagi.com/index.php/en/products/bizagi-process-modeler|Bizagi]]\\ [[http://www.visual-paradigm.com/product/lz|Logizian]] | | 22 | Wed 07/12 | 14:00-16:00 | A | Exercises (from Lectures 21)\\ BPMN (from Lecture 22) | BPMN:\\ //artefacts, connecting onjects,\\ conversations, choreographies, collaborations,\\ from BPMN to nets// | | | 23 | Fri 09/12 | 11:00-13:00 | A | Exercises (from Lectures 22)\\ From BPMN to nets (from Lecture 22)\\ {{:magistraleinformaticaeconomia:mpb:23-bpel-2016.pdf|Lecture 23}} | BPMN:\\ //From BPMN to nets (ctd.)//\\ \\ BPEL:\\ //BPEL structured constructs, links,\\ transition condition, join condition,\\ from BPEL to nets// | [[http://www.processmining.org/prom/start|ProM]] | | 24 | Wed 14/12 | 14:00-16:00 | A | {{:magistraleinformaticaeconomia:mpb:24-quantitative-analysis-2016.pdf|Lecture 24}}\\ {{:magistraleinformaticaeconomia:mpb:25-simulation-2016.pdf|Lecture 25}} | Quantitative analysis:\\ //Performance dimensions and objectives,\\ KPI, cyle time analysis, Little's law,\\ cost analysis//\\ \\ Simulation:\\ //resource allocation, classification diagrams,\\ capacity planning, simulation parameters,\\ task durations, BIMP// | [[http://bimp.cs.ut.ee/|BIMP]]\\ [[http://woped.dhbw-karlsruhe.de/woped/|Woped]]\\ [[http://www.processmining.org/prom/start|ProM]] | | 25 | Fri 16/12 | 11:00-13:00 | A | Exercises (from Lectures 22, 24)\\ {{:magistraleinformaticaeconomia:mpb:26-mining-2016.pdf|Lecture 26 (updated 16/12)}} | Process mining:\\ //Event logs, discovery, conformance,\\ enhancement, perspectives, play-in, play-out,\\ replay, overfitting, underfitting\\ alpha-algorithm, footprint matrix,\\ naive fitness, improved fitness// | [[http://www.processmining.org/prom/start|ProM]] | | end | | | | | | | ---- ==== Past courses ==== * [[magistraleinformaticaeconomia:mpb:2015-16:|A.A. 2015/16]] * [[magistraleinformaticaeconomia:mpb:2014-15:|A.A. 2014/15]] * [[magistraleinformaticaeconomia:mpb:2013-14:|A.A. 2013/14]]