Process discovery algorithms using numerical abstract domains
Visualitza/Obre
Cita com:
hdl:2117/28272
Tipus de documentArticle
Data publicació2014-12-01
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
Abstract
The discovery of process models from event logs has emerged as one of the crucial problems for enabling the continuous support in the life-cycle of an information system. However, in a decade of process discovery research, the algorithms and tools that have appeared are known to have strong limitations in several dimensions. The size of the logs and the formal properties of the model discovered are the two main challenges nowadays. In this paper we propose the use of numerical abstract domains for tackling these two problems, for the particular case of the discovery of Petri nets. First, numerical abstract domains enable the discovery of general process models, requiring no knowledge (e.g., the bound of the Petri net to derive) for the discovery algorithm. Second, by using divide and conquer techniques we are able to control the size of the process discovery problems. The methods proposed in this paper have been implemented in a prototype tool and experiments are reported illustrating the significance of this fresh view of the process discovery problem.
CitacióCarmona, J.; Cortadella, J. Process discovery algorithms using numerical abstract domains. "IEEE transactions on knowledge and data engineering", 01 Desembre 2014, vol. 26, núm. 12, p. 3064-3076.
ISSN1041-4347
Versió de l'editorhttp://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=6606789
Fitxers | Descripció | Mida | Format | Visualitza |
---|---|---|---|---|
root.pdf | Article principal | 841,5Kb | Visualitza/Obre |