For the sake of generating a documentation and having a reference for my self, I want to formalize some concepts, behaviors and processes in a proper way. For example: My game has a game server. This server has to do a reset in some situations. These situations or events could be when all players left the game, the game was lost or one player sends a clear reset intent command.
Now I’m wondering how to formalize that. My first thought was to use a UML-process-diagram. But I have no idea how this should look in a case like the described one (since there are more than just one entry point and also async events).
Maybe I’m wrong and there are better way to formally describe the behavior of some concepts?
Can you give me an example please?