Da eine Gruppe von Aktivitäten und Übergängen in einem Prozess einen Graph bilden, können anhand der Graphentheorie einige bekannte strukturelle Probleme schon frühzeitig vor dem ersten Ausführen eines Prozesses erkannt werden.
Nehmen Sie beispielsweise einen Prozess an, in dem eine Aktivität einen Übergang zu einer anderen Aktivität aufweist, die wiederum einen Übergang zurück zur ersten Aktivität hat. Dadurch entsteht ein Zyklus im Prozessgraph.
Würden für die Übergänge keine Bedingungen vorhanden sein, würde der Prozess auf jeden Fall in einer unendlichen Schleife enden. Solche Schleifen werden als nicht formale Schleifen (oder auch Ad-hoc-Schleifen) bezeichnet. Sind sie in einem Prozess vorhanden, sind einige nützliche strukturelle Validierungen nicht möglich. Unter anderem aus diesem Grund stehen in Cúram Workflow formale Konstrukte bereit, um iterative Abschnitte eines Prozesses zu definieren (die Schleifenbeginn- und Schleifenendaktivitäten). Dadurch können Ad-hoc-Schleifen in Prozessen erkannt und als Ergebnis nicht freigegeben werden.
GOTO entspricht Ad-hoc-Schleifen in einem Workflow. Die geschweiften Klammern sind analog zu den formalen Schleifenbeginn- und Schleifenendaktivitäten in einem Workflow.