(METHODS FOR THE SPECIFICATION AND VERIFICATION OF BUSINESS PROCESSES)
CdSDATA SCIENCE AND BUSINESS INFORMATICS
Codice295AA
CFU6
PeriodoPrimo semestre
LinguaInglese
Moduli | Settore/i | Tipo | Ore | Docente/i | |
METODI PER LA SPECIFICA E LA VERIFICA DI PROCESSI DI BUSINESS | INF/01 | LEZIONI | 48 |
|
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.
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.
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
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
- Periodic written tests
- Laboratory report
- Written report
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.
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.
Progetto da svolgere in gruppo.
Group project.
Gli studenti dovranno essere in gradi di progettare, descrivere e analizzare processi di business.
The student should be able to design, illustrate and analyse business processes.
Esame orale.
Oral exam.
Nessuno.
None.
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
Delivery: face to face
Learning activities:
- attending lectures
- participation in discussions
- individual study
- group work
- Laboratory work
Attendance: Advised
Teaching methods:
- Lectures
- project work
Il corso mira a ricnonciliare 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.
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.
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, Reijers: Fundamentals 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.
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, Reijers: Fundamentals 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.
Nessuna.
None.
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.
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.
http://didawiki.di.unipi.it/doku.php/magistraleinformaticaeconomia/mpb/
Strumenti:
- Woped: Workflow Petri Net Designer
- Woflan: a Petri-net-based Workflow Analyzer (Windows only), also available as a ProM plugin (all platforms)
- yEd: Graph Editor
- Yaoqiang BPMN Editor: BPMN Editor
- BPMS: Intalio BPMN Editor
- Bizagi Process Modeler: BPMN editor (Windows only)
- Visual Paradigm offers University of Pisa VP-UML, Logizian for educational use through the VP Academic Partner Program.
- YAWL: Yet Another Workflow Language platform
- ProM: Process Mining Framework
- BIMP: Business Process Simulator
Altri riferimenti:
- Petri Nets World
- PNML (Petri Nets Markup Language): XML-based standard for Petri nets
- BPMN: Current specification v2.0
- BPEL
- Workflow Patterns
- Process Mining
- XES (eXtensible Event Stream): XML-based standard for event logs
Tools
- Woped: Workflow Petri Net Designer
- Woflan: a Petri-net-based Workflow Analyzer (Windows only), also available as a ProM plugin (all platforms)
- yEd: Graph Editor
- Yaoqiang BPMN Editor: BPMN Editor
- BPMS: Intalio BPMN Editor
- Bizagi Process Modeler: BPMN editor (Windows only)
- Visual Paradigm offers University of Pisa VP-UML, Logizian for educational use through the VP Academic Partner Program.
- YAWL: Yet Another Workflow Language platform
- ProM: Process Mining Framework
- BIMP: Business Process Simulator
Other references
- Petri Nets World
- PNML (Petri Nets Markup Language): XML-based standard for Petri nets
- BPMN: Current specification v2.0
- BPEL
- Workflow Patterns
- Process Mining
- XES (eXtensible Event Stream): XML-based standard for event logs