Un bloque de bucle empieza en una actividad de inicio de bucle y termina en una actividad de fin de bucle (los 'paréntesis'). Indica que la sección del flujo de trabajo delimitada por las actividades de inicio y fin de bucle se repite mientras la condición del bucle se cumpla.
La actividad de inicio de bucle marca el punto al que debe volver la ejecución si se cumple la condición del bucle (es decir, el lugar al que se vuelve si el motor determina que el bucle debe iterar). La actividad de fin de bucle marca el punto al que debe saltar la ejecución si no se cumple la condición del bucle.