Overview
- Provides an overview of essential techniques and methods for conformance checking based on precise formalisations
- Presents applications and software tools used for conformance checking
- Complemented by exercises and a website with additional teaching material
Access this book
Tax calculation will be finalised at checkout
Other ways to access
Table of contents (13 chapters)
-
Front Matter
-
Basics of Conformance Checking
-
Front Matter
-
-
A Deep Dive into Conformance Checking
-
Front Matter
-
-
Conformance Checking Applications
-
Front Matter
-
-
Back Matter
Keywords
About this book
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 IIprovides 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.
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 IIprovides 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.
Reviews
“This long-awaited book paints a comprehensive and enlightening landscape of methods for business process conformance checking. It successfully strikes a sweet spot between providing a pedagogic introduction to the field and deep-diving into technical details for a selected subset of methods. As such, the book is suitable both as a graduate textbook and as a technical reference for researchers and practitioners in the rapidly developing fields of business process analytics and process mining.” (Marlon Dumas, University of Tartu, Estonia)
“The book will be a reference for people interested in the intricate relationship between models and reality.” (Wil van der Aalst, RWTH Aachen University, Germany)
“This book constitutes an important addition to Business Process Management, as it details concepts, tools and techniques for checking conformance of process execution logs with process models. I congratulate the authors fortheir efforts.” (John Mylopoulos, University of Toronto, Canada)
“The textbook investigates the relationship of process models with what happens on the ground. It is formally precise, yet very accessible, and definitely a must-read for everyone interested in process mining.” (Mathias Weske, HPI, University of Potsdam, Germany)
“Written by four BPM experts this is a must-read for everyone interested in conformance checking. The book provides an excellent introduction into conformance checking covering the existing state-of-the art very comprehensively. I can highly recommend the book to students, researchers, and practitioners for an up-to-date knowledge on conformance checking. With the inclusion of exercises and lab sessions the book is also suitable as a textbook.” (Barbara Weber, Technical University of Denmark)
“The book will be a reference for people interested in the intricate relationship between models and reality.” (Wil van der Aalst, RWTH Aachen University, Germany)
“This book constitutes an important addition to Business Process Management, as it details concepts, tools and techniques for checking conformance of process execution logs with process models. I congratulate the authors fortheir efforts.” (John Mylopoulos, University of Toronto, Canada)
“The textbook investigates the relationship of process models with what happens on the ground. It is formally precise, yet very accessible, and definitely a must-read for everyone interested in process mining.” (Mathias Weske, HPI, University of Potsdam, Germany)
“Written by four BPM experts this is a must-read for everyone interested in conformance checking. The book provides an excellent introduction into conformance checking covering the existing state-of-the art very comprehensively. I can highly recommend the book to students, researchers, and practitioners for an up-to-date knowledge on conformance checking. With the inclusion of exercises and lab sessions the book is also suitable as a textbook.” (Barbara Weber, Technical University of Denmark)
Authors and Affiliations
About the authors
Josep Carmona is an associate professor at the Computer Science Department of the Universitat Politècnica de Catalunya, Spain. He has taught process mining to students and practitioners for a decade in several countries. He is also an active researcher in process mining, business process mangament, formal methods and data science. He is involved in several open-source projects related to these fields.
Boudewijn van Dongen is chair of the process analytics research group at the Department of Mathematics and Computer Science of the Eindhoven University of Technology. He has been an active researcher in the field of process mining since the first papers on the topic appeared in the late nineties and today he focusses on both fundamental questions in the area of conformance checking as well as the engineering aspects thereof. His research group maintains the process mining framework ProM which allows students, researchers and practitionersworldwide to contribute to state-of-the-art developments in process mining.
Andreas Solti is a post doctoral researcher with the Institute for Information Business at the Vienna University of Economics and Business (Austria). His research interests are in the area process mining, process analytics, optimization, and sensor data analytics. He is also interested in adaptive learning technologies that can be supported with machine learning and natural language processing.
Matthias Weidlich heads a research group at Humboldt-Universität zu Berlin, Germany. His research interests include process-oriented and event-driven information systems. Specifically, his group develops formal methods for the specification and verification of such systems, their analysis based on event data, and techniques that optimise their run-time behaviour.
Boudewijn van Dongen is chair of the process analytics research group at the Department of Mathematics and Computer Science of the Eindhoven University of Technology. He has been an active researcher in the field of process mining since the first papers on the topic appeared in the late nineties and today he focusses on both fundamental questions in the area of conformance checking as well as the engineering aspects thereof. His research group maintains the process mining framework ProM which allows students, researchers and practitionersworldwide to contribute to state-of-the-art developments in process mining.
Andreas Solti is a post doctoral researcher with the Institute for Information Business at the Vienna University of Economics and Business (Austria). His research interests are in the area process mining, process analytics, optimization, and sensor data analytics. He is also interested in adaptive learning technologies that can be supported with machine learning and natural language processing.
Matthias Weidlich heads a research group at Humboldt-Universität zu Berlin, Germany. His research interests include process-oriented and event-driven information systems. Specifically, his group develops formal methods for the specification and verification of such systems, their analysis based on event data, and techniques that optimise their run-time behaviour.
Bibliographic Information
Book Title: Conformance Checking
Book Subtitle: Relating Processes and Models
Authors: Josep Carmona, Boudewijn van Dongen, Andreas Solti, Matthias Weidlich
DOI: https://doi.org/10.1007/978-3-319-99414-7
Publisher: Springer Cham
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer Nature Switzerland AG 2018
Hardcover ISBN: 978-3-319-99413-0Published: 24 November 2018
eBook ISBN: 978-3-319-99414-7Published: 11 November 2018
Edition Number: 1
Number of Pages: XIV, 270
Number of Illustrations: 101 b/w illustrations, 63 illustrations in colour
Topics: Information Systems Applications (incl. Internet), Business Process Management, Data Mining and Knowledge Discovery, Big Data/Analytics, Computer Appl. in Administrative Data Processing