Une condition de franchissement contient deux expressions qui désignent les nombres de fois minimum et maximum qu'un fragment combiné de boucle peut être exécuté.
Une condition de franchissement est une condition ou restriction sémantique définie entre crochets dans un opérande d'interaction d'un fragment combiné. Lorsque vous créez un fragment combiné, une condition de franchissement est créée automatiquement. Vous pouvez aussi créer manuellement une condition de franchissement dans un opérande d'interaction qui n'a pas de condition de franchissement existante.
Une condition de franchissement apparaît au début de l'interaction et contient toutes les informations nécessaires pour décider si les traces doivent être exécutées dans l'opérande d'interaction. Si la condition de franchissement est true, les traces sont exécutées. Une condition de franchissement étant facultative, l'interaction s'exécute aussi si aucune condition de franchissement n'est spécifiée dans l'opérande d'interaction.
La figure suivante illustre comment les conditions de franchissement sont représentées dans une interaction.