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 ...

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 ...