Loading...
Loading...

Go to the content (press return)

Process discovery algorithms using numerical abstract domains

Author
Carmona, J.; Cortadella, J.
Type of activity
Journal article
Journal
IEEE transactions on knowledge and data engineering
Date of publication
2014-12-01
Volume
26
Number
12
First page
3064
Last page
3076
DOI
https://doi.org/10.1109/TKDE.2013.156 Open in new window
Project funding
Minería de procesos: descubriendo métodos formales para el diseño de sistemas concurrentes
Métodos formales y algoritmos para el diseño de sistemas
Repository
http://hdl.handle.net/2117/28272 Open in new window
URL
http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=6606789 Open in new window
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 f...
Citation
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.
Keywords
Concurrency, Formal methods, Numerical abstract domains, Process discovery, Process models
Group of research
ALBCOM - Algorithms, Computational Biology, Complexity and Formal Methods

Participants

Attachments