Blockprüfungen

Die dritte Gruppe struktureller Validierungen, die ausgeführt werden, sind so genannte Blockprüfungen. Mit diesen Validierungen wird sichergestellt, dass der Flussgraph eine korrekte Blockstruktur aufweist.

Die Blockstart-Konstrukte sind Startprozessaktivität, Schleifenbeginnaktivität, Split-Typ 'Parallel' (AND) und Split-Typ 'Auswahl' (XOR). Die entsprechenden Blockende-Konstrukte sind Endprozessaktivität, Schleifenendaktivität, Join-Typ 'Parallel' (AND) und Join-Typ 'Auswahl' (XOR).

Basierend auf diesen Konstrukten werden die folgenden Validierungen für die Blockstruktur durchgeführt:

• Für jeden Blockstart muss ein entsprechendes Blockende vorhanden sein (d. h., wenn es in der Aktivität eine Schleifenbeginnaktivität gibt, muss es eine entsprechende Schleifenendaktivität geben).
• Die Typen für Blockstart/Blockende muss übereinstimmen (d. h., wenn es einen Split des Typs 'Parallel' (AND) im Workflow-Graph gibt, muss dieser ein entsprechenden Join-Typ des Typs 'Parallel' (AND) haben).
• Blöcke können zwar verschachtelt werden, nicht aber ineinandergreifen.