Les passerelles BPMN

Le modèle d'exécution de BPMN est un jeton qui traverse le diagramme. La passerelle est la seule chose qui change le nombre de jetons : une division peut transformer un jeton en plusieurs, une convergence peut les ramener à un. Tout le reste en découle.

Une note sur le nom. La spécification dit passerelle (gateway) ; la plupart des gens disent porte et cherchent des portes. C'est la même chose, et le losange est le même losange - mais c'est passerelle qu'il faut mettre dans un titre de diagramme, car c'est le mot que liront tous les outils BPMN et tous les relecteurs.

Deux conséquences à retenir. D'abord, une passerelle ne fait aucun travail - elle évalue des conditions déjà calculées, et si vous voulez vérifier quelque chose, c'est une tâche avant la passerelle. Ensuite, une division a généralement besoin d'une convergence du même type, car ce qui a créé des jetons supplémentaires doit les réunir, faute de quoi ils courent séparément jusqu'à la fin.

Le même symbole fait les deux, et lequel dépend seulement du nombre de flux sortants ou entrants. Une passerelle avec une entrée et trois sorties divise ; trois entrées et une sortie convergent.

Le vocabulaire mérite d'être fixé, car trois mots servent pour le cas convergent. Une passerelle parallèle convergente est une jointure : elle attend chaque branche. Une passerelle exclusive convergente est une fusion : elle n'attend rien et laisse passer chaque jeton. Les deux se dessinent comme le même losange qu'à la division, et appeler jointure une fusion est la façon dont un diagramme finit par affirmer terminé un travail qui n'a jamais tourné.

Tout ce qui précède est une seule compétence : posez le doigt sur l'événement de début et comptez. Voici le processus de sinistre en tête de page, parcouru pas à pas, avec le nombre de jetons vivants après chaque étape.

1. « Claim received » survient. Un jeton. Il est sur le flux vers la première passerelle.
2. La division parallèle. Deux jetons. Aucune condition n'est évaluée et rien n'est choisi - une division parallèle émet toujours un jeton par flux sortant.
3. Vérification de police et de fraude en cours. Toujours deux. Elles sont réellement concurrentes : le diagramme n'affirme rien sur celle qui finit en premier, et n'en a pas besoin.
4. La jointure parallèle. Retour à un. Le jeton arrivé en premier y attend. À l'arrivée du second, la jointure consomme les deux et en émet un.
5. « Covered ? » Un jeton, une branche. Une passerelle exclusive ne change jamais le compte - seulement le flux sur lequel se trouve le jeton.
6. Indemniser ou refuser, puis la fin. Zéro. L'instance de processus est terminée quand le dernier jeton est consommé par un événement de fin.

Cassez-le maintenant délibérément, car les deux bugs classiques se voient au seul comptage.

Rendez la première passerelle exclusive et laissez la jointure parallèle. La division émet désormais un jeton, donc une seule vérification tourne. La jointure parallèle en attend toujours deux. Rien n'arrive jamais sur le second flux, et le sinistre reste dans la jointure pour la durée de vie du système. C'est l'interblocage, et il aura coûté un marqueur changé.

Laissez la division parallèle et rendez la jointure exclusive. Deux jetons arrivent et une fusion exclusive n'attend rien : les deux passent directement. « Covered ? » est évalué deux fois, la tâche d'indemnisation tourne deux fois, et le client est payé deux fois. C'est pire que l'interblocage, car un interblocage s'annonce et un double paiement non.

C'est la construction qui rend « on attend les documents, mais pas éternellement » exprimable en une seule image. Toute autre façon de le dessiner - un événement temporisateur en bordure d'une tâche d'attente, une boucle avec condition - soit duplique la logique de délai, soit la cache.

Deux règles l'accompagnent. Les cibles d'une passerelle à base d'événements doivent être des événements intermédiaires de réception ou des tâches receive, jamais de simples tâches : la passerelle est une course entre des choses qui arrivent, et une tâche n'arrive pas. Et les branches doivent être réellement exclusives dans le temps, ce qu'elles sont automatiquement - la première survenue élimine les autres.

Les conditions vivent sur les flux de séquence sortants, pas sur la passerelle. Écrivez-les comme de courtes expressions qu'un lecteur peut évaluer - amount > 10000, policy status = active - et placez-les sur la ligne près de la passerelle plutôt que près de la cible.

Exactement une branche d'une passerelle divergente devrait être le flux par défaut, tracé avec une petite barre sur sa base. Il est pris quand aucune autre condition ne tient, et c'est lui qui empêche un processus de caler sur une passerelle où les données se sont révélées être quelque chose que personne n'avait prévu.

Qui vient d'apprendre les passerelles y recourt pour toutes les bifurcations du monde, et le résultat est un diagramme composé à 40 % de losanges. Quatre autres constructions BPMN expriment mieux une décision dans les cas ci-dessous, et les connaître fait l'essentiel de la différence entre un modèle de processus qui tient sur une page et un qui n'y tient pas.

Le test est de savoir si la bifurcation fait partie du processus ou d'une décision. Un sinistre qui part en traitement accéléré ou en revue manuelle est du processus : les deux chemins diffèrent et un lecteur doit voir les deux. Savoir dans laquelle des neuf bandes de risque il tombe est une décision : les chemins sont ensuite identiques, et le mettre sur le diagramme coûte huit losanges pour dire une chose. Voyez comment dessiner un diagramme BPMN pour savoir où cette limite se situe en pratique.

1. Division parallèle, fusion exclusive. La division a fait deux jetons ; la fusion exclusive les laisse passer tous les deux, et tout ce qui suit arrive deux fois.
2. Division inclusive, jointure parallèle. L'interblocage ci-dessus. Faites correspondre vos passerelles.
3. Du travail dans la passerelle. Un losange intitulé « Valider et router » est une tâche et une passerelle sous un seul contour. Séparez-les.
4. Branches non étiquetées. Deux lignes quittant un losange sans rien d'écrit obligent le lecteur à deviner, et la moitié devinera mal.
5. Pas de flux par défaut. La seule entrée à laquelle personne n'a pensé arrive, et le jeton n'a nulle part où aller.
6. Des tâches simples après une passerelle à base d'événements. Ce n'est pas légal, et cela signifie généralement qu'une passerelle exclusive était voulue.

Les passerelles et les événements sont les deux moitiés du contrôle de flux en BPMN : les passerelles décident, les événements attendent et interrompent. Un processus modélisé avec les seules passerelles tend à grossir en longues chaînes d'interrogation ; celui qui utilise les événements de bordure là où il le devrait reste bien plus proche de ce qui se passe vraiment.