Modellazione dei processi aziendali

Roberto Bruni      Tel. 0502212785

Il corso si pone l'obiettivo di illustrare i concetti principali e le problematiche inerenti la gestione di processi, intesi come flussi di lavoro (workflow) costruiti componendo certe attivita' atomiche, e di fornire una panoramica dei linguaggi, dei modelli concettuali e degli strumenti automatici basati su essi, che possono essere usati per affrontare le problematiche in maniera adeguata. Per realizzare tale obiettivo, il corso si propone di conciliare le tecniche di astrazione, con l'approccio strutturato e modulare e coi modelli operazionali propri della ricerca scientifica in ambito informatico, mostrando l'influenza esercitata dalle proprieta' di interesse ai fini della analisi e della verifica automatica sulla scelta dei linguaggi e modelli usati per la specifica e la progettazione di processi. Il percorso di apprendimento portera' gli studenti ad acquisire dimestichezza con i termini tecnici dell'area, con i diversi modelli per strutturare e comporre i processi in modo rigoroso, con le proprieta' logiche che questi modelli possono essere richiesti soddisfare e con le tecniche di analisi e verifica dei processi. Inoltre potranno sperimentare i concetti visti con strumenti automatici per progettare e analizzare processi.