1281.138 전이 조건과 가드 함수 설계의 발전 방향