Libri UniversitariApri il catalogo

Business Process Modeling – Pisa

Università di Pisa · Dipartimento di Informatica · tutti i canali con docenti e libri, a.a. 2026/2027

Prof. Roberto Bruni Canale unico

Corso di laurea: Data Science and Business Informatics – sede di Pisa · Laurea magistrale (LM Data) · 1º anno · 1º semestre · 6 CFU

Pisa · Dipartimento di Informatica · 6 CFU · apri nel catalogo · Data Science and Business Informatics – sede di Pisa · 1º anno · 1º semestre ›

Weske

Management – Architectures ISBN 978-3-642-28615-5Cerca su Amazon ›Il prof non ha cambiato il libro dall'anno scorsoVerificato sulla scheda ufficiale il 02/10/2026
Bacheca del docente: cosa indica di studiare
  • 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.

Apri la scheda ufficiale ›
Aiutaci a tenerci aggiornati
Il prof ha indicato altri libri, pagine o modifiche? Scrivicelo.

Prof. Roberto Bruni Canale unico

Corso di laurea: Informatica – sede di Pisa · Laurea magistrale (LM-18) · 2º anno · 1º semestre · 6 CFU

Pisa · Dipartimento di Informatica · 6 CFU · apri nel catalogo · Informatica – sede di Pisa · 2º anno · 1º semestre ›

Weske

Management – Architectures ISBN 978-3-642-28615-5Cerca su Amazon ›Il prof non ha cambiato il libro dall'anno scorsoVerificato sulla scheda ufficiale il 02/10/2026
Bacheca del docente: cosa indica di studiare
  • 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.

Apri la scheda ufficiale ›
Aiutaci a tenerci aggiornati
Il prof ha indicato altri libri, pagine o modifiche? Scrivicelo.