Quick Consistency Management in BPM

Managing consistency of related process models that target different abstraction levels and stakeholder’s perspectives is a key need for performing inter-model analysis, change propagation and validation. Effective consistency management requires dealing with tacit collaboration patterns of the stakeholders and the complex relations among the models. In this showcase we present algorithms for finding syntactic and semantic mismatches between two BPMN models. The algorithms are based on graph matching and computational tree logics. We present practical implementations of the algorithms on top of Eclipse, EMF/GMF, VIATRA2 and TAPAs.