Model checking of mixed-paradigm process models in a discovery context: Finding the fit between declarative and procedural

Johannes De Smedt, Claudio Di Ciccio, Jan Vanthienen, Jan Mendling

Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)peer-review

Abstract

The act of retrieving process models from event-based data logs can offer valuable information to business owners. Many approaches have been proposed for this purpose, mining for either a procedural or declarative outcome. A blended approach that combines both process model paradigms exists and offers a great way to deal with process environments which consist of different layers of flexibility. In this paper, it will be shown how to check such models for correctness, and how this checking can contribute to retrieving the models as well. The approach is based on intersecting both parts of the model and provides an effective way to check (i) whether the behavior is aligned, and (ii) where the model can be improved according to errors that arise along the respective paradigms. To this end, we extend the functionality of Fusion Miner, a mixed-paradigm process miner, in a way to inspect which amount of flexibility is right for the event log. The procedure is demonstrated with an implemented model checker and verified on real-life event logs.
Original languageEnglish
Title of host publicationLecture Notes in Business Information Processing
PublisherSpringer-Verlag Berlin Heidelberg
Pages74-86
Number of pages13
Volume281
ISBN (Electronic)978-3-319-58457-7
ISBN (Print)978-3-319-58456-0
DOIs
Publication statusE-pub ahead of print - 6 May 2017
Event12th International Workshop on Business Process Intelligence 2016 - BPM 2016, Rio De Janeiro, Brazil
Duration: 18 Sep 201622 Sep 2016
http://bpm2016.uniriotec.br/

Publication series

NameLecture Notes in Business Information Processing
PublisherSpringer
ISSN (Print)1865-1348

Workshop

Workshop12th International Workshop on Business Process Intelligence 2016
Country/TerritoryBrazil
CityRio De Janeiro
Period18/09/1622/09/16
Internet address

Keywords

  • declarative process models
  • model checking
  • process mining

Fingerprint

Dive into the research topics of 'Model checking of mixed-paradigm process models in a discovery context: Finding the fit between declarative and procedural'. Together they form a unique fingerprint.

Cite this