What does the semantic check verify?

The BPM process cannot be automatically transformed into a BPMN diagram unless the relevant objects and models for Process Governance have been modeled correctly. 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.

Context

The semantic check can be run for either value-added chain diagrams or EPCs.

Scope

You can specify the items the semantic check will include. If you do not specify the scope, all the selected models are checked, but not their assignments. By specifying the scope, you can include the following items in the check:

Check of data flow diagrams

Existence

Checks whether a data flow diagram is assigned to the following objects:

Multiple object occurrences and associated data flow diagrams are possible for each object definition. You must ensure that the object occurrence references the corresponding data flow diagram.

Matching

If a data flow diagram is generated for an object, an occurrence of it is created in the data flow. The semantic check verifies whether the object has occurrences in the data flow.

XOR rule

The semantic check verifies whether an event follows each XOR rule.

See also

Run semantic check