소프트웨어공학

1. State Diagram(상태 다이어그램)

시스템의 시간에 따른 객체 상태변화를 모델링 한다.

단일객체에 대한 상태 전이를 나타낸다.

사건에 따른 객체가 취할 수 있는 행동에 초점을 둔다

상태

 객체가 존재할 수 있는 조건 중의 하나

 둥근 모서리를 가진 사각형으로 표시

 둥근 모서리를 가진 사각형의 안쪽 상단에 상태의 이름을 기술

상태에서 중요한 것

- 객체가 가질 수 있는 모든 가능한 경우가 상태로 파악되어야 한다

- 객체는 파악된 상태들 이외의 상태를 가질 수 없다. 

- 객체는 특정 순간에는 오직 한 상태로만 존재할 수 있다.

상태다이어그램도 활동 다이어그램과 마찬가지로 시작과 종료 상태가 있으며, 

시작 상태와 종료 상태의 표기는 활동 다이어그램에서처럼 동일하게 사용한다.

이벤트와 전이

객체에 외부로부터 자극이 전달된 경우 이 자극에 의해서 객체가 다른 상태로 변경

 전이(Transition) :  객체의 상태가 다른 상태로 변경되는 것

 이벤트 :  객체의 전이를 유발하는 자극

상태 사이의 전이 : 실선으로 표시 ( UML 상태 다이어그램 )

상태의 전이를 유발하는 이벤트는 전이 위에 이벤트 이름이 표시

확장된 표기법

상태와 이벤트 표기법을 확장하여 좀 더 상세한 표현이 가능

상태 아이콘의 확장

상태 아이콘은 클래스 아이콘처럼 두 영역으로 나누어 정보를 넣을 수 있다.

 위에는 상태 이름 ( 필수 )

 아래 부분에는 활동 ( 선택적 )

상태 다이아그램 표현

 세탁기 객체의 행동을 상태다이아그램으로 표현

상태들 사이의 행동관계를 나타낸다.

이벤트와 전이의 확장 

전이를 나타내는 선 위에 정보를 추가

 전이가 일어나는 원인을 제공하는 이벤트와 실제로 수행되어 상태 변화를 일으키는 동작으로 표현 

 이벤트와 동작은 전이선에 가깝게 붙여 써주며, 슬래시(/)를 사용하여 사건과 동작을 구분

 어떤 사건의 경우에는 연관된 동작 없이 전이를 일으킬 수 있으며, 활동을 종료했기 때문에 일어나는 전이도 있다.

에어컨 시스템

 상태의 종류

- 초기화(Initializing)

- 작동중(Working)

- 끝 마무리(Finishing)

 에어컨을 켜면, 현재 온도를 확인하고 설정된 온도보다 높으면 에어컨이 작동

- 에어컨을 켜는 일(turn air conditioner on)은‘초기화’상태로 전이되도록 하는 이벤트

- 온도 확인(temperature confirmation)은 이 전이가 수행되는 도중에 일어나는 동작

슈퍼 상태와 서브 상태

상태(State) 안에 상태(State)가 있는 구조이다.

하위상태를 Substate ( Nested state )라고 한다.

객체의 상태변화를 단순화할 방법으로 사용된다.

History State

Composite State를 빠져나올 때의 가장 마지막 상태를 기억.

종류

   Shallow HistoryState : substate의 가장 마지막 상태만 기억.

   Deep HistoryState : 모든 substate 상태를 모두 기억. 

온라인 진료 예약시스템 상태다이아그램 예