Styles in business process modeling: an exploration and a model

J Pinggera, P Soffer, D Fahland, M Weidlich… - Software & Systems …, 2015 - Springer
Business process models are an important means to design, analyze, implement, and
control business processes. As with every type of conceptual model, a business process …

Alignment based precision checking

A Adriansyah, J Munoz-Gama, J Carmona… - … Workshops: BPM 2012 …, 2013 - Springer
Most organizations have process models describing how cases need to be handled. In fact,
legislation and standardization (cf. the Sarbanes-Oxley Act, the Basel II Accord, and the ISO …

Preserving correctness during business process model configuration

WMP van der Aalst, M Dumas, F Gottschalk… - Formal Aspects of …, 2010 - Springer
A configurable process model captures a family of related process models in a single
artifact. Such models are intended to be configured to fit the requirements of specific …

Aligning event logs and process models for multi-perspective conformance checking: An approach based on integer linear programming

M De Leoni, WMP Van Der Aalst - … , BPM 2013, Beijing, China, August 26 …, 2013 - Springer
Modern organizations have invested in collections of descriptive and/or normative process
models, but these rarely describe the actual processes adequately. Therefore, a variety of …

Complete and interpretable conformance checking of business processes

L García-Bañuelos, NRTP Van Beest… - IEEE Transactions …, 2017 - ieeexplore.ieee.org
This article presents a method for checking the conformance between an event log capturing
the actual execution of a business process, and a model capturing its expected or normative …