Consistenza di workflow temporali nel linguaggio YAWL

L’obiettivo della tesi sperimentale sviluppata è il controllo della consistenza, a tempo di progettazione, di un workflow temporale creato con YAWL. Un workflow temporale può essere visto come un processo in cui devono essere svolti alcuni lavori in un tempo prestabilito. I workflow che sono stati presi in considerazione in questo lavoro di tesi sono workflow temporali estesi tramite la fuzzy logic, per permettere di rappresentare le nozioni di incertezza e vaghezza. Il software utilizzato per la creazione dei workflow è YAWL (Yet Another Workflow Language), che si suddivide in due parti: un editor grafico per la creazione del workflow e un engine per l’esecuzione del workflow stesso. L’obiettivo principale della tesi è il controllo di consistenza a tempo di progettazione mentre in precedenza l’introduzione del controllo veniva effettuato a tempo di esecuzione.