Uso Común ..| ..Más Información ..| ..Especificación del UML del OMG
Un estado representa una situación donde se mantiene alguna condición invariante; esta condición puede ser estática, ej. esperar por un evento, o dinámica, ej. llevar a cabo un conjunto de actividades. El modelado de estados normalmente se relaciona a las clases, y describe los estados permitidos por los que una clase o elemento puede estar y las transiciones que permiten que el elemento se mueva hasta allí. Hay tres tipos de estados: estados simples, estados compuestos y estados submáquina.
Más aun, hay pseudoestados, representando algunos aspectos de un estado, pero con una implicación predefinida. Los pseudoestados se usan para modelar rutas de transición complejas, y para clasificar el comportamiento común de una máquina de estados.
Especificación del UML del OMG
La especificación del UML del OMG (UML 2.0 Superstructure, p. 477) establece:
"Un estado modela la situación durante la cual algunas (normalmente implícitas) condiciones invariantes se mantienen. La invariante puede representar una situación estática tal como un objeto esperando que algún evento externo ocurra. Sin embargo, también puede modelar condiciones dinámicas tales como el proceso de llevar a cabo alguna actividad (ej., el elemento de modelado bajo consideración ingresa al estado cuando comienza la actividad y lo deja tan pronto como la actividad este completa)."