Comprobaciones de bloque

El tercer conjunto de validaciones estructurales que se llevan a cabo son las comprobaciones de bloque. Dichas comprobaciones garantizan que la estructura de bloques del grafo del flujo sea correcta.

Las construcciones de inicio de bloque: actividad de inicio de proceso, actividad de inicio de bucle, División paralela (AND) y División de selección (XOR). Las construcciones de fin de bloque correspondientes son: actividad de fin de proceso, actividad de fin de bucle, Unión paralela (AND) y Unión de selección (XOR).

Basándose en estas, se ejecutan las siguientes validaciones de estructura de bloque:

• Por cada inicio de bloque deberá haber un cierre de bloque correspondiente (p.ej. si hay una actividad de inicio de bucle en el flujo de trabajo, deberá haber la correspondiente actividad de fin de bucle).
• Los tipos de inicio/fin de bloque deben estar emparejados (p.ej. si hay una división AND paralela en el grafo del flujo de trabajo, deberá emparejarse con la correspondiente unión (AND) paralela).
• Los bloques podrán anidarse pero no solaparse.