Business Process Modeling – prof. Roberto Bruni

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

Argomenti del programma: Il corso mira a riconciliare 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.