Process mining meets abstract interpretation

Consultar RECERCAT

Para acceder a los documentos con el texto completo, por favor, siga el siguiente enlace: http://hdl.handle.net/2117/88077

dc.contributor	Universitat Politècnica de Catalunya. Departament de Llenguatges i Sistemes Informàtics
dc.contributor	Universitat Politècnica de Catalunya. ALBCOM - Algorismia, Bioinformàtica, Complexitat i Mètodes Formals
dc.contributor.author	Carmona Vargas, Josep
dc.contributor.author	Cortadella, Jordi
dc.date	2010-07
dc.identifier.citation	Carmona, J., Cortadella, J. "Process mining meets abstract interpretation". 2010.
dc.identifier.uri	http://hdl.handle.net/2117/88077
dc.language.iso	eng
dc.relation	LSI-10-15-R
dc.rights	info:eu-repo/semantics/openAccess
dc.subject	Àrees temàtiques de la UPC::Informàtica::Intel·ligència artificial
dc.subject	Data mining
dc.subject	Formal specification
dc.subject	Formal verification
dc.subject	Information systems
dc.subject	Petri nets
dc.subject	Program diagnostics
dc.title	Process mining meets abstract interpretation
dc.type	info:eu-repo/semantics/publishedVersion
dc.type	info:eu-repo/semantics/report
dc.description.abstract	The discovery of process models out of system traces is an interesting problem that has received significant attention in the last years. In this work, a theory for the derivation of a Petri net from a set of traces is presented. The method is based on the theory of abstract interpretation, which has been applied successfully in other areas. The principal application of the theory presented is Process Mining, an area that tries to incorporate the use of formal models both in the design and use of information systems.

Carmona Vargas, Josep; Cortadella, Jordi

Carmona Vargas, Josep; Cortadella, Jordi; Pastor Llorens, Enric

Carmona Vargas, Josep; Cortadella, Jordi

Carmona Vargas, Josep; Cortadella, Jordi; Kishinevsky, Michael; Kondratyev, Alex; Lavagno, Luciano; Yakovlev, Alex

Carmona Vargas, Josep; Cortadella, Jordi; Kishinevsky, Michael

Coordinación

Patrocinio