Strumenti Utente

Strumenti Sito


magistraleinformaticaeconomia:mpb:start

Business Processes Modeling

MPB 2020/21 (295AA / 372AA, 6 cfu)

Lecturer: Roberto Bruni

Contact: web - email - phone 050 2212785 - fax 050 2212726

Office hours: Wednesday 14:00-16: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)


Quick reference(s)


Tool(s)

http://woped.dhbw-karlsruhe.de/woped/ http://www.win.tue.nl/woflan/doku.php 188072_149141125103453_6888195_q.jpg http://www.visual-paradigm.com/product/vpuml


Exams

The evaluation will be based on a group project and an oral exam.

Registration to the exam is mandatory.

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

  • lecture rescheduled:
    The lecture of thursday Oct. 15 has been rescheduled on wednesday Oct. 28, 16:15-18:00
  • lecture canceled:
    The lecture of thursday Oct. 15 is canceled due to personal matters and will be rescheduled (possibly on a wednesday)
  • lecture canceled:
    The lecture of monday Sept. 21 is canceled due to election day
  • covid-19:
    Due to the covid-19 alert, all lectures are held online on the Microsoft Teams platform. Click to enter the virtual classroom
  • as the course starts:
    Each student should send an email to the professor from his/her favourite email account with subject MPB20 and the following data
    (by doing so, the account will be included in the class mailing-list, where important announcements can be sent):
    1. first name and last name (please clarify which is which, to avoid ambiguities)
    2. enrolment number (numero di matricola)
    3. bachelor degree (course of study and university)

Lectures (first half)

Virtual classroom: To join a lecture enter the virtual classroom, go to the Calendar tab and click on the scheduled lecture.

N Date Time Room Lecture notes Topics Links
1 Mon 14/09 11:00-12:45 Microsoft Teams Lecture 1 Course introduction:
course objectives, textbooks,
BPM aim and motivation,
models and abstraction
2 Wed 16/09 16:15-18:00 Microsoft Teams Lecture 2 Introduction to Business Processes:
Taylorism, work units, processes, terminology,
organizational structures
- Mon 21/09 11:00-12:45 Canceled Election day
3 Thu 24/09 16:15-18:00 Microsoft Teams Lecture 2 (2nd part) Introduction to Business Processes:
Processo orientation and reengineering, main definitions,
visual notations
4 Mon 28/09 11:00-12:45 Microsoft Teams Exercises
Examples
Examples and Exercises
5 Thu 01/10 16:15-18:00 Microsoft Teams Examples (ctd.) Examples and Exercises
6 Mon 05/10 11:00-12:45 Microsoft Teams Examples and Exercises (ctd.)
Lecture 3
Examples and Exercises

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
7 Thu 08/10 16:15-18:00 Microsoft Teams Lecture 3 (2nd part)
Lecture 4
Evolution of Enterprise Systems Architectures:
enterprise service computing

Business Process Modelling Abstractions:
Separation of concerns, horizontal abstraction,
aggregation abstraction, vertical abstraction
8 Mon 12/10 11:00-12:45 Microsoft Teams Lecture 5
Lecture 6
Business Process Methodology:
levels of business processes,
business strategies, operational goals,
organizational BP, operational BP,
implemented BP, design guidelines,
from business functions to processes


Business Processes Lifecyle:
design and analysis, configuration,
enactment, evaluation,
administration and stakeholders

\\Mathematical background:
Sets, functions, relations
- Thu 15/10 16:15-18:00 Canceled
9 Mon 19/10 11:00-12:45 Microsoft Teams Lecture 7 (1st part) Mathematical background:
predicate logic, induction, recursion

Introduction to Petri nets:
finite state automata
10 Thu 22/10 16:15-18:00 Microsoft Teams Exercises (from Lecture 7)
Lecture 7 (2nd part)
Lecture 8
Introduction to Petri nets:
from automata to Petri nets

More concepts about Petri nets:
multisets and markings,
transition enabling and firing, firing sequences,
reachable markings, occurrence graph
Woped
11 Mon 26/10 11:00-12:45 Microsoft Teams Exercises (from Lecture 8)
Lecture 9
Exercises (from Lecture 9)
Modelling with Petri nets:
Examples and Exercises

Behavioural properties:
liveness, place liveness, deadlock freedom,
boundedness, safeness, cyclicity


