(METHODS FOR THE SPECIFICATION AND VERIFICATION OF BUSINESS PROCESSES)
CdSINFORMATICA
Codice372AA
CFU6
PeriodoPrimo semestre
LinguaInglese
| Moduli | Settore/i | Tipo | Ore | Docente/i | |
| METODI PER LA SPECIFICA E VERIFICA DI PROCESSI DI BUSINESS | INF/01 | LEZIONI | 48 |
|
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.
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
Further information:
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 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.
Group project.
The student should be able to design, illustrate and analyse business processes.
Oral exam.
None.
Delivery: face to face
Learning activities:
- attending lectures
- participation in discussions
- individual study
- group work
- Laboratory work
Attendance: Advised
Teaching methods:
- Lectures
- project work
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.
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.
None.
Mid-term written exam (optional), group project and oral exam.
The mid-term written exam consists of a series of exercises to be solved in 2 hours.
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.
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
None.