Correct modeling is essential for the subsequent automatic transformation of a BPM process into a BPMN diagram. The semantic check can already be used during modeling to check whether the transformation is possible with no problems. It verifies whether the modeling conventions have been observed and all required information and items are available.