Règles de structure de bloc

Comme indiqué précédemment, la manière dont les parenthèses sont utilisées dans une expression mathématique est semblable à la manière dont les "blocs" sont utilisés dans un flux de travaux. Rappel - il existe plusieurs types de blocs : choix, parallèle et boucle. Dans un flux de travaux Cúram :

• Toutes les constructions de début de bloc (fractionnement de choix, fractionnement parallèle ou activité de début de boucle) doivent se terminer par une construction de fin de bloc correspondante (jointure de choix, jointure parallèle ou activité de fin de boucle, respectivement).

  Dans le cas des fractionnements et des jonctions, tous les chemins sortants d'un fractionnement doivent converger vers la jointure correspondante.

  Rationale : La correspondance requise des fractionnements et des jointures (par exemple) permet d'améliorer la lisibilité. Dans une section contenant plusieurs chemins, cela permet de clairement indiquer s'il est possible de suivre un seul ou plusieurs chemins. Cela permet alors de savoir si une synchronisation est requise au niveau du point où les chemins fusionnent.

  Si la correspondance n'était pas requise, il serait possible (voire facile) de modéliser les processus dont le blocage est garanti, ou ceux dans lesquels la fin du processus peut être atteinte avant que l'exécution de certaines activités soit terminée.

• Des blocs peuvent être imbriqués les uns dans les autres (par exemple, un fractionnement de choix à l'intérieur d'une boucle), mais ils ne peuvent pas être entrelacés (par exemple, aucune des transitions du fractionnement de choix ne peut accéder à une activité en dehors de la boucle).

  Cela permet d'éviter des situations dont le traitement est difficile à exécuter par le moteur et qui ne sont pas du tout intuitives pour les développeurs de flux de travaux.

  Prenons par exemple une boucle qui contient une jointure, où la jointure comporte deux transitions entrantes : une à partir d'une activité à l'intérieur de la boucle, l'autre à partir d'une activité en dehors de la boucle.

  Il est très difficile dans cette situation de déterminer comment la synchronisation de jointure doit fonctionner. Une transition entrante ne peut se déclencher qu'une seule fois, l'autre peut se déclencher plusieurs fois. Toutes les règles pour traiter une telle situation seraient arbitraires et elles ne seraient pas intuitives.

  Les flux de travaux définis à l'aide de blocs choix, parallèle et boucle possèdent une structure claire et simple dont la signification peut être comprise en un clin d'oeil.