1277.171 유한 상태 머신의 구성적 모델링 (Compositional Modeling)