digraph techviz {
  graph [rankdir=TB, splines=ortho, nodesep=0.55, ranksep=0.85];
  node [fontname=Helvetica, fontsize=11, margin="0.18,0.12", style="rounded,filled", fillcolor=white, color="#2d4357", penwidth=1.5];
  edge [fontname=Helvetica, fontsize=10, color="#364b5f", penwidth=1.4, arrowsize=0.75];
  n0 [label="한 앱에서 로그아웃", shape=box, style="rounded,dashed,filled"];
  n1 [label="backchannelLogoutUrl", shape=box, style="rounded,filled"];
  n2 [label="앱의 수신 엔드포인트", shape=box, style="rounded,filled"];
  n3 [label="다른 앱의 세션", shape=box, style="rounded,filled"];
  n0 -> n1 [label="통지 주소 조회", style=solid];
  n1 -> n2 [label="호출 (주소 필요)", style=solid];
  n2 -> n3 [label="세션 삭제 (엔드포인트 필요)", style=solid];
}