Mining di norme da vincoli dichiarativi Declare

Trace alignment is a technique for analyzing log files and process models to identify trace misalignments. In the literature there are many types of models proposed, one of these is norms, rules that must be respected by an actor in relation to a task to achieve or maintain a condition. Unfortunately, the rules are not easily obtainable and are therefore limited in use. In this paper, we propose a new technique to derive norms directly from the log file. By using logs as the basis for mining Declare constraints and translating them into policies, we can speed up the process of generating policies. Our study analyzes a suitable method for deriving Declare constraints from log files and a formalization of various types of translations of the aforementioned constraints into norms.

Il trace alignment è una tecnica di analisi di file di log e modelli di processo volta a identificare disallineamenti della traccia. In letteratura sono molti i tipi di modelli proposti, uno di questi sono le norme, ovvero regole che devono essere rispettate da un attore in relazione a un compito per raggiungere o mantenere una condizione. Le norme purtroppo non sono facilmente ricavabili, risultano quindi limitate nell’utilizzo. In questo documento proponiamo una nuova tecnica per ricavare le norme direttamente dal file di log. Usando i log come base per il mining di vincoli Declare e traducendo quest’ultimi in norme, possiamo velocizzare il processo di generazione di norme. Il nostro studio analizza un metodo adatto per ricavare vincoli Declare dai file di log e una formalizzazione dei vari tipi di traduzioni dei suddetti vincoli in norme.