UML에는 유한 상태 기계(Finite State Machine; FSM)을 설명하기 위한 표기법이 풍부하다.

• FSM을 통해 프로그램의 상태 전이를 효과적으로 표현할 수 있다.

개본 개념

아래 그림은 사용자가 시스템에 로그인하는 방법을 제어하기 위한 상태를 기술한 상태 전이 다이어그램 (State Transition Diagram; STD)이다.

• 모서리가 둥근 사각형은 '상태(state)'를 나타낸다. 사각형을 둘로 나누어 윗 부분에는 각 상태의 이름을 적고, 아래에는 그 상태에 들어가거나 나갈때 실행되는 행동을 적는다.
• 상태 사이의 화살표는 '전이(transition)'라고 부른다. 전이마다 그것을 발생시키는 이벤트의 이름이 붙어있다. 몇몇 전이에는 전이가 일어날 때 수행할 행동이 붙어있기도 하다.
• 다이어그램 왼쪽 상단의 검은 동그라미는 '최초 의사-상태(pseduo state)'라고 부른다. FSM의 생명주기는 이 의사상태에서 전이해 나오며 시작된다.

특수 이벤트

아래와 같이 자기 자신으로 되돌아오는 화살표로 재귀 전이를 표현할 수 있다.

상위 상태

동일한 이벤트에 동일하게 반응하는 상태들이 많다면, 상위 상태 표기법을 사용하는 것이 편리하다. 이런 비슷한 상태를 둘러싼 상위 상태를 그린 다음, 상태마다 전이 화살표를 그리는 대신 상위 상태에만 화살표를 그리면 된다.

최초 의사상태와 최종 의사상태

FSM은 최초 의사상태 (검정 동그라미)로 전이되어 시작된다. 마찬가지로 최종 의사상태로 소멸되는 것도 표현할 수 있다.

FSM 다이어그램 사용하기

위와 같이 다이어그램으로 상태 전이를 표현 가능하다. 하지만 대부분의 시스템은 시간이 지날수록 규모가 커지고 진화하면서 자주 변경되는데, 다이어그램은 자주 변경해야하는 시스템을 표현하기 좋은 매체는 아니다.