Skip to Main content Skip to Navigation
Conference papers

Encoding Conformance Checking Artefacts in SAT

Abstract : Conformance checking strongly relies on the computation of artefacts, which enable reasoning on the relation between observed and modeled behavior. This paper shows how important conformance artefacts like alignments, anti-alignments or even multi-alignments, defined over the edit distance, can be computed by encoding the problem as a SAT instance. From a general perspective, the work advocates for a unified family of techniques that can compute conformance artefacts in the same way. The prototype implementation of the techniques presented in this paper show capabilities for dealing with some of the current benchmarks , and potential for the near future when optimizations similar to the ones in the literature are incorporated.
Document type :
Conference papers
Complete list of metadata

Cited literature [27 references]  Display  Hide  Download

https://hal.inria.fr/hal-02419980
Contributor : Thomas Chatain <>
Submitted on : Thursday, December 19, 2019 - 4:33:10 PM
Last modification on : Saturday, May 1, 2021 - 3:46:24 AM
Long-term archiving on: : Friday, March 20, 2020 - 8:31:27 PM

File

main_BPI_workshop.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-02419980, version 1

Citation

Mathilde Boltenhagen, Thomas Chatain, Josep Carmona. Encoding Conformance Checking Artefacts in SAT. BPI 2019 - 15th International Workshop on Business Process Intelligence, Sep 2019, Wien, Austria. ⟨hal-02419980⟩

Share

Metrics

Record views

142

Files downloads

593