Un flux de contrôle est une description de processus logique et chronologique soumise à des conventions déterminées. Le flux de contrôle d'un modèle de processus comprend les objets suivants :
Événement
Fonction
Règle (ET, OU, XOR, ET/OU, OU/ET, OU/XOR, XOR/ET, XOR/OU)
Conformément à certaines conventions, les objets sont reliés entre eux via les types de liaisons suivants :
active (événement - fonction)
conduit à (fonction - règle)
crée (fonction - événement)
active (règle - fonction)
conduit à (règle - événement)
relie (règle - règle)