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:
Checks whether the process flow itself is correct (events, functions, operators) for all relevant EPCs and their assignments.
Checks all relevant organizational charts and organizational elements that are connected to human tasks to ensure that execution is possible.
Checks relevant LDAP attributes. If this option is not selected, all organizational attributes that are not LDAP-relevant are checked.
Checks all relevant dialogs and assigned screen diagrams.
Checks all relevant data elements and assigned data flow diagrams.
Checks all relevant software service operation types, assigned access diagrams, and related software service operations.
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.