1277.106 Harel Statecharts의 형식적 정의