We present a tool for compiling three problems from the Process Mining community into Answer Set Programming: Log Generation, Conformance Checking, and Query Checking. For each problem, two versions are addressed, one considering only the control-flow perspective and the other considering also the data perspective. The tool can support companies in analyzing their business processes; it is highly flexible and general, and can be easily modified to address other problems from Declarative Process Mining.
A tool for compiling Declarative Process Mining problems in ASP / Chiariello, Francesco; Maria Maggi, Fabrizio; Patrizi, Fabio. - In: SOFTWARE IMPACTS. - ISSN 2665-9638. - 14:(2022). [10.1016/j.simpa.2022.100435]
A tool for compiling Declarative Process Mining problems in ASP
Francesco Chiariello
;Fabio Patrizi
2022
Abstract
We present a tool for compiling three problems from the Process Mining community into Answer Set Programming: Log Generation, Conformance Checking, and Query Checking. For each problem, two versions are addressed, one considering only the control-flow perspective and the other considering also the data perspective. The tool can support companies in analyzing their business processes; it is highly flexible and general, and can be easily modified to address other problems from Declarative Process Mining.| File | Dimensione | Formato | |
|---|---|---|---|
|
Chiariello_A-tool-for-compiling _2022.pdf
accesso aperto
Tipologia:
Versione editoriale (versione pubblicata con il layout dell'editore)
Licenza:
Creative commons
Dimensione
422.73 kB
Formato
Adobe PDF
|
422.73 kB | Adobe PDF |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
