Architect 공부 3일차(3) - UML/StateChart Diagram

FSM(Finitie State Machine)에 몇 가지 특성이 더해진 Diagram.

1) Composite State

2) Orthogonal State

3) History State

가 추가된 FSM을 state chart formularism 혹은 StateChart Diagram이라고 한다.

 

---

 

상태를 나타내는 State와 State 변화들이 수행되는 Transition으로 이루어져있다.

노드의 상태를 나타내는 State는

들어올 때의 Enrty, 현재상태에서 작업을 수행하는 Do, 다른 State로 전환될 때의 Exit 으로 구성되어있고

State 조건에 따라 Initial, Final, Terminate 등으로 표현될 수 있다.

Transition는 번호가 새겨진 event, 조건인 condition(guard), 수행문인 action으로 구성되어있다.

※ 예시

1) initial state를 따라 S1 state가 Active 되고

2) entry에 따라 x=4 값으로 결정된다

3) event가 발생하고 x==4 조건이 맞아 true 로 변경된다.

4) S1에서 나가면서 exit에 의해 x=5가 되고

5) transition 이 true이므로 action에 의해 x=10이 된다.

6) S2가 Active되고 entry에 의해 x=11이 된다.

 

---

 

1) Composite state ( → OR State )

다른 state를 내부적으로 포함할 수 있다. ( substate )

순간마다 substate를 포함하여, 하나의 State만 Active 될 수 있다.

 

2) Orthogonal state ( → AND State )

region 별로 state가 Active 될 수 있다.

 

※ Submachine State (SMS) : 다른 state machine diagram을 축약해서 참조형으로 표시

3) History State

마지막으로 active된 state를 기억해서 수헹.

. shallow state : 마지막 state와 동일 레벨에서 다시 수행. 보통 해당 레벨의 initial에서 수행된다.

. Deep history state : 마지막 state에서 다시 수행. ( 좀더 강력 )

※ H,H*에 선이 있는것은 last state가 없을 때의 진행방향을 위함