럼바우의 객체 지향 분석 기법에서 상태 다이어그램을 사용하여 시스템의 행위를 기술하는 모델링은?