We are presenting a showcase at the CASCON 2011

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 on top of Eclipse, EMF/GMF, VIATRA2 and TAPAs. The showcase is being presented in November, 7th - 10th, at the CASCON 2011 (https://www-927.ibm.com/ibm/cas/cascon/). See you there!