Diagrama de estados abstractos

 El diagrama de máquina de estados o, más comunmente llamado, el diagrama de estados es un diagrama de comportamiento usado para especificar el comportamiento de una parte del sistema diseñado a través de transiciones de estados finitos. El formalismo de esta diagramado utilizado en UML es una variante basada en objetos de los diagramas de estado de Harel. Es utilizado para mostrar los estados por los que pasa un componente de un sistema de información.

El comportamiento se modela utilizando una serie de nodos que representan estados y que están conectados a través de las llamadas transiciones. Estas transiciones se activan a través de eventos.