상태 전이가 활성화되는 경우는 다음과 같습니다.
- 트리거가 게시된 메시지를 상태 차트와 일치시킵니다(널 트리거는 널 이벤트를 일치시킴).
- 소스에서 모든 보호가 충족된(true로 평가됨) 대상 상태로의 경로가 있습니다.
참고: 상태 전이와 관련된 조치를 호출하기 전에 보호를 평가합니다.
보호 평가 시기 및 순서와 관련하여 보호 평가 전략이 의도적으로 정의되어 있지 않습니다. 보호를 해석하지 않기 때문에
보호 평가는 부작용을 초래하는 표현식을 포함할 수 있습니다.