구조 유효성 검증의 두 번째 설정 과정에서는 그래프 검사가 수행됩니다. 이 경우 플로우 그래프는 방향이 지정된 연결된 비순환 그래프여야 합니다. 이러한 유효성 검증에는 다음이 포함됩니다.
- 워크플로우는 '연결된' 그래프를 구성해야 합니다. 즉, 각 활동은 시작 활동에서 종료 활동까지 하나 이상의 경로에 표시되어야 합니다.
- 워크플로우는 비순환 digraph를 구성해야 합니다. 즉, 워크플로우 전체에서 동일한 활동이 두 번 적중하는 경로가 없습니다. 이러한 유효성 검증은 상태 전이로 작성된 주기, 즉 루프 시작 및 루프 종료 활동으로 작성된 주기가 완전히 유효한지 여부를 검사합니다.
- 워크플로우 그래프 내 모든 인스턴스 서브그래프를 적절히 종료해야 합니다. 즉, 시작 활동부터 워크플로우 전체의 모든 가능한 경로는 종료 활동으로 끝나야 합니다.