Vérifications des blocs

Le troisième ensemble de validations structurelles effectuées correspond aux vérifications des blocs. Cette vérification permet de s’assurer que le graphe de flux est correctement structuré par bloc.

Les constructions de début de bloc sont : activité de début de processus, activité de début de boucle, fractionnement parallèle (AND) et fractionnement de choix (XOR). Les constructions de fin de bloc correspondantes sont : activité de fin de processus, activité de fin de boucle, jointure parallèle (AND) et jointure de choix (XOR).

En partant de cela, les validations de structure de bloc suivantes sont exécutées :

• Pour chaque bloc de début, il doit y avoir un bloc de fin correspondant (par exemple, s'il existe une activité de début de boucle dans le flux de travaux, il doit exister une activité de fin de boucle correspondante).
• Les types de début/fin de bloc doivent correspondre (par exemple, s'il existe un fractionnement parallèle (AND) dans le graphe de flux de travaux, il doit exister une jointure parallèle (AND) correspondante.
• Les blocs peuvent être imbriqués, mais ne peuvent pas être entrelacés.