BPM+ Model Interchange Testing