El primer conjunto de validaciones estructurales que se llevan a cabo son las comprobaciones sintácticas. Estas garantizan que se configuren correctamente las uniones y divisiones de actividad (consulte División/Unión) en la definición de proceso. Dichas validaciones incluyen:
- Todas las actividades, salvo las actividades de inicio y fin deberán tener al menos una transición de entrada y una de salida.
- Cualquier actividad con más de una transición de entrada deberá tener especificado un tipo de unión (es decir, un tipo de unión que no sea igual a NONE).
- Cualquier actividad con más de una transición de salida deberá tener un tipo de división (es decir, un tipo de división que no sea igual a NONE).
- Cualquier actividad con exactamente una transición de entrada deberá tener un tipo de unión de NONE.
- Cualquier actividad con exactamente una transición de salida deberá tener un tipo de división de NONE.
- El tipo de división de una actividad paralela deberá ser NONE.
- El tipo de unión de una actividad paralela deberá ser NONE.
- Una actividad paralela deberá tener exactamente una transición de entrada.
- Una actividad paralela deberá tener exactamente una transición de salida.
- El tipo de división de la actividad en el lado lejano de la transición de entrada a una actividad paralela deberá ser NONE.
- El tipo de unión de la actividad en el lado lejano de la transición de salida de una actividad paralela deberá ser NONE.