TY - BOOK ID - 33239544 TI - Conformance Checking : Relating Processes and Models AU - Carmona, Josep. AU - van Dongen, Boudewijn. AU - Solti, Andreas. AU - Weidlich, Matthias. PY - 2018 SN - 331999414X 3319994131 PB - Cham : Springer International Publishing : Imprint: Springer, DB - UniCat KW - Management information systems. KW - Data mining. KW - Big data. KW - Information systems. KW - Information Systems Applications (incl. Internet). KW - Business Process Management. KW - Data Mining and Knowledge Discovery. KW - Big Data/Analytics. KW - Computer Appl. in Administrative Data Processing. KW - Data sets, Large KW - Large data sets KW - Data sets KW - Algorithmic knowledge discovery KW - Factual data analysis KW - KDD (Information retrieval) KW - Knowledge discovery in data KW - Knowledge discovery in databases KW - Mining, Data KW - Database searching KW - Computer-based information systems KW - EIS (Information systems) KW - Executive information systems KW - MIS (Information systems) KW - Sociotechnical systems KW - Information resources management KW - Management KW - Communication systems KW - Application software. KW - Industrial management. KW - Business administration KW - Business enterprises KW - Business management KW - Corporate management KW - Corporations KW - Industrial administration KW - Management, Industrial KW - Rationalization of industry KW - Scientific management KW - Business KW - Industrial organization KW - Application computer programs KW - Application computer software KW - Applications software KW - Apps (Computer software) KW - Computer software UR - https://www.unicat.be/uniCat?func=search&query=sysid:33239544 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. ER -