Le workflow couvre le séquencement (ordre des étapes et gates), les effets parallèles (races, double dépense, callbacks rejoués) et la confiance dans les paramètres numériques ou métier (montants, quotas) au fil de flux longs. Il suppose que les primitives de contrôle d'accès et d'injection sont comprises au niveau des nœuds frères.
Structure (carte de la bibliothèque)#
- Intégrité du flux : séquencement vs alignement de l'état entre l'interface, les enregistrements et les sessions.
- Effets parallèles : concurrence et handoff d'intégration (TOCTOU, rejeu, mauvais usage de l'idempotence).
- Frontières de confiance : intégrité des paramètres numériques et métier à travers les étapes.