DidaWiki

Questa pagina è in sola lettura. Puoi visualizzare il sorgente, ma non puoi modificarlo. Contatta l'amministratore se pensi che ci sia un errore.
====== Modellazione dei processi aziendali - Methods for the specification and verification of business processes ======


**MPB 2013/14 (295AA / 372AA, 6 CFU)**

Lecturer: **Roberto Bruni** ([[http://www.di.unipi.it/~bruni|web]] - [[http://www.cli.di.unipi.it/~rbruni|CLI]] - [[mailto:rbruni@cli.di.unipi.it|email]] - phone 050 2212785 - fax 050 2212726)

Question time: **Thursday 15:00-17: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, main reference)
  * [[http://wwwis.win.tue.nl/~wvdaalst/publications/p135.pdf|Diagnosing workflow processes using Woflan]] (article, recommended reading)
  * [[http://www.workflowcourse.com/|Workflow Management: Models, Methods, and Systems]] (book, optional reading)
  * [[http://www7.in.tum.de/~esparza/bookfc.html|Free Choice Nets]] (book, optional reading)
  * Further bibliography and lecture notes will be indicated during the course.

----

==== 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.win.tue.nl/woflan/doku.php|Woflan]]: a Petri-net-based Workflow Analyzer

[[http://woped.dhbw-karlsruhe.de/woped/|Woped]]: Workflow Petri Net Designer

[[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]]: BPMN Editor

[[http://www.bizagi.com/index.php/en/products/bizagi-process-modeler|Bizagi Process Modeler]]: BPMN editor

[[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]].

----

==== 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 **wednesday November 6, 14:00-16:00 in Room A1**.

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.

----


==== Lectures ====

^ N ^ Date ^ Time ^ Room ^ Lecture notes ^ Topics ^ Links ^
| 1 |  Wed 25/09 | 16-18 | N1 | {{:magistraleinformaticaeconomia:mpb:01-introduction.pdf|Lecture 1}} | Course introduction: //course objectives, textbooks,\\ BPM aim and motivation, models and abstraction// |  |
| 2 |  Fri 27/09 | 11-13 | L1 | {{:magistraleinformaticaeconomia:mpb:02-business-processes.pdf|Lecture 2}} | Introduction to Business Processes: //work units, processes,\\ terminology, organizational structures, process management// |  |
| 3 |  Wed 02/10 | 16-18 | N1 | {{:magistraleinformaticaeconomia:mpb:02a-examples.pdf|Examples}} | Examples and Exercises |  |
| 4 |  Fri 04/10 | 11-13 | L1 | {{:magistraleinformaticaeconomia:mpb:03-lifecycle.pdf|Lecture 3}} | Business Processes Lifecyle: //design and analysis,\\ configuration, enactment, evaluation,\\ administration and stakeholders// |  |
| 5 |  Wed 09/10 | 16-18 | N1 | {{:magistraleinformaticaeconomia:mpb:04-methodology.pdf|Lecture 4}} | Business Process Methodology:\\ //levels of business processes, business strategies,\\ operational goals, organizational BP, operational BP,\\ implemented BP, strategy and organization,\\ BP methodology// |  |
| 6 |  Fri 11/10 | 11-13 | L1 | {{:magistraleinformaticaeconomia:mpb:05-evolution.pdf|Lecture 5 (updated 11 Oct.)}}\\ {{:magistraleinformaticaeconomia:mpb:06-abstraction.pdf|Lecture 6}}| Evolution of Enterprise Systems Architectures:\\ //separation of concerns, individual enterprise applications,\\ siloed EA, EA integration, value chains and process orientation,\\ workflow management coalition, enterprise service computing// \\ \\ Business Process Modelling Abstractions:\\ //conceptual model, horizontal abstraction,\\ aggregation abstraction, vertical abstraction,\\ from value systems to BP implementation// |  |
| 7 |  Wed 16/10 | 14-16 | N1 | {{:magistraleinformaticaeconomia:mpb:07-nets-intro.pdf|Lecture 7}}\\ {{:magistraleinformaticaeconomia:mpb:07-nets-intro-Astar.pdf|Notation A* (uploaded 22 Oct.)}} | Introduction to Petri nets:\\ //from finite state automata to Petri nets,\\ multisets and markings// |  |
| 8 |  Fri 18/10 | 11-13 | L1 | {{:magistraleinformaticaeconomia:mpb:08-nets-more.pdf|Lecture 8 (updated 16 Oct.)}}\\ {{:magistraleinformaticaeconomia:mpb:08-nets-more-reachable-marking.pdf|Reachable marking (uploaded 22 Oct.)}} |More concepts about Petri nets:\\ //transition enabling and firing, firing sequences,\\ reachable markings, occurrence graph// |  |
| 9 | Wed 23/10 | 14-16 | N1 | Exercises (from Lecture 8) | Examples and Exercises |  | 
| 10 | Fri 25/10 | 11-13 | L1 | Behavioural and structural properties\\ (informally, from Lecture 8)\\ {{:magistraleinformaticaeconomia:mpb:08-nets-more-formal.pdf|Behavioural properties, formally}}\\ {{:magistraleinformaticaeconomia:mpb:09-net-matrices.pdf|Lecture 9}} | Net properties overview:\\ //liveness, deadlock freedom, boundedness, safeness,\\ cyclicity, place liveness, weak and strong connectedness,\\ S-systems, T-systems, free-choice nets// \\ \\ Nets as matrices: //incidence matrices,\\ markings as vectors, Parikh vectors,\\ marking equation lemma, monotonicity lemma// |  |
| 11 | Wed 30/10 | 14-17 | N1 | {{:magistraleinformaticaeconomia:mpb:10-invariants.pdf|Lecture 10}}\\ Exercises | Invariants:\\ //S-invariants, fundamental property of S-invariants,\\ alternative characterization, support, positive S-invariants,\\ about boundedness, reachability and liveness,\\ T-invariants, fundamental property of T-invariants,\\ alternative characterization, reproduction lemma,\\ about liveness and boundedness//  |  |
| 12 | Fri 01/11 | 11-13 | L1 | Holiday |  |  |
| 13 | Wed 06/11 | 14-16 | A1 | Mid-Term Exam |  |  |
| 14 | Fri 08/11 | 11-13 | L1 | Holiday |  |  |
| 15 | Wed 13/11 | 14-17 | N1 | Solutions to exercises\\ T-invariants (from Lecture 10)\\ {{:magistraleinformaticaeconomia:mpb:11-properties.pdf|Lecture 11}}\\ {{:magistraleinformaticaeconomia:mpb:12-workflow-nets.pdf|Lecture 12}} | Properties as invariants:\\ //liveness, deadlock freedom, boundedness// \\ \\ Other properties:\\ //boundedness lemma, exchange lemmas, connectedness theorems// \\ \\ Workflow nets:\\ //definition, control flow aspects, decorations// |  |
| 16 | Fri 15/11 | 11-13 | L1 | {{:magistraleinformaticaeconomia:mpb:13-wfnets-analysis.pdf|Lecture 13}}\\ {{:magistraleinformaticaeconomia:mpb:14-wfnets-construction.pdf|Lecture 14}} | Analysis of workflow nets:\\ //structural analysis, activity analysis, token analysis,\\ net analysis, verification and validation,\\ reachability analysis, coverability graph,\\ soundness, reset transition, main soundness theorem// \\ \\ Workflow nets:\\ //soundness (and safeness) by construction// | [[http://woped.dhbw-karlsruhe.de/woped/|Woped]] |
| 17 | Wed 20/11 | 14-16 | N1 | {{:magistraleinformaticaeconomia:mpb:15-st-systems.pdf|Lecture 15}} | S-systems:\\ //fundamental property of S-systems, S-invariants of S-nets,\\ reachability lemma for S-nets, liveness theorem,\\ reachability theorem, boundedness theorem// \\ \\  T-systems:\\ //circuits and token count on a circuit,\\ fundamental property of 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// |  |
| 18 | Fri 22/11 | 11-13 | L1 | Exercises\\ {{:magistraleinformaticaeconomia:mpb:16-free-choice.pdf|Lecture 16}} | Free-choice nets:\\ //Fundamental property of free-choice nets,\\ clusters, fundamental property of clusters in f.c. nets,\\ stability, siphons, proper siphon,\\ 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// |  |
| 19 | Wed 27/11 | 14-17 | N1 | Free-choice nets (from Lecture 16)\\ {{:magistraleinformaticaeconomia:mpb:17-wfnets-diagnosis.pdf|Lecture 17}}\\ {{:magistraleinformaticaeconomia:mpb:18-workflow-systems.pdf|Lecture 18}} | Free-choice nets:\\ //Commoner's theorem, complexity issues, rank theorem, S-cover, T-cover// \\ \\ Diagnosis of Workflow nets:\\ //Woped, Woflan, TP-handles, PT-handles, well-handled nets,\\ well-structured workflow netsnets, error sequences,\\ non-live sequences, unbounded sequences// \\ \\ Workflow systems:\\ //workflow modules, strong and weak structural compatibility,\\ workflow system, weak soundness// | [[http://www.win.tue.nl/woflan/|Woflan]] |
| 20 | Fri 29/11 | - | - | Canceled |  |  |
| 21 | Wed 04/12 | 14-17 | N1 | {{:magistraleinformaticaeconomia:mpb:19-epc.pdf|Lecture 19}} | EPC: |  |
| 22 | Fri 06/12 | 11-13 | L1 | {{:magistraleinformaticaeconomia:mpb:20-bpmn.pdf|Lecture 20}}\\ {{:magistraleinformaticaeconomia:mpb:21-workflow-patterns.pdf|Lecture 21}} | BPMN:\\ \\ Workflow patterns: |  |
| 23 | Wed 11/12 | 14-16 | N1 | {{:magistraleinformaticaeconomia:mpb:22-bpel.pdf|Lecture 22}}\\ {{:magistraleinformaticaeconomia:mpb:23-yawl.pdf|Lecture 23}} | BPEL:\\ \\ YAWL: |  |
| 24 | Fri 13/12 | 11-13 | L1 | {{:magistraleinformaticaeconomia:mpb:24-mining.pdf|Lecture 24}} | Process mining: |  |
| end |  |  |  |  |  |  |


----