In these cases a UML state diagram cannot be properly understood because it is simply incomplete. We propose to include reactions in state diagrams as directed lines starting and finishing in the same ...

Another important characteristic of these systems is that they have a finite set of possible states, and that they are always in exactly one of those, which can be easily realized using state machines ...