Lectures

0. Overview (25/02/2015)
1. Introduction (25/02/2015)
2. IS Development (02/03/2015)
3. Object-Role Modeling and CSDP
   1. Step 1 (04/03/2014)
   2. Step 2 (04/03/2015)
   3. Step 3 (11/03/2015)
   4. Step 4 (11-16/03/2015)
   5. Step 5 (18/03/2015)
   6. Step 6 (23/03/2015)
   7. Step 7 (25/04/2015)
4. Relational Mapping (30/03/2015-01/04/2015)
5. Ontological Foundations (08/04/2015)
6. Schema Transformations and Relational Mapping Optimizations (13-15/04/2014)
7. Introduction to BPM (22-27/04/2015)
8. BPMN:
   • Basic modelling (27-29/04/2015)
   • Advanced modelling (29/04-04/05/2015)
9. Control-flow formal analysis (06/05/2014,11/05/2015)
10. Process mining (slides by Wil van der Aalst). (13-18-20/05/2015)
    • Introduction (slides 1-23)
    • Data preparation
    • Process discovery and alpha algorithm (slides 1-33 and 39-52)
    • Conformance checking (slides 1-28)

Labs

1. Introduction to the NORMA Visual Studio Plug-in - hands-on session. (16/03/2015)
   • Experimenting with the tool. Notice that Visual Studio and NORMA can be accessed via virtualization, using your UNIBZ credentials. You can use this internal or external link depending on whether you are working inside or outside the UNIBZ network.
   • Exercise: modeling the CD shop example
   • See also the ORMFoundation tutorial #1.
2. Modelling in NORMA:
   • Hands-on session: sample population (27/03/2014)
     See also the ORMFoundation tutorials #2, #5 and #6.
   • Modelling a complex domain in NORMA (23/03/2015)
3. Relational mapping in NORMA (17/04/2014)
   See also the ORMFoundation tutorials #1 and #8.
4. UML, with discussion on mapping from ORM to UML, and from UML to JAVA objects (20/04/2015).
   • ORM schema to translate
5. Object-relational mapping with Hibernate (21/04/2015).
   • Eclipse project (skeleton)
   • Hibernate documentation
6. BPMN modelling with Oryx Signavio (04/05/2015).
   • Exercises
   • Solution: Hotel process and Payment subprocess
7. Quantitative analysis and simulation (11/05/2015).
   • Exercise
   • Process model for simulation in Signavio
8. Workflow nets and soundness analysis with Woped (05/06/2014).
   • Three BPMN models to be transformed into workflow nets, and then subject to soundness checking through coverability analysis.
9. Process mining with Disco and Prom (13/06/2014).
   • Slides
   • Purchasing CSV log
   • sample 1 and sample 2
   • Exercises from the ProM website
   • Sample logs from the ProM website
10. Exam simulation (05/06/2015).