1281.122 SMACC2에서의 전이 조건과 가드 함수 구현