Scheda programma d'esame
METHODS FOR THE SPECIFICATION AND VERIFICATION OF BUSINESS PROCESSES
ROBERTO BRUNI
Academic year2023/24
CourseCOMPUTER SCIENCE AND NETWORKING
Code295AA
Credits6
PeriodSemester 1
LanguageEnglish

ModulesAreaTypeHoursTeacher(s)
METODI PER LA SPECIFICA E LA VERIFICA DI PROCESSI DI BUSINESSINF/01LEZIONI48
ROBERTO BRUNI unimap
Obiettivi di apprendimento
Learning outcomes
Conoscenze

Gli studenti che supereranno l'esame saranno in grado di progettare processi di business usando le notazioni e i linguaggi standard più diffusi, di derivarne modelli matematici formali che possano essere usati per l'analisi formale di proprietà e di trasferire i risultati delle analisi condotte all'indietro sul modello di partenza. Inoltre avranno una solida base di conoscenze sulle proprietà delle reti di workflow e avranno padronanza delle terminologia corrente nell'ambito dei processi di business. Infine conosceranno le tecniche di base per il process mining e saranno in grado di sperimentare con alcuni strumenti per la progettazione e l'analisi di processi.

Knowledge

The student who successfully completes the course will have the ability to design business processes using the current standard languages and notations, to derive formal models for them, which can be used for different kind of analysis, and to transfer the result of the formal analysis back to the original processes; will be able to demonstrate a solid knowledge of business process models based on workflow nets; will be able to demonstrate advanced knowledge of the formal properties of business processes; will be aware of process mining techniques and their applications; will experiment with some tools for the design and analysis of business processes.

Modalità di verifica delle conoscenze

Gli studenti dovranno dimostrare la loro abilità di applicare, in modo anche critico, le attività di progettazione e analisi illustrate durante il corso sotto la guida del docente.

Metodi:

  • Esame orale finale
  • Sviluppo di un progetto
  • Relazione scritta

 

Assessment criteria of knowledge

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.

Methods:

  • Final oral exam
  • Laboratory report
  • Written report

 

Capacità

Gli studenti dovranno essere in grado di usare delle tecniche e degli strumenti per progettare processi di business, simularne il comportamento, analizzarne le proprietà e misurarne le performance.

 

Skills

The student should be able to use some techniques and tools to design busines processes, to simulate their execution, to analyse their properties and to measure their performance.

Modalità di verifica delle capacità

Progetto da svolgere in gruppo.

Assessment criteria of skills

Group project.

Comportamenti

Gli studenti dovranno essere in gradi di progettare, descrivere e analizzare processi di business.

Behaviors

The student should be able to design, illustrate and analyse business processes.

Modalità di verifica dei comportamenti

Esame orale.

Assessment criteria of behaviors

Oral exam.

Prerequisiti (conoscenze iniziali)

Nessuno.

Prerequisites

None.

Indicazioni metodologiche

Lezioni frontali.

Attività di apprendimento:

  • partecipazione alle lezioni
  • discussioni e domande al docente
  • studio individuale
  • attivitaà di gruppo
  • attività di laboratorio

Frequenza: fortemente consigliata

Metodi di insegnamento:

  • Lezioni frontali
  • sviluppo di un progetto
Teaching methods

Delivery: face to face

Learning activities:

  • attending lectures
  • participation in discussions
  • individual study
  • group work
  • Laboratory work

Attendance: Advised

Teaching methods:

  • Lectures
  • project work
Programma (contenuti dell'insegnamento)

Il corso mira a riconciliare tecniche di astrazone e notazioni diagrammatiche per la rappresentazone di alto livello con approcci modulari e strutturali alla verifica di proprietà. L'obiettivo del corso è di dmostrare l'impatto che l'analisi e la verifica di proprietà può avere sulla progettazioni dei processi di business, inclusa la scelta della notazione o linguaggio di modellazione da utlizzare. I contenuti del corso includono le nozioni di base su business process management, Enterprise Systems Architectures and conceptual models and abstraction mechanisms; the study of Petri nets, workflow nets and workflow modules come modelli formali per business processes; l'analisi critica dei più diffusi workflow patterns e notazioni per la modellazione dei business process come EPC, BPMN, YAWL, BPEL; l'introduzione dei principi e delle tecniche di base per il Process Mining; sperimentazione con strumenti di analisi quali WOPED, WOFLAN, PROM.

Syllabus

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. The content of the course includes basics of business process management, Enterprise Systems Architectures and conceptual models and abstraction mechanisms; the study of Petri nets, workflow nets and workflow modules as formal models for business processes; the presentation of the most common workflow patterns and of business process modeling notations such as EPC, BPMN, YAWL, BPEL; an introduction to Process Mining principles and techniques; practice with analysis tools such as WOPED, WOFLAN, PROM.

Bibliografia e materiale didattico

Riferimenti:

Weske: Business Process Management: Concepts, Languages, Architectures ISBN 978-3-642-28615-5. Springer-Verlag Berlin Heidelberg 2012. (riferimento principale)

Verbeek, Basten, van der Aalst: Diagnosing workflow processes using Woflan. (articolo, lettura consigliata)

van der Aalst, van Hee: Workflow Management: Models, Methods, and Systems (libro, lettura opzionale)

Dumas, La Rosa, Mendling, ReijersFundamentals of Business Process Management (libro su BPMN, lettura opzionale)

van der Aalst: Process Mining (libro su Process Mining, lettura opzionale)

Desel, Esparza: Free Choice Nets (libro, lettura opzionale)

Ulteriore bibliografia sarà indicata durante il corso.

Bibliography

Recommended reading includes the following works:

Weske: Business Process Management: Concepts, Languages, Architectures ISBN 978-3-642-28615-5. Springer-Verlag Berlin Heidelberg 2012. (main reference)

Verbeek, Basten, van der Aalst: Diagnosing workflow processes using Woflan. (article, recommended reading)

van der Aalst, van Hee: Workflow Management: Models, Methods, and Systems (book, optional reading)

Dumas, La Rosa, Mendling, ReijersFundamentals of Business Process Management (book on BPMN, optional reading)

van der Aalst: Process Mining (book on Process Mining, optional reading)

 

Desel, Esparza: Free Choice Nets (book, optional reading)

Further bibliography will be indicated during the course.

Indicazioni per non frequentanti

Nessuna.

Non-attending students info

None.

Modalità d'esame

Progetto da svolgere in gruppo e esame orale.

Il progetto riguarda la progettazione e analisi di uno o più processi di business e diagrammi di collaborazione di medie dimensioni. Il progetto deve essere illustrato in dettaglio da una relazione scritta.

L'esame orale prende spunto dalla discussione del progetto per poi affrontare gli argomenti principali del corso.

 

Assessment methods

Group project and oral exam.

The group project is about the design and analysis of medium-sized business processes and collaboration diagrams. the work done must be llustrated in a written report.

The oral exam starts from the discussion of the project and then touches the main topics of the course.

 

Altri riferimenti web

Strumenti:

Altri riferimenti:

Additional web pages

Tools

Other references

Updated: 31/07/2023 10:19