1290.76 상태 머신의 단계적 추상화 기법