Scheda programma d'esame
METODI PER LA SPECIFICA E VERIFICA DI PROCESSI DI BUSINESS
(METHODS FOR THE SPECIFICATION AND VERIFICATION OF BUSINESS PROCESSES)
ROBERTO BRUNI
Anno accademico2017/18
CdSINFORMATICA
Codice372AA
CFU6
PeriodoPrimo semestre
LinguaInglese

ModuliSettore/iTipoOreDocente/i
METODI PER LA SPECIFICA E VERIFICA DI PROCESSI DI BUSINESSINF/01LEZIONI48
ROBERTO BRUNI unimap
Programma non disponibile nella lingua selezionata
Learning outcomes
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.

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
  • 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.

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.

Assessment criteria of skills

Group project.

Behaviors

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

Assessment criteria of behaviors

Oral exam.

Prerequisites

None.

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

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.

Non-attending students info

None.

Assessment methods

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.

 

Additional web pages

Tools

Other references

Notes

None.

Ultimo aggiornamento 17/07/2017 17:33