Conformance Checking: Relating Processes and Models

این کتاب خوانندگان را با حوزه بررسی انطباق به طور کلی آشنا می‌کند و رابطه اساسی بین رفتار مدل‌سازی‌شده و ثبت‌شده را تشریح می‌کند. بررسی انطباق، رفتار مدل‌سازی‌شده و ثبت‌شده یک فرآیند معین را به هم مرتبط می‌کند و تکنیک‌ها و روش‌هایی را برای مقایسه و تحلیل نمونه‌های مشاهده‌شده یک فرآیند در حضور یک مدل، مستقل از منشأ مدل، ارائه می‌کند. هدف آن ارائه یک مرور کلی از تکنیک ها و روش های ضروری در این زمینه در سطحی شهودی، همراه با رسمی سازی دقیق اصول زیربنایی آن است.
این کتاب به سه بخش تقسیم شده است که هدف آن پوشش دیدگاه های مختلف است. زمینه بررسی انطباق بخش اول مروری جامع و در عین حال قابل دسترس از مفاهیم اساسی مورد استفاده برای ارتباط متقابل رفتار مدل‌سازی‌شده و ثبت‌شده را ارائه می‌کند. همچنین به عنوان مرجعی برای ارزیابی نحوه اعمال تلاش‌های بررسی انطباق در حوزه‌های خاص عمل می‌کند. در مرحله بعد، بخش دوم بینش‌های دقیقی را در مورد الگوریتم‌ها برای بررسی انطباق، از جمله متداول‌ترین مفاهیم رسمی مورد استفاده و نمونه‌سازی آن‌ها برای سؤالات تحلیلی خاص، در اختیار خوانندگان قرار می‌دهد. در نهایت، قسمت سوم برنامه‌هایی را برجسته می‌کند که به درک نتایج بررسی انطباق کمک می‌کنند، در نتیجه مرحله بعدی ضروری برای افزایش ارزش یک مدل فرآیند معین را فراهم می‌کنند. آنها به تفسیر نتایج بررسی انطباق و ترکیب آنها با استفاده از تکنیک‌های بهبود و تعمیر کمک می‌کنند.
این کتاب با ارائه بلوک‌های اصلی بررسی انطباق و تشریح کاربردهای اصلی آن، عمدتاً به دانشجویان متخصص در مدیریت فرآیندهای کسب‌وکار، محققانی که وارد می‌شوند، می‌پردازد. استخراج فرآیند و بررسی انطباق برای اولین بار، و متخصصان پیشرفته ای که کارشان شامل ارزیابی فرآیند، مدل سازی و بهینه سازی است.

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.