The course presents techniques for Business Analytics according to the process-driven view of Business Process Modeling. It presents the main concepts and problematic issues related to the process management, where processes are understood as workflow over some basic activities, and to show some of the languages, conceptual models and tools that can help to handle the main problems in a proper way. During the course, the students will become acquainted with the technical terminology
of the area, with several rigorous models that can be used to structure and compose processes, with the logical properties that such processes can be required to satisfy and with specific analysis and verification techniques. Moreover they will be given the possibility to experiment with some advanced tools for the design and analysis of business processes.

Syllabus

- Introduction to key issues in business process management.
- Terminology (business process, business process management, business process management system, business process model, process orchestration, business process lifecycle, workflow) and classification (orchestration vs choreography, automation, structuring).
- Hints on the evolution of business process architectures.
- Process modeling.
- Conceptual models and levels of abstraction.
- Functional decomposition and modularity.
- Process orchestration.
- Process properties.
- Orchestration patterns (sequencing, parallel split, exclusive split, and-join, exclusive join) and structured workflow.
- Rigorous workflow models: Petri nets and workflow nets.
- Tool-supported workflow design and analysis experimentation with state-of-the-art integrated tools for business process design, analysis and verification.