Source

jk / docs / source / diag / uc3.diag

Full commit
seqdiag {
  default_fontsize = 16;
  autonumber = True;

  税務署 -> 認可機関 [label = "Grant(client_assertion,request_file(user_list))"];
  税務署 <-- 認可機関  [label = "ui_access_token" ];
 
  税務署 -> UserInfo [ label = "UserInfo(ui_access_token)" ];
  税務署 <-- UserInfo [ label = "UserInfoRes(dclaim_list(区役所.扶養家族,access_token))" ];

  === for i in dclaim_list ===
  税務署 -> 区役所.i  [ label="扶養家族(access_token[i])" ];
  区役所.i -> 認可機関 [ label="TokenRes(access_token[i])" ];
  区役所.i <-- 認可機関 [ label="TokenResDoc(server_ppid_set[i])" ];

  区役所.i -> 区役所.i [ label="EncMap(server_ppid_set(user))" ] ;

  税務署 <-- 区役所.i[ label="JSON(EncMapTable,扶養家族(user))" ];
 
  税務署 -> 認可機関 [ label="DecMap(EncMapTable)" ] ;
  税務署 <--  認可機関 [ label="DecMapTable)" ] ;

  税務署 -> 税務署 [ label="データ処理(DecMapTable,扶養家族[i])"  ] ;
  === endfor ===

}