user { # User
  n1: circle label:"Start Claim Check"
  n3: rectangle label:"Validate Claim Check conditions"
  n5: rectangle label:"Record Claim Check outcome"
  n7: circle label:"End Claim Check"
  n1.handle(bottom) -> app.n2.handle(top)
  n3.handle(bottom) -> app.n4.handle(top) [label="Processed"]
  n5.handle(bottom) -> app.n6.handle(top)
}

app { # App
  n2: rectangle label:"Receive Claim Check event"
  n4: rectangle label:"Execute Claim Check action"
  n6: rectangle label:"Monitor Claim Check status"
  n2.handle(right) -> user.n3.handle(left)
  n4.handle(right) -> user.n5.handle(left)
  n6.handle(right) -> user.n7.handle(left) [label="Success"]
}