Structural properties:
weak and strong connectedness,
S-systems, T-systems, free-choice nets
12 Wed 28/10 16:15-18:00 Microsoft Teams Exercises (from Lecture 9)
Lecture 10
Exercises (from Lecture 10)
Lecture 11 (1st part)
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,
alternative characterization of S-invariant
13 Thu 29/10 16:15-18:00 Microsoft Teams Exercises (from Lecture 11)
Lecture 11 (2nd part)
Invariants:
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
14 Mon 02/11 11:00-12:45 Microsoft Teams Exercises (from Lecture 11)
Lecture 12
Exercises (from Lecture 12)
Lecture 13
Exercises (from Lecture 13)
Other properties of nets:
connectedness theorems, exchange lemmas
(their proofs are optional reading)


Workflow nets:
definition, syntax sugar, subprocesses,
control flow aspects, triggers
Woped
15 Thu 05/11 16:15-18:00 Microsoft Teams Lecture 14 Analysis of workflow nets:
structural analysis, activity analysis,
token analysis, net analysis, verification and validation,
reachability analysis, coverability graph,
soundness, N*, strong connectedness of N*,
main soundness theorem
16 Mon 09/11 11:00-12:45 Microsoft Teams Exercises (from Lecture 14)
Lecture 15
Lecture 16
Safe Workflow nets:
soundness (and safeness) by construction

S-systems:
fundamental property of S-systems,
S-invariants of S-nets, liveness theorem,
reachability lemma (proof is optional reading),
reachability theorem, boundedness theorem,
workflow S-nets
17 Thu 12/11 16:15-18:00 Microsoft Teams Preparation to self-assessment Past exercises
Selected solutions
18 - - Microsoft Teams Self-assessment Exam

Lectures (second half)

N Date Time Room Lecture notes Topics Links
19 Mon 16/11 11:00-12:45 Microsoft Teams Solutions to mid-term exam
Exercises (from Lecture 15)
Exercises (from Lecture 16)
Lecture 17
Exercises (from Lecture 17)
A note on P and NP (optional reading)
Lecture 18 (1st part)
T-systems:
circuits and token count on a circuit,
fundamental property of T-systems,
T-invariants of T-nets,
boundedness in strongly connected T-systems,
liveness theorem for T-systems,
boundedness theorem for live T-systems,
workflow T-nets


Decision problems and computational complexity (optional reading)

Free-choice nets:
Fundamental property of free-choice nets
20 Thu 19/11 16:15-18:00 Microsoft Teams Lecture 18 (2nd part) Free-choice nets:
clusters, 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,
Rank theorem, S-cover, T-cover
21 Mon 23/11 11:00-12:45 Microsoft Teams Exercises (from Lecture 17)
Exercises (from Lecture 18)
Lecture 19
Diagnosis of Workflow nets:
Woped, Woflan, ProM, TP-handles, PT-handles,
well-handled nets, well-structured wf nets,
error sequences, non-live sequences,
unbounded sequences
Woped
Woflan
ProM
22 Thu 26/11 16:15-18:00 Microsoft Teams Exercises (from Lecture 19)
Lecture 20
Exercises (from Lecture 20)
Lecture 21 (1st part)
Workflow systems:
workflow modules, strong and weak compatibility,
workflow system, weak soundness


EPC:
Notation, semantics ambiguities and problems,
corresponding split, matching split,
policies (wfa, fc, et), from EPC to nets
from EPC to free-choice nets
yEd
VP
23 Mon 30/11 11:00-12:45 Microsoft Teams Exercises (from Lectures 20)
Exercises (from Lecture 21)
Lecture 21 (2nd part)
Lecture 22 (1st part)
EPC:
relaxed soundness, from EPC to nets again

BPMN:
Notation, swimlanes, flow objects,
artefacts, connecting objects,
a few patterns
yEd
Yaoqiang
BPMN.io
BPMS
Bizagi
VP
ProM
24 Thu 03/12 16:15-18:00 Microsoft Teams Lecture 22 (2nd part)
Exercises (from Lecture 22)
BPMN:
conversations, choreographies,
collaborations, from BPMN to nets
25 Mon 07/12 11:00-12:45 Microsoft Teams Lecture 23
Exercises (from Lecture 23)
Lecture 24 (1st part)
Quantitative analysis:
Performance dimensions and objectives,
KPI, cyle time analysis, Little's law, cost analysis


Process mining:
Intro
26 Thu 10/12 16:15-18:00 Microsoft Teams Lecture 24 (2nd part) Process mining:
Event logs, discovery, conformance,
enhancement, perspectives, play-in, play-out,
replay, overfitting, underfitting
alpha-algorithm, footprint matrix,
naive fitness, improved fitness,
comparing footprints (optional reading)
ProM
end

Past courses

magistraleinformaticaeconomia/mpb/start.txt · Ultima modifica: 22/10/2020 alle 09:45 (3 giorni fa) da Roberto Bruni