Résumé

Si un ForkJoinNode a un ObjectFlow dans ses flow d’entrée, il doit avoir un ObjectFlow dans ses flow de sortie et vice versa. Cela s’applique aussi aux ControlFlow.

Détails

Contraintes UML:

  • Les flux entrants et sortants d’un nœud d’embranchement doivent être soit tous des ControlFlow soit tous des ObjectFlow.

  • Si un nœud de jonction a un ObjectFlow en entrée alors il doit avoir un ObjectFlow en sortie, sinon il doit avoir un ControlFlow en sortie.

Tous les types d’information qui rentrent dans un ForkJoinNode ne doivent pas se perdre. De la même manière, toutes les informations sortantes d’un ForkJoinNode ne doivent pas se créer.

Astuces

Si vous avez un avertissement concernant la règle R1250, vérifiez la cohérence des flux entrants et sortants du ForkJoinNode.