Model Checking Based Approach for Compliance Checking

Martinelli, F; Mercaldo, F; Nardone, V; Orlando, A; Santone, A; Vaglini, G

Nardone, V (reprint author), Univ Sannio, Dept Engn, Benevento, Italy.

INFORMATION TECHNOLOGY AND CONTROL, 2019; 48 (2): 278

Abstract

Process mining is the set of techniques to retrieve a process model starting from available logging data. The discovered process model has to be analy......

Full Text Link