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.

This book constitutes revised papers from the eleven International Workshops held at the 15th International Conference on Business Process Management, BPM 2017, in Barcelona, Spain, in September 2017: BPAI 2017 - 1st International Workshop on Business Process Innovation with Artificial Intelligence; BPI 2017 - 13th International Workshop on Business Process Intelligence; BP-Meet-IoT 2017 - 1st International Workshop on Ubiquitous Business Processes Meeting Internet-of-Things; BPMS2 2017 - 10th Workshop on Social and Human Aspects of Business Process Management; - CBPM 2017 - 1st International Workshop on Cognitive Business Process Management; CCABPM 2017 - 1st International Workshop on Cross-cutting Aspects of Business Process Modeling; DeHMiMoP 2017 - 5th International Workshop on Declarative/Decision/Hybrid Mining & Modeling for Business Processes; QD-PA 2017 - 1st International Workshop on Quality Data for Process Analytics; REBPM 2017 - 3rd International Workshop on Interrelations between Requirements Engineering and Business Process Management; SPBP 2017 - 1st Workshop on Security and Privacy-enhanced Business Process Management; TAProViz-PQ-IWPE 2017 -Joint International BPM 2017 Workshops on Theory and Application of Visualizations and Human-centric Aspects in Processes (TAProViz'17), Process Querying (PQ'17) and Process Engineering (IWPE17). The 44 full and 11 short papers presented in this volume were carefully reviewed and selected from 99 submissions.

This book constitutes the proceedings of the 4th workshop on Business Process Model and Notation, BPMN 2012, held in Vienna, Austria, in September 2012. The BPMN workshop series provides a forum for academics and practitioners who share an interest in business process modeling using the Business Process Modeling Notation, which is seen by many as the de facto standard for business process modeling. This year, the workshop lasted two days and consisted of both a scientific and a practitioner event. The six full and three short papers presented were carefully reviewed and selected from 22 submissions. The workshop applied a thorough reviewing process, during which each paper was reviewed by three Program Committee members. In addition, an extended abstract of the workshop keynote is also included.

This open access book constitutes revised selected papers from the International Workshops held at the 4th International Conference on Process Mining, ICPM 2022, which took place in Bozen-Bolzano, Italy, during October 23–28, 2022. The conference focuses on the area of process mining research and practice, including theory, algorithmic challenges, and applications. The co-located workshops provided a forum for novel research ideas. The 42 papers included in this volume were carefully reviewed and selected from 89 submissions. They stem from the following workshops: – 3rd International Workshop on Event Data and Behavioral Analytics (EDBA) – 3rd International Workshop on Leveraging Machine Learning in Process Mining (ML4PM) – 3rd International Workshop on Responsible Process Mining (RPM) (previously known as Trust, Privacy and Security Aspects in Process Analytics) – 5th International Workshop on Process-Oriented Data Science for Healthcare (PODS4H) – 3rd International Workshop on Streaming Analytics for Process Mining (SA4PM) – 7th International Workshop on Process Querying, Manipulation, and Intelligence (PQMI) – 1st International Workshop on Education meets Process Mining (EduPM) – 1st International Workshop on Data Quality and Transformation in Process Mining (DQT-PM)

This book constitutes thoroughly reviewed and selected short papers presented at the 25th East-European Conference on Advances in Databases and Information Systems, ADBIS 2021, as well as papers presented at doctoral consortium and ADBIS 2021 workshops. Due to the COVID-19 the conference and satellite events were held in hybrid mode. The 11 full papers and 18 short papers were carefully reviewed and selected from 97 total submissions. This volume presents the papers that have been accepted for the following satellite events: Workshop on Intelligent Data - From Data to Knowledge, DOING 2021; International Symposium on Data-Driven Process Discovery and Analysis, SIMPDA 2021; Workshop on Modern Approaches in Data Engineering and Information System Design, MADEISD 2021; Workshop on Advances in Data Systems Management, Engineering, and Analytics, MegaData 2021; Workshop on Computational Aspects of Network Science, CAoNS 2021; Doctoral Consortium.

This volume contains the refereed joint proceedings of two initiatives that have been devoted to the formal foundations of complex systems: the workshops WS-FM:FASOCC 2014 and WS-FM/BEAT 2015. The 11th International Workshop on Web Services and Formal Methods: Formal Aspects of Services-Oriented and Cloud Computing, WS-FM 2014, took place in Eindhoven, The Netherlands, in September 2014. The 12th International Workshop on Web Services, Formal Methods, and Behavioral Types, WS-FM 2015, took place in Madrid, Spain, in September 2015. The total of 8 papers presented in this volume was carefully reviewed and selected from 18 submissions. They were organized in topical sections named: expressiveness of behavioral models; service-oriented systems, and behavioral types.

This book constitutes the proceedings of the 13th International Conference on Business Process Management, BPM 2015, held in Innsbruck, Austria, in August/September 2015. The 21 regular papers, 7 short papers and 2 inductrial papers included in this volume were carefully reviewed and selected from 125 submissions. The papers are organized in topical sections on runtime process management, process modeling, process modeling discovery, business process models and analytics, BPM in industry, process compliance and deviations, energing and practical areas of BPM, and process monitoring.

TheBPMN2010workshopseriesprovidesa forumfor academicsandpractiti- ers that share an interest in business process modeling using Business Process Modeling Notation (BPMN) which has seen a huge uptake in both academia and industry. It is seen by many as the de facto standard for business process modeling.Ithasbecomeverypopularwithbusiness analysts, toolvendors, pr- titioners, and end users. BPMN promises to bridge business and IT, and brings process design and implementation closer together. BPMN 2010 was the second workshop of the series. It took place October 13-14, 2010 at the Hasso Plattner Institute at the University of Potsdam, Germany. This volume contains six contributed research papers that were - lected from 16 submissions. There was a thorough reviewing process, with each paper being reviewed by, on average, four Program Committee members. In addition to the contributed papers, these proceedings contain three short - pers and three extended abstracts of the invited keynote talks. In conjunction with the scienti?c workshop, a practitioners' event took place the day after the workshop. We want to express our gratitude to all those who made BPMN 2010 pos- ble by generously and voluntarily sharing their knowledge, skills, and time. In particular, we thank the ProgramCommittee members as well as the additional reviewers for devoting their expertise and time to ensure the high quality of the workshop's scienti?c program through an extensive review process. Finally, we are grateful to all the authors who showed their appreciation and support for the workshop by submitting their valuable work to it.