그러한 사례의 예는 다음과 같습니다.
이 연결은 널 상태 전이로 수행할 수 있습니다. 널 상태 전이는 트리거(이벤트 또는 제한시간)가 없는 상태 전이입니다. 널 상태 전이는 보호(예: [x == 5])를 가질 수 있습니다. IBM® Rational® Rhapsody® 프레임워크의 완료 실행(run-to-completion) 시맨틱은 다른 경우 발견하기 어려운 널 상태 전이의 무한(런타임) 루프를 검사합니다.
maxNullSteps 숫자를 변경해야 하는 경우 숫자를 수정하고 프레임워크를 다시 컴파일할 수 있습니다.