Conformance Checking
Conformance Checking

Author: Josep Carmona

Publisher: Springer

Published: 2018-11-11

Total Pages: 285

ISBN-13: 331999414X

DOWNLOAD EBOOK

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.

Conformance Checking and Diagnosis in Process Mining
Conformance Checking and Diagnosis in Process Mining

Author: Jorge Munoz-Gama

Publisher: Springer

Published: 2016-11-22

Total Pages: 201

ISBN-13: 3319494511

DOWNLOAD EBOOK

Process mining techniques can be used to discover, analyze and improve real processes, by extracting models from observed behavior. The aim of this book is conformance checking, one of the main areas of process mining. In conformance checking, existing process models are compared with actual observations of the process in order to assess their quality. Conformance checking techniques are a way to visualize the differences between assumed process represented in the model and the real process in the event log, pinpointing possible problems to address, and the business process management results that rely on these models. This book combines both application and research perspectives. It provides concrete use cases that illustrate the problems addressed by the techniques in the book, but at the same time, it contains complete conceptualization and formalization of the problem and the techniques, and through evaluations on the quality and the performance of the proposed techniques. Hence, this book brings the opportunity for business analysts willing to improve their organization processes, and also data scientists interested on the topic of process-oriented data science.

Conformance Checking and Simulation-based Evolutionary Optimization for Deployment and Reconfiguration of Software in the Cloud
Conformance Checking and Simulation-based Evolutionary Optimization for Deployment and Reconfiguration of Software in the Cloud

Author: Sören Frey

Publisher: BoD – Books on Demand

Published: 2014-01-30

Total Pages: 638

ISBN-13: 3732297349

DOWNLOAD EBOOK

Many SaaS providers nowadays want to leverage the cloud’s capabilities also for their existing applications, for example, to enable sound scalability and cost-effectiveness. This thesis provides the approach CloudMIG that supports SaaS providers to migrate those applications to IaaS and PaaS-based cloud environments. CloudMIG consists of a step-by-step process and focuses on two core components. (1) Restrictions imposed by specific cloud environments (so-called cloud environment constraints (CECs)), such as a limited file system access or forbidden method calls, can be validated by an automatic conformance checking approach. (2) A cloud deployment option (CDO) determines which cloud environment, cloud resource types, deployment architecture, and runtime reconfiguration rules for exploiting a cloud’s elasticity should be used. The implied performance and costs can differ in orders of magnitude. CDOs can be automatically optimized with the help of our simulation-based genetic algorithm CDOXplorer. Extensive lab experiments and an experiment in an industrial context show CloudMIG’s applicability and the excellent performance of its two core components.

Business Process Management Workshops
Business Process Management Workshops

Author: Michael zur Muehlen

Publisher: Springer Science & Business Media

Published: 2011-05-10

Total Pages: 800

ISBN-13: 3642205100

DOWNLOAD EBOOK

This book constitutes the thoroughly refereed post-workshop proceedings of nine international workshops held in Hoboken, NJ, USA, in conjunction with the 8th International Conference on Business Process Management, BPM 2010, in September 2010. The nine workshops focused on Reuse in Business Process Management (rBPM 2010), Business Process Management and Sustainability (SusBPM 2010), Business Process Design (BPD 2010), Business Process Intelligence (BPI 2010), Cross-Enterprise Collaboration, People, and Work (CEC-PAW 2010), Process in the Large (IW-PL 2010), Business Process Management and Social Software (BPMS2 2010), Event-Driven Business Process Management (edBPM 2010), and Traceability and Compliance of Semi-Structured Processes (TC4SP 2010). In addition, three papers from the special track on Advances in Business Process Education are also included in this volume. The overall 66 revised full papers presented were carefully reviewed and selected from 143 submissions.

Process Mining
Process Mining

Author: Wil van der Aalst

Publisher: Springer

Published: 2014-10-07

Total Pages: 0

ISBN-13: 9783642434952

DOWNLOAD EBOOK

