Conformance checking: relating processes and models, relating processes and models

Josep Carmona, Boudewijn van Dongen, Andreas Solti, Matthias Weidlich

Research output: Book/ReportBookAcademic

27 Citations (Scopus)

Abstract

This book introduces readers to the field of conformance checking as a whole and outlines the fundamental relation between modelled and recorded behaviour. Conformance checking interrelates the modelled and recorded behaviour of a given process and provides techniques and methods for comparing and analysing observed instances of a process in the presence of a model, independent of the model's origin. Its goal is to provide an overview of the essential techniques and methods in this field at an intuitive level, together with precise formalisations of its underlying principles. The book is divided into three parts, that are meant to cover different perspectives of the field of conformance checking. Part I presents a comprehensive yet accessible overview of the essential concepts used to interrelate modelled and recorded behaviour. It also serves as a reference for assessing how conformance checking efforts could be applied in specific domains. Next, Part II provides readers with detailed insights into algorithms for conformance checking, including the most commonly used formal notions and their instantiation for specific analysis questions. Lastly, Part III highlights applications that help to make sense of conformance checking results, thereby providing a necessary next step to increase the value of a given process model. They help to interpret the outcomes of conformance checking and incorporate them by means of enhancement and repair techniques. Providing the core building blocks of conformance checking and describing its main applications, this book mainly addresses students specializing in business process management, researchers entering process mining and conformance checking for the first time, and advanced professionals whose work involves process evaluation, modelling and optimization.

Original languageEnglish
Place of PublicationCham
PublisherSpringer International Publishing Switzerland
Number of pages277
ISBN (Electronic)978-3-319-99414-7
ISBN (Print)978-3-319-99413-0
DOIs
Publication statusPublished - 11 Nov 2018

Fingerprint

Repair
Students
Process model
Industry
Process mining
Formalization
Modeling
Business process management
Enhancement

Cite this

Carmona, J., van Dongen, B., Solti, A., & Weidlich, M. (2018). Conformance checking: relating processes and models, relating processes and models. Cham: Springer International Publishing Switzerland. https://doi.org/10.1007/978-3-319-99414-7
Carmona, Josep ; van Dongen, Boudewijn ; Solti, Andreas ; Weidlich, Matthias. / Conformance checking : relating processes and models, relating processes and models. Cham : Springer International Publishing Switzerland, 2018. 277 p.
@book{7b562bdff4f745e29cb87d9e24d587de,
title = "Conformance checking: relating processes and models, relating processes and models",
abstract = "This book introduces readers to the field of conformance checking as a whole and outlines the fundamental relation between modelled and recorded behaviour. Conformance checking interrelates the modelled and recorded behaviour of a given process and provides techniques and methods for comparing and analysing observed instances of a process in the presence of a model, independent of the model's origin. Its goal is to provide an overview of the essential techniques and methods in this field at an intuitive level, together with precise formalisations of its underlying principles. The book is divided into three parts, that are meant to cover different perspectives of the field of conformance checking. Part I presents a comprehensive yet accessible overview of the essential concepts used to interrelate modelled and recorded behaviour. It also serves as a reference for assessing how conformance checking efforts could be applied in specific domains. Next, Part II provides readers with detailed insights into algorithms for conformance checking, including the most commonly used formal notions and their instantiation for specific analysis questions. Lastly, Part III highlights applications that help to make sense of conformance checking results, thereby providing a necessary next step to increase the value of a given process model. They help to interpret the outcomes of conformance checking and incorporate them by means of enhancement and repair techniques. Providing the core building blocks of conformance checking and describing its main applications, this book mainly addresses students specializing in business process management, researchers entering process mining and conformance checking for the first time, and advanced professionals whose work involves process evaluation, modelling and optimization.",
author = "Josep Carmona and {van Dongen}, Boudewijn and Andreas Solti and Matthias Weidlich",
year = "2018",
month = "11",
day = "11",
doi = "10.1007/978-3-319-99414-7",
language = "English",
isbn = "978-3-319-99413-0",
publisher = "Springer International Publishing Switzerland",

}

