[ UML ] 상태 머신 다이어그램(State Machines Diagram) 이론

■  State Machines

상태 머신은 전이 트리거 및 제약 사항에 따라 동작을 분류하고 상태 간을 이동하는 방법을 보여준다.

다이어그램 도구 상자의 ‘상태’ 페이지에서 상태 머신 요소 및 커넥터를 생성한다.

 

l  Naming

 

• 상태 머신은 이전에는 상태 다이어그램으로 알려져 있다. 
• UML의 상태 머신 표현은 하렐 주 차트 표기법을 기반으로 하기 때문에 때때로 상태 차트로 불린다.

 

l  State Tables

 

그림과 같은 상태 머신을 표시하거나 세 가지 관계 형식 중 하나의 테이블로 할 수 있다.

 

l  Select the display format

Step	Action
1	그림의 배경을 마우스 오른쪽 버튼으로 클릭하고 ‘상태 차트 편집기’ 옵션을 선택한다.
2	적절한 디스플레이 옵션을 선택한다: 다이어그램 테이블 (상태-다음 상태) 표 (상태-트리거) 표 (트리거-상태)

 

l  Example Diagram

 

이 그림은 상태 기계의 일부 기능을 보여준다.

 

  

l  Composite Diagram States

 

저장된 상태의 오른쪽 아래 모서리에 체인 링크 기호는 복합 다이어그램 상태임을 나타낸다.

상태의 복합 다이어그램의 내용을 표시하기 위한 두 가지 옵션이 있다. 첫째, 다음과 같이 별도로 자식도를 표시하는 부모 요소를 두 번 클릭할 수 있다.

 

 

기본적으로, 자식 다이어그램의 맥락에서 부모 객체를 나타내는 표지 프레임 내의 자식도를 표시한다.

배경을 마우스 오른쪽 버튼으로 클릭하고 프레임을 숨길 수 있는 ‘다이어그램 프레임 숨기기’ 옵션을 선택하고 다시 프레임을 표시하는 ‘쇼 다이어그램 프레임’ 옵션에 있다.

 

또한, 메인 다이어그램에 복합 요소를 마우스 오른쪽 버튼으로 클릭하고 ‘향상된 | 합성 다이어 그램 표시’ 옵선을 선택할 수 있다.

 

  

l  Composite Diagram States

Icon	Description
	일부 불변 조건이 보유하고 현 상태 상황을 나타낸다. 이 조건 (이벤트 대기) 또는 동적 (활동 세트를 수행하는) 정적 일 수 있다.
	상태 머신 요소는 관련 상태 요소의 그룹에 대한 컨테이너이다.
	초기 요소는 복합 상태의 초기 상태를 나타내는 데 사용되는 의사-상태를 나타낸다. 복합 상태의 각 상태에서 하나의 초기 정점이 있을 수 있다.
	활성화된 최종 요소는 작업의 완료를 나타낸다. 최종적으로 도달 할 때, 활동 다이어그램의 모든 실행이 중단된다.
	얕고 깊은 역사: UML에 정의된 역사 의사 상태의 두 가지 유형이 있다.
	비동기 상태는 상태 머신의 동시 경로가 동기화 되어 있음을 나타내는 데 유용하다. 그들은 분할 및 병렬 처리 기간을 다시 기입하는데 사용된다.
	객체는 실행 시에 클래스의 특정 인스턴스다.
	선택 의사 상태는 나가는 전이 경로가 동적 런타임 조건에 의해 결정되는 복잡한 전이 경로를 구성하는 데 사용된다.
	Junction 의사 상태는 상태 머신 다이어그램의 복잡한 전이 경로를 설계하는 데 사용된다. Junction은 공유 전이 경로로 다중 경로를 결합하거나 통합 할 수 있다.
	진입 점 의사 상태는 상태 머신의 시작을 정의하는 데 사용된다. 진입 점은 초기 동시 상태의 구성을 지시하며 각 상태에 존재한다.
	포크/조인 요소는 다음의 일을 할 수 있다. 1) 동시 흐름의 번호로 하나의 흐름을 분할 2) 동시 플로우 숫자들을 조인 3) 나가는 흐름들의 개수에 들어오는 플로우를 조인과 포크
	포크/조인 요소는 다음의 일을 할 수 있다. 1) 동시 흐름의 번호로 하나의 흐름을 분할 2) 동시 플로우 숫자들을 조인 3) 나가는 흐름들의 개수에 들어오는 플로우를 조인과 포크