Generazione di tracce negative di processi di business tramite abduzione: uno studio sull'utilizzo del framework SCIFF.

Ogni sforzo umano, dalla pianificazione di una vacanza alla gestione di un complesso processo di produzione, è governato da processi. I processi possono essere ottimizzati dall’esperienza oppure da accurate indagini scientifiche. È molto comune, in ambienti industriali, svolgere attività ripetitive e che richiedono il coinvolgimento di più risorse. Le attività che le aziende sono tenute a svolgere per completare il proprio business stanno diventando sempre più complicate, e richiedono l’interazione di più persone e sistemi eterogenei. Nel tentativo di affrontare queste sfide, l’informatica e molte tecnologie dell’IT sono state sfruttate per gestire i processi aziendali. Le tecnologie esistenti permettono di modellare, gestire e ricavare informazioni dai processi aziendali, attraverso diversi strumenti. Veri e propri linguaggi, che fanno da base a strumenti automatici, sono stati sviluppati a questo scopo. Nuove sfide in questo settore sono: la gestione e la modellazione di processi incompleti o la simulazione di processi reali. Ciò molto spesso è ostacolato dall’indisponibilità di dati e di conseguenza dalla manca di conoscenza, oppure capita che, seppur presenti, i dati risultino inconsistenti. Oggetto di questa tesi è lo studio e la valutazione di metodi per la generazione di tracce positive e negative, ovvero tracce non conformi ad un dato modello. Ciò viene affrontato in maniera teorica, utilizzando il framework logico abduttivo SCIFF come supporto per la generazione di tracce. Dopo un'introduzione sul settore di ricerca e una definizione dello stato dell'arte, viene introdotto il framework SCIFF e la metodologia con la quale opera per la gestione dell'incompletezza dei log e la generazione di essi partendo da un modello. Partendo da questo verrà presentato un approccio per la generazione di tracce negative non compliant al modello, mostrando l'applicazione di esso ai costrutti base di un modello di processo.