Ragionamento Automatico su Processi di Business

Questo lavoro presenta applicazioni di tecniche di rappresentazione della conoscenza e ragionamento automatico alla modellazione e all'analisi di processi di business. L'adozione di un approccio basato sulla logica permette di definire modelli che rappresentano non soltanto l'aspetto procedurale dei processi, ma anche la semantica, rispetto a una data ontologia, delle attività eseguite dal processo, la manipolazione dei dati e i vincoli di carattere temporale. Questi modelli possono poi essere analizzati da vari punti di vista utilizzando strumenti sviluppati nel campo del ragionamento automatico, come i sistemi di ragionamento semantico e i solutori di problemi di soddisfacibilità con vincoli.