<div id="readability-page-1" class="page"><div>
        
      
      <blockquote>
  <p>시퀀스 다이어그램(Sequence Diagram)</p>
</blockquote>



<h2 id="환경">환경</h2>

<ul>
  <li>UML</li>
</ul>



<h2 id="시퀀스-다이어그램sequence-diagram">시퀀스 다이어그램(Sequence Diagram)</h2>

<h3 id="시퀀스-다이어그램sequence-diagram-1">시퀀스 다이어그램(Sequence Diagram)</h3>

<ul>
  <li><strong>시퀀스 다이어그램(Sequence Diagram)</strong>: 객체들의 상호작용을 시간에 따라 표현한 UML 다이어그램</li>
</ul>

<p><img src="https://twpower.github.io/images/20250101_366/sequence-diagram.jpg">
</p>

<h3 id="시퀀스-다이어그램sequence-diagram-기본-표기법">시퀀스 다이어그램(Sequence Diagram) 기본 표기법</h3>

<ul>
  <li><strong>객체(Object)</strong>: 시퀀스 다이어그램에서 상호작용하는 개체(객체 또는 클래스)로 각 객체는 다이어그램 상단에 배치되며 수평선으로 이어진 생명선이 있다.</li>
  <li><strong>생명선(Lifeline)</strong>: 객체의 존재와 상호작용이 시간에 따라 어떻게 이어지는지를 나타내는 점선으로 객체의 생명주기를 표현하며 시간은 위에서 아래로 흐른다. 활성화 된 경우에는 직사각형으로 표시된다.</li>
  <li><strong>메시지(Message)</strong>: 객체들의 상호작용에 사용하는 요청 또는 응답으로 화살표로 표시된다.</li>
</ul>

<p><img src="https://twpower.github.io/images/20250101_366/sequence-diagram-basic-notation.jpg">
</p>

<h3 id="메시지-유형">메시지 유형</h3>

<ul>
  <li><strong>동기 메시지</strong>: Sender가 요청 후 응답 메시지를 받을 때까지 기다린다. 아래 그림처럼 화살표로 표시된다.</li>
  <li><strong>비동기 메시지</strong>: Sender가 요청 후 응답 메시지를 기다리지 않고 계속 하던 작업을 진행한다. 아래 그림처럼 화살표가 표시된다.</li>
  <li><strong>반환 메시지</strong>: 아래처럼 표시되며 불분명할 때는 생략 가능하다.</li>
</ul>

<p><img src="https://twpower.github.io/images/20250101_366/sync-async-response-notation.jpg">
</p>



<h2 id="combined-fragments">Combined Fragments</h2>

<h3 id="guards">Guards</h3>

<p>객체 간 소통 흐름을 표시할 때 조건을 이용해 흐름 제어를 하는 부분을 <strong>Guards</strong>라고 한다. 아래 IBM 문서에서는 “[pastDueBalance = 0]”로 나와있다.</p>

<p><img src="https://developer.ibm.com/developer/default/articles/the-sequence-diagram/images/3101_figure7.jpg">
</p>

<h3 id="combined-fragments-1">Combined Fragments</h3>

<p>시퀀스 다이어그램에서 흐름을 제어할 때 사용하는 여러 조건들이 있는데 아래와 같이 여러가지가 있다.</p>

<ul>
  <li>Branches and Loops
    <ul>
      <li>alt</li>
      <li>opt</li>
      <li>loop</li>
      <li>break</li>
    </ul>
  </li>
  <li>Concurrency and Order
    <ul>
      <li>seq</li>
      <li>strict</li>
      <li>par</li>
      <li>critical</li>
    </ul>
  </li>
  <li>Filters and Assertions
    <ul>
      <li>ignore</li>
      <li>consider</li>
      <li>assert</li>
      <li>neg</li>
    </ul>
  </li>
</ul>

<h3 id="alt-opt">alt, opt</h3>

<ul>
  <li><strong>alt</strong>: switch문으로 생각하면 되며 여러 조건을 명시해 흐름을 제어할 수 있다.</li>
  <li><strong>opt</strong>: if문으로 생각하면 되며 하나의 특정 조건에 따른 흐름을 제어할 수 있다.</li>
</ul>

<p><img src="https://twpower.github.io/images/20250101_366/alt.png">
</p>

<p><img src="https://twpower.github.io/images/20250101_366/opt.png">
</p>

