1277.102 확장 유한 상태 머신의 실행 의미론