1277.112 UML 상태 머신 다이어그램의 형식 모델