수행되는 구조 유효성 검증의 첫 번째 세트는 단순 구문 검사입니다. 이 검사를 수행하면 프로세스 정의의 활동 결합 및 분할(분할/결합 참조)이 올바르게 설정됩니다. 이러한 유효성 검증에는 다음이 포함됩니다.
- 시작 및 종료 활동을 제외한 모든 활동은 하나 이상의 인바운드 상태 전이와 하나의 아웃바운드 상태 전이를 가져야 합니다.
- 둘 이상의 인바운드 상태 전이가 있는 모든 활동은 결합 유형이 지정되어 있어야 합니다. 즉, 결합 유형은 NONE이 될 수 없습니다.
- 둘 이상의 아웃바운드 상태 전이가 있는 모든 활동은 분할 유형이 지정되어 있어야 합니다. 즉, 분할 유형은 NONE이 될 수 없습니다.
- 정확히 하나의 인바운드 상태 전이가 있는 모든 활동은 결합 유형이 NONE으로 지정되어야 합니다.
- 정확히 하나의 아웃바운드 상태 전이가 있는 모든 활동은 분할 유형이 NONE으로 지정되어야 합니다.
- Parallel 활동의 분할 유형은 NONE이어야 합니다.
- Parallel 활동의 결합 유형은 NONE이어야 합니다.
- Parallel 활동은 정확히 하나의 인바운드 상태 전이를 가져야 합니다.
- Parallel 활동은 정확히 하나의 아웃바운드 상태 전이를 가져야 합니다.
- 수신 상태 전이의 맨 끝에 있는 활동에서 Parallel 활동까지의 분할 유형은 NONE이어야 합니다.
- 발신 상태 전이의 맨 끝에 있는 활동에서 Parallel 활동까지의 결합 유형은 NONE이어야 합니다.