Carmona, J, van Dongen, B, Solti, A & Weidlich, M 2018, Conformance checking: relating processes and models, relating processes and models. Springer International Publishing Switzerland, Cham. https://doi.org/10.1007/978-3-319-99414-7

Conformance checking : relating processes and models, relating processes and models. / Carmona, Josep; van Dongen, Boudewijn; Solti, Andreas; Weidlich, Matthias.

Cham : Springer International Publishing Switzerland, 2018. 277 p.

Research output: Book/ReportBookAcademic

TY - BOOK

T1 - Conformance checking

T2 - relating processes and models, relating processes and models

AU - Carmona, Josep

AU - van Dongen, Boudewijn

AU - Solti, Andreas

AU - Weidlich, Matthias

PY - 2018/11/11

Y1 - 2018/11/11

N2 - This book introduces readers to the field of conformance checking as a whole and outlines the fundamental relation between modelled and recorded behaviour. Conformance checking interrelates the modelled and recorded behaviour of a given process and provides techniques and methods for comparing and analysing observed instances of a process in the presence of a model, independent of the model's origin. Its goal is to provide an overview of the essential techniques and methods in this field at an intuitive level, together with precise formalisations of its underlying principles. The book is divided into three parts, that are meant to cover different perspectives of the field of conformance checking. Part I presents a comprehensive yet accessible overview of the essential concepts used to interrelate modelled and recorded behaviour. It also serves as a reference for assessing how conformance checking efforts could be applied in specific domains. Next, Part II provides readers with detailed insights into algorithms for conformance checking, including the most commonly used formal notions and their instantiation for specific analysis questions. Lastly, Part III highlights applications that help to make sense of conformance checking results, thereby providing a necessary next step to increase the value of a given process model. They help to interpret the outcomes of conformance checking and incorporate them by means of enhancement and repair techniques. Providing the core building blocks of conformance checking and describing its main applications, this book mainly addresses students specializing in business process management, researchers entering process mining and conformance checking for the first time, and advanced professionals whose work involves process evaluation, modelling and optimization.

AB - This book introduces readers to the field of conformance checking as a whole and outlines the fundamental relation between modelled and recorded behaviour. Conformance checking interrelates the modelled and recorded behaviour of a given process and provides techniques and methods for comparing and analysing observed instances of a process in the presence of a model, independent of the model's origin. Its goal is to provide an overview of the essential techniques and methods in this field at an intuitive level, together with precise formalisations of its underlying principles. The book is divided into three parts, that are meant to cover different perspectives of the field of conformance checking. Part I presents a comprehensive yet accessible overview of the essential concepts used to interrelate modelled and recorded behaviour. It also serves as a reference for assessing how conformance checking efforts could be applied in specific domains. Next, Part II provides readers with detailed insights into algorithms for conformance checking, including the most commonly used formal notions and their instantiation for specific analysis questions. Lastly, Part III highlights applications that help to make sense of conformance checking results, thereby providing a necessary next step to increase the value of a given process model. They help to interpret the outcomes of conformance checking and incorporate them by means of enhancement and repair techniques. Providing the core building blocks of conformance checking and describing its main applications, this book mainly addresses students specializing in business process management, researchers entering process mining and conformance checking for the first time, and advanced professionals whose work involves process evaluation, modelling and optimization.

UR - http://www.scopus.com/inward/record.url?scp=85073657166&partnerID=8YFLogxK

U2 - 10.1007/978-3-319-99414-7

DO - 10.1007/978-3-319-99414-7

M3 - Book

AN - SCOPUS:85073657166

SN - 978-3-319-99413-0

BT - Conformance checking

PB - Springer International Publishing Switzerland

CY - Cham

ER -

Carmona J, van Dongen B, Solti A, Weidlich M. Conformance checking: relating processes and models, relating processes and models. Cham: Springer International Publishing Switzerland, 2018. 277 p. https://doi.org/10.1007/978-3-319-99414-7