Encoding process discovery problems in SMT
Visualitza/Obre
Cita com:
hdl:2117/122290
Tipus de documentArticle
Data publicació2018-10
Condicions d'accésAccés obert
Tots els drets reservats. Aquesta obra està protegida pels drets de propietat intel·lectual i
industrial corresponents. Sense perjudici de les exempcions legals existents, queda prohibida la seva
reproducció, distribució, comunicació pública o transformació sense l'autorització del titular dels drets
ProjecteMODELOS Y METODOS COMPUTACIONALES PARA DATOS MASIVOS ESTRUCTURADOS (MINECO-TIN2013-46181-C2-1-R)
Abstract
Information systems, which are responsible for driving many processes in our lives (health care, the web, municipalities, commerce and business, among others), store information in the form of logs which is often left unused. Process mining, a discipline in between data mining and software engineering, proposes tailored algorithms to exploit the information stored in a log, in order to reason about the processes underlying an information system. A key challenge in process mining is discovery: Given a log, derive a formal process model that can be used afterward for a formal analysis. In this paper, we provide a general approach based on satisfiability modulo theories (SMT) as a solution for this challenging problem. By encoding the problem into the logical/arithmetic domains and using modern SMT engines, it is shown how two separate families of process models can be discovered. The theory of this paper is accompanied with a tool, and experimental results witness the significance of this novel view of the process discovery problem.
CitacióSole, M., Carmona, J. Encoding process discovery problems in SMT. "Software and systems modeling", Octubre 2018, vol. 17, núm. 4, p. 1055-1078.
ISSN1619-1366
Versió de l'editorhttps://link.springer.com/article/10.1007/s10270-016-0536-y
Fitxers | Descripció | Mida | Format | Visualitza |
---|---|---|---|---|
SoSym_SMT.pdf | 683,9Kb | Visualitza/Obre |