Abstract
Introduction to UML behavioral state machines and protocol state
machines as defined in UML 2.0: Definition of basic terms and
elements: state machine, state (simple, composite, orthogonal),
pseudo-state, transition, trigger, guard condition, actions and
activities. Explanation of the underlying principles. The UML state
machines compared to finite state automata. Comparison of the
behavioral state machine and the protocol state machines.