The state diagram is a powerful mechanism for formalizing dynamics that can express several aspects of a class. UML distinguishes protocol state machines from behavioural state machine. “Protocol” state machines have very simple semantics and can be used for most classes representing a business notion which always has several different states in its life, with these states changing due to business processes and/or the invocation of operations on the representing class.