Los diagramas de estado describen el comportamiento de un sistema mediante la representación de los diferentes estados de un objeto y las transiciones entre estados causadas por eventos. Pueden mostrar transiciones simples y complejas, incluyendo transiciones internas, envío de mensajes, acciones asociadas a transiciones, y estados anidados y concurrentes. Los diagramas de estado proporcionan una forma útil de modelar el comportamiento dinámico de un sistema.