Show simple item record

dc.contributor.authorSole Simò, Marc
dc.contributor.authorCarmona Vargas, Josep
dc.contributor.otherUniversitat Politècnica de Catalunya. Departament de Ciències de la Computació
dc.date.accessioned2018-10-15T09:11:32Z
dc.date.available2018-10-15T09:11:32Z
dc.date.issued2018-10
dc.identifier.citationSole, M., Carmona, J. Encoding process discovery problems in SMT. "Software and systems modeling", Octubre 2018, vol. 17, núm. 4, p. 1055-1078.
dc.identifier.issn1619-1366
dc.identifier.urihttp://hdl.handle.net/2117/122290
dc.description.abstractInformation 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.
dc.format.extent24 p.
dc.language.isoeng
dc.subjectÀrees temàtiques de la UPC::Informàtica::Enginyeria del software
dc.subject.lcshInformation storage and retrieval systems
dc.subject.lcshData mining
dc.subject.lcshSoftware engineering
dc.subject.otherProcess discovery
dc.subject.otherSMT application
dc.subject.otherCausal nets
dc.subject.otherPetri nets
dc.titleEncoding process discovery problems in SMT
dc.typeArticle
dc.subject.lemacInformació -- Sistemes d'emmagatzematge i recuperació
dc.subject.lemacMineria de dades
dc.subject.lemacEnginyeria del programari
dc.contributor.groupUniversitat Politècnica de Catalunya. ALBCOM - Algorismia, Bioinformàtica, Complexitat i Mètodes Formals
dc.identifier.doi10.1007/s10270-016-0536-y
dc.description.peerreviewedPeer Reviewed
dc.relation.publisherversionhttps://link.springer.com/article/10.1007/s10270-016-0536-y
dc.rights.accessOpen Access
local.identifier.drac23391224
dc.description.versionPostprint (author's final draft)
dc.relation.projectidinfo:eu-repo/grantAgreement/MINECO/1PE/TIN2013-46181-C2-1-R
local.citation.authorSole, M.; Carmona, J.
local.citation.publicationNameSoftware and systems modeling
local.citation.volume17
local.citation.number4
local.citation.startingPage1055
local.citation.endingPage1078


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record

All rights reserved. This work is protected by the corresponding intellectual and industrial property rights. Without prejudice to any existing legal exemptions, reproduction, distribution, public communication or transformation of this work are prohibited without permission of the copyright holder