<p><img src="https://twpower.github.io/images/20250101_366/ibm-alt.jpg">
</p>

<p><img src="https://twpower.github.io/images/20250101_366/ibm-opt.jpg">
</p>

<h3 id="loop">loop</h3>

<ul>
  <li><strong>loop</strong>: 조건에 따른 반복문을 사용해 흐름을 제어할 수 있다.</li>
  <li>아래의 경우 “[size&lt;0]”을 만족하면 5부터 10까지 반복하는 경우다.</li>
</ul>

<p><img src="https://twpower.github.io/images/20250101_366/loop.png">
</p>

<p><img src="https://twpower.github.io/images/20250101_366/ibm-loop.png">
</p>

<h3 id="break">break</h3>

<ul>
  <li><strong>break</strong>: 코드에서 exception과 같은 부분으로 조건을 만족하면 해당 fragment를 수행하고 기존에 남은 부분들을 수행하지 않고 바깥 fragment를 빠져나간다.</li>
  <li>만약 아래의 경우에서 break fragment 아래 다른 내용들이 더 있었다면 해당 내용을 수행하지 않고 loop를 빠져나간다.</li>
</ul>

<p><img src="https://twpower.github.io/images/20250101_366/break.png">
</p>

<p><img src="https://twpower.github.io/images/20250101_366/ibm-break.jpg">
</p>

<h3 id="seq-strict">seq, strict</h3>

<ul>
  <li><strong>seq</strong>: 기본으로 탑재되는 fragment로 기본 순서라 보면 된다.</li>
  <li><strong>strict</strong>: 점선으로 나눠진 부분이 차례로 실행되어야 하는 분명한 순서가 존재하는 fragment다.</li>
</ul>

<p>관련한 좋은 그림이 있어서 다른 블로그에서 가져왔다. seq와 strict의 차이를 알 수 있다. 마지막 그림의 경우 search_google() → search_bing() → search_yahoo() 순서다.</p>

<p><img src="https://twpower.github.io/images/20250101_366/blog-seq.png">
</p>

<p><img src="https://twpower.github.io/images/20250101_366/blog-strict.png">
</p>

<p><img src="https://twpower.github.io/images/20250101_366/strict.png">
</p>

<h3 id="par">par</h3>

<ul>
  <li><strong>par</strong>: parallel의 앞 글자로 말 그대로 병렬로 수행할 수 있는 걸 표현할 때 쓸 수 있다.</li>
  <li>점선으로 나누어진 fragment별로 상호 간섭 없이 독립적으로 실행될 수 있다.</li>
  <li>어떤 문서에서는 실제 parallelism은 아니고 concurrency라고 표현한 걸 봤다.</li>
  <li>아래의 그림에서 add()와 remove()를 parallel하게 요청한다고 볼 수 있다.</li>
</ul>

<p><img src="https://twpower.github.io/images/20250101_366/critical-par.png">
</p>

<h3 id="critical">critical</h3>

<ul>
  <li><strong>critical</strong>: Atomic Area로 상호작용을 독점적으로 실행하고, 다른 요소들의 간섭을 방지할 때 사용한다.</li>
  <li>해당 critical fragment 안에서의 순서는 기본 값인 seq와 동일하다.</li>
  <li>critical fragment에 들어온 경우에는 다른 메시지 상호작용이나 인터럽트 없이 해당 구역을 다 우선 수행하고 진행한다고 보면 된다.</li>
  <li>아래의 그림의 경우 add()와 remove()가 순서 관계 없이 add()→remove() 또는 remove()→add() 이렇게 진행될 수 있지만 critical fragment에서는 둘 중 하나만 실행하고 다음 요청을 처리한다.</li>
</ul>

<p><img src="https://twpower.github.io/images/20250101_366/critical-par.png">
</p>

<h3 id="ignore">ignore</h3>

<ul>
  <li><strong>ignore</strong>: 특정 유형의 메시지들을 무시하기 위해 사용한다.</li>
  <li>{} 안에 무시할 메시지를 명시한다.</li>
  <li>아래의 경우 명시된 get과 set이 무시된다.</li>
</ul>

<p><img src="https://twpower.github.io/images/20250101_366/ignore.png">
</p>

<h3 id="consider">consider</h3>

