럼바우의 모델링 방법 중 시간 흐름에 따른 객체들과 객체들 사이의 제어 흐름, 상호 작용, 동작 순서 등을 표현하는 것으로, 시스템의 변화를 보여주는 객체 상태 다이어그램을 작성하는 모형에 해당하는 것은?