Conformance checking in UML artifact-centric business process models

Ensuring the semantic correctness of a BAUML artifact-centric BPM

(2018) Montserrat Estañol et al.   INFORMATION AND SOFTWARE TECHNOLOGY

Balanced multi-perspective checking of process conformance

(2015) Felix Mannhardt et al.   COMPUTING

Automating correctness verification of artifact-centric business process models

(2015) Diana Borrego et al.   INFORMATION AND SOFTWARE TECHNOLOGY

An alignment-based framework to check the conformance of declarative process models and to preprocess event-log data

(2015) Massimiliano de Leoni et al.   INFORMATION SYSTEMS

Artifact Lifecycle Discovery

(2015) Viara Popova et al.   INTERNATIONAL JOURNAL OF COOPERATIVE INFORMATION SYSTEMS

Single-Entry Single-Exit decomposed conformance checking

(2014) Jorge Munoz-Gama et al.   INFORMATION SYSTEMS

Quality Dimensions in Process Discovery: The Importance of Fitness, Precision, Generalization and Simplicity

(2014) J. C. A. M. Buijs et al.   INTERNATIONAL JOURNAL OF COOPERATIVE INFORMATION SYSTEMS

Decomposing Petri nets for process mining: A generic approach

(2013) Wil M. P. van der Aalst   DISTRIBUTED AND PARALLEL DATABASES

Artifact systems with data dependencies and arithmetic

(2012) Elio Damaggio et al.   ACM TRANSACTIONS ON DATABASE SYSTEMS

Soundness of workflow nets: classification, decidability, and analysis

(2010) W. M. P. van der Aalst et al.   FORMAL ASPECTS OF COMPUTING

Semantics and analysis of business process models in BPMN

(2008) Remco M. Dijkman et al.   INFORMATION AND SOFTWARE TECHNOLOGY

Conformance checking of processes based on monitoring real behavior

(2007) A. Rozinat et al.   INFORMATION SYSTEMS