<ul>
  <li><strong>consider</strong>: 특정 유형의 메시지들을 표시하고 강조하고 나머지는 무시하기 위해 사용한다.</li>
  <li>{} 안에 강조하거나 표시할 메시지를 명시한다.</li>
  <li>아래의 경우 add와 remove만 고려하고 다른 메시지는 무시한다고 보면 된다.</li>
</ul>

<p><img src="https://twpower.github.io/images/20250101_366/consider.png">
</p>

<h3 id="assert">assert</h3>

<ul>
  <li><strong>assert</strong>: 항상 참이어야 하는 상호작용의 일부를 정의하는 데 사용된다고 한다.</li>
  <li>{}로 조건이 명시되기도 하는데 해당 조건을 반드시 만족해야 한다.</li>
</ul>

<h3 id="neg">neg</h3>

<ul>
  <li><strong>neg</strong>: 유효하지 않거나 오류가 난 경우를 표현하기 위해 사용한다.</li>
  <li>neg가 아닌 모든 부분들은 정상 작동된 경우로 가정한다.</li>
  <li>아래의 경우 timeout이 난 경우에는 잘못된 경우라는 표현이다.</li>
</ul>

<p><img src="https://twpower.github.io/images/20250101_366/neg.png">
</p>



<h2 id="기타">기타</h2>

<h3 id="reference">Reference</h3>

<ul>
  <li>하나의 시퀀스 다이어그램과 다른 시퀀스 다이어그램을 연결할 때 사용하는 방법이다. ref 안에 다른 시퀀스 다이어그램이 존재한다고 보면 된다.</li>
</ul>

<p><img src="https://twpower.github.io/images/20250101_366/ref.png">
</p>

<h2 id="참고자료">참고자료</h2>

<ul>
  <li><a href="https://en.wikipedia.org/wiki/Sequence_diagram">https://en.wikipedia.org/wiki/Sequence_diagram</a></li>
  <li><a href="https://developer.ibm.com/articles/the-sequence-diagram/">https://developer.ibm.com/articles/the-sequence-diagram/</a></li>
  <li><a href="https://www.uml-diagrams.org/sequence-diagrams-combined-fragment.html">https://www.uml-diagrams.org/sequence-diagrams-combined-fragment.html</a></li>
  <li><a href="https://jsdysw.tistory.com/334">https://jsdysw.tistory.com/334</a></li>
  <li><a href="https://www.geeksforgeeks.org/unified-modeling-language-uml-sequence-diagrams/">https://www.geeksforgeeks.org/unified-modeling-language-uml-sequence-diagrams/</a></li>
  <li><a href="https://www.omg.org/spec/UML/2.5.1">https://www.omg.org/spec/UML/2.5.1</a></li>
</ul>

      
        
        
        </div></div>

TWpower’s Tech Blog

시퀀스 다이어그램(Sequence Diagram)
환경
UML
시퀀스 다이어그램(Sequence Diagram)
시퀀스 다이어그램(Sequence Diagram)
시퀀스 다이어그램(Sequence Diagram): 객체들의 상호작용을 시간에 따라 표현한 UML 다이어그램
시퀀스 다이어그램(Sequence Diagram) 기본 표기법
객체(Object): 시퀀스 다이어그램에서 상호작용하는 개체(객체 또는 클래스)로 각 객체는 다이어그램 상단에 배치되며 수평선으로 이어진 생명선이 있다.
생명선(Lifeline): 객체의 존재와 상호작용이 시간에 따라 어떻게 이어지는지를 나타내는 점선으로 객체의 생명주기를 표현하며 시간은 위에서 아래로 흐른다. 활성화 된 경우에는 직사각형으로 표시된다.
메시지(Message): 객체들의 상호작용에 사용하는 요청 또는 응답으로 화살표로 표시된다.
메시지 유형
동기 메시지: Sender가 요청 후 응답 메시지를 받을 때까지 기다린다. 아래 그림처럼 화살표로 표시된다.
비동기 메시지: Sender가 요청 후 응답 메시지를 기다리지 않고 계속 하던 작업을 진행한다. 아래 그림처럼 화살표가 표시된다.
반환 메시지: 아래처럼 표시되며 불분명할 때는 생략 가능하다.
Combined Fragments
Guards
객체 간 소통 흐름을 표시할 때 조건을 이용해 흐름 제어를 하는 부분을 Guards라고 한다. 아래 IBM 문서에서는 “[pastDueBalance = 0]”로 나와있다.
Combined Fragments
시퀀스 다이어그램에서 흐름을 제어할 때 사용하는 여러 조건들이 있는데 아래와 같이 여러가지가 있다.
Branches and Loops
    
