diff --git a/Forum-Sharing-Client.md b/Forum-Sharing-Client.md index a4e4a0c..de29420 100644 --- a/Forum-Sharing-Client.md +++ b/Forum-Sharing-Client.md @@ -32,6 +32,14 @@ The sender sets the forum's visibility to INVISIBLE when sending a leave message The sender sets the forum's visibility to INVISIBLE when sending an abort message. The recipient sets the forum's visibility to INVISIBLE when receiving an abort message. +### State machine + +![state-machine-4](/uploads/373807b51d3ba73d6f49a874b931ef0f/state-machine-4.png) + +[state-machine-4.odg](/uploads/4606c2f4b9d7f3c00482bdbf46fec250/state-machine-4.odg) + +Aborting from any state returns the session to the START state. + ### Validity policy * A message is valid if it is well-formed.