More and more information about business processes is recorded by information systems in the form of so-called “event logs”. Despite the omnipresence of such data, most organizations diagnose problems based on fiction rather than facts. Process mining is an emerging discipline based on process model-driven approaches and data mining. It not only allows organizations to fully benefit from the information stored in their systems, but it can also be used to check the conformance of processes, detect bottlenecks, and predict execution problems. Wil van der Aalst delivers the first book on process mining. It aims to be self-contained while covering the entire process mining spectrum from process discovery to operational support. In Part I, the author provides the basics of business process modeling and data mining necessary to understand the remainder of the book. Part II focuses on process discovery as the most important process mining task. Part III moves beyond discovering the control flow of processes and highlights conformance checking, and organizational and time perspectives. Part IV guides the reader in successfully applying process mining in practice, including an introduction to the widely used open-source tool ProM. Finally, Part V takes a step back, reflecting on the material presented and the key open challenges. Overall, this book provides a comprehensive overview of the state of the art in process mining. It is intended for business process analysts, business consultants, process managers, graduate students, and BPM researchers.

Process Mining
Process Mining

Author: Wil M. P. van der Aalst

Publisher: Springer

Published: 2016-04-15

Total Pages: 477

ISBN-13: 3662498510

DOWNLOAD EBOOK

This is the second edition of Wil van der Aalst’s seminal book on process mining, which now discusses the field also in the broader context of data science and big data approaches. It includes several additions and updates, e.g. on inductive mining techniques, the notion of alignments, a considerably expanded section on software tools and a completely new chapter of process mining in the large. It is self-contained, while at the same time covering the entire process-mining spectrum from process discovery to predictive analytics. After a general introduction to data science and process mining in Part I, Part II provides the basics of business process modeling and data mining necessary to understand the remainder of the book. Next, Part III focuses on process discovery as the most important process mining task, while Part IV moves beyond discovering the control flow of processes, highlighting conformance checking, and organizational and time perspectives. Part V offers a guide to successfully applying process mining in practice, including an introduction to the widely used open-source tool ProM and several commercial products. Lastly, Part VI takes a step back, reflecting on the material presented and the key open challenges. Overall, this book provides a comprehensive overview of the state of the art in process mining. It is intended for business process analysts, business consultants, process managers, graduate students, and BPM researchers.

Computer Aided Verification
Computer Aided Verification

Author: Rajeev Alur

Publisher: Springer Science & Business Media

Published: 2004-06-29

Total Pages: 546

ISBN-13: 3540223428

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 16th International Conference on Computer Aided Verification, CAV 2004, held in Boston, MA, USA, in July 2004. The 32 revised full research papers and 16 tool papers were carefully reviewed and selected from 144 submissions. The papers cover all current issues in computer aided verification and model checking, ranging from foundational and methodological issues to the evaluation of major tools and systems.

Software Process Technology
Software Process Technology

Author: Vincenzo Ambriola

Publisher: Springer

Published: 2003-06-29

Total Pages: 254

ISBN-13: 3540457526

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 8th European Workshop on Software Process Technology, EWSPT 2001, held in Witten, Germany, in June 2001. The 18 revised full papers presented were carefully reviewed and selected from 31 submissions. Among the areas addressed are process evolution, experiences, mobility and distribution, UML process patterns, and process improvement.

Business Process Management
Business Process Management

Author: Chiara Di Francescomarino

Publisher: Springer Nature

Published: 2023-08-31

Total Pages: 510

ISBN-13: 3031416201

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 21st International Conference on Business Process Management, BPM 2023, which took place in Utrecht, The Netherlands, in September 2023. The 27 papers included in this book were carefully reviewed and selected from 151 submissions. They were organized in three main research tracks: Foundations, engineering, and management.

Advanced Information Systems Engineering
Advanced Information Systems Engineering

Author: Schahram Dustdar

Publisher: Springer Nature

Published: 2020-06-02

Total Pages: 587

ISBN-13: 3030494357

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 32nd International Conference on Advanced Information Systems Engineering, CAiSE 2020, held in Grenoble, France, in June 2020.* The 33 full papers presented in this volume were carefully reviewed and selected from 185 submissions. The book also contains one invited talk in full paper length. The papers were organized in topical sections named: distributed applications; AI and big data in IS; process mining and analysis; requirements and modeling; and information systems engineering. Abstracts on the CAiSE 2020 tutorials can be found in the back matter of the volume. *The conference was held virtually due to the COVID-19 pandemic.