alt
opt
loop
break
Concurrency and Order
    
seq
strict
par
critical
Filters and Assertions
    
ignore
consider
assert
neg
alt, opt
alt: switch문으로 생각하면 되며 여러 조건을 명시해 흐름을 제어할 수 있다.
opt: if문으로 생각하면 되며 하나의 특정 조건에 따른 흐름을 제어할 수 있다.

loop
loop: 조건에 따른 반복문을 사용해 흐름을 제어할 수 있다.
아래의 경우 “[size<0]”을 만족하면 5부터 10까지 반복하는 경우다.
break
break: 코드에서 exception과 같은 부분으로 조건을 만족하면 해당 fragment를 수행하고 기존에 남은 부분들을 수행하지 않고 바깥 fragment를 빠져나간다.
만약 아래의 경우에서 break fragment 아래 다른 내용들이 더 있었다면 해당 내용을 수행하지 않고 loop를 빠져나간다.
seq, strict
seq: 기본으로 탑재되는 fragment로 기본 순서라 보면 된다.
strict: 점선으로 나눠진 부분이 차례로 실행되어야 하는 분명한 순서가 존재하는 fragment다.
관련한 좋은 그림이 있어서 다른 블로그에서 가져왔다. seq와 strict의 차이를 알 수 있다. 마지막 그림의 경우 search_google() → search_bing() → search_yahoo() 순서다.

par
par: parallel의 앞 글자로 말 그대로 병렬로 수행할 수 있는 걸 표현할 때 쓸 수 있다.
점선으로 나누어진 fragment별로 상호 간섭 없이 독립적으로 실행될 수 있다.
어떤 문서에서는 실제 parallelism은 아니고 concurrency라고 표현한 걸 봤다.
아래의 그림에서 add()와 remove()를 parallel하게 요청한다고 볼 수 있다.
critical
critical: Atomic Area로 상호작용을 독점적으로 실행하고, 다른 요소들의 간섭을 방지할 때 사용한다.
해당 critical fragment 안에서의 순서는 기본 값인 seq와 동일하다.
critical fragment에 들어온 경우에는 다른 메시지 상호작용이나 인터럽트 없이 해당 구역을 다 우선 수행하고 진행한다고 보면 된다.
아래의 그림의 경우 add()와 remove()가 순서 관계 없이 add()→remove() 또는 remove()→add() 이렇게 진행될 수 있지만 critical fragment에서는 둘 중 하나만 실행하고 다음 요청을 처리한다.
ignore
ignore: 특정 유형의 메시지들을 무시하기 위해 사용한다.
{} 안에 무시할 메시지를 명시한다.
아래의 경우 명시된 get과 set이 무시된다.
consider
consider: 특정 유형의 메시지들을 표시하고 강조하고 나머지는 무시하기 위해 사용한다.
{} 안에 강조하거나 표시할 메시지를 명시한다.
아래의 경우 add와 remove만 고려하고 다른 메시지는 무시한다고 보면 된다.
assert
assert: 항상 참이어야 하는 상호작용의 일부를 정의하는 데 사용된다고 한다.
{}로 조건이 명시되기도 하는데 해당 조건을 반드시 만족해야 한다.
neg
neg: 유효하지 않거나 오류가 난 경우를 표현하기 위해 사용한다.
neg가 아닌 모든 부분들은 정상 작동된 경우로 가정한다.
아래의 경우 timeout이 난 경우에는 잘못된 경우라는 표현이다.
기타
Reference
하나의 시퀀스 다이어그램과 다른 시퀀스 다이어그램을 연결할 때 사용하는 방법이다. ref 안에 다른 시퀀스 다이어그램이 존재한다고 보면 된다.
참고자료
https://en.wikipedia.org/wiki/Sequence_diagram
https://developer.ibm.com/articles/the-sequence-diagram/
https://www.uml-diagrams.org/sequence-diagrams-combined-fragment.html
https://jsdysw.tistory.com/334
https://www.geeksforgeeks.org/unified-modeling-language-uml-sequence-diagrams/
https://www.omg.org/spec/UML/2.5.1

[UML] 시퀀스 다이어그램(Sequence Diagram)

댓글