Le diagramme d’état est un puissant mécanisme de formalisation de la dynamique qui peut exprimer plusieurs aspects d’une classe. UML distingue les “protocol state machines” des “behavioral state machine”. Les machines à état “protocole” ont une sémantique très simple et peuvent être utile pour la plupart des classes représentant une notion métier, qui toujours possède plusieurs états dans sa vie, ces états étant modifiés du fait de processus métier et/ou d’invocation d’opérations sur la classe représentée.