
El comportamiento de una entidad no es solo una consecuencia directa de sus entradas, sino que también depende de su estado anterior. La historia pasada de una entidad se puede modelar mejor mediante una diagrama de máquina de estados finitos o tradicionalmente llamada autómatas. UML Los diagramas de máquinas de estados (a veces referidos como diagrama de estados, máquina de estados o gráfico de estados) muestran los diferentes estados de una entidad. Los diagramas de máquinas de estados también pueden mostrar cómo una entidad responde a diversos eventos al cambiar de un estado a otro. El diagrama de máquina de estados es un diagrama UML utilizado para modelar la naturaleza dinámica de un sistema.

🚀 Aprende UML más rápido, mejor y más fácil
¿Estás buscando una herramienta gratuita de UML para aprender UML más rápido, más fácil y más rápido?Visual Paradigm Edición Comunitaria es un software UML que admite todos los tipos de diagramas UML. Es un modelador UML galardonado internacionalmente, y sin embargo es fácil de usar, intuitivo y completamente gratuito.
¿Por qué diagramas de máquinas de estados?
Los diagramas de máquinas de estados se utilizan típicamente para describir comportamiento dependiente del estado para un objeto. Un objeto responde de manera diferente al mismo evento dependiendo del estado en que se encuentra. Los diagramas de máquinas de estados se aplican normalmente a objetos, pero también pueden aplicarse a cualquier elemento que tenga comportamiento hacia otras entidades, como: actores, casos de uso, métodos, subsistemas, sistemas, etc., y normalmente se utilizan junto con diagramas de interacción (generalmente diagramas de secuencia).
Ejemplo práctico: Retiro de cuenta bancaria
Considera que tienes 100.000 dólares en una cuenta bancaria. El comportamiento de la función retirar sería:
saldo := saldo - montoRetiro;
siempre que el saldo después del retiro no sea menor que 0 dólares; esto es cierto sin importar cuántas veces hayas retirado dinero del banco. En tales situaciones, los retiros no afectan la abstracción de los valores de los atributos, y por lo tanto el comportamiento general del objeto permanece sin cambios.
Sin embargo, si el saldo de la cuenta se volvería negativo después de un retiro, el comportamiento de la función retirar sería bastante diferente. Esto se debe a que el estado de la cuenta bancaria cambia de positivo a negativo; en jerga técnica, se dispara una transición desde el estado positivo hasta el estado negativo se activa.
💡 Nota: La abstracción del valor de atributo es una propiedad del sistema, más que una regla aplicable globalmente. Por ejemplo, si el banco cambia la regla de negocio para permitir que el saldo bancario esté sobregirado en $2.000, el estado de la cuenta bancaria se redefinirá con la condición de que el saldo después de la retirada no debe ser inferior a $2.000 en déficit.
Diferencia clave
| Tipo de diagrama | Alcance |
|---|---|
| Diagrama de máquinas de estado | Describe todos los eventos, estados y transiciones para unobjeto individual |
| Diagrama de secuencia | Describe los eventos para uninteracción individual entre todos los objetos involucrados |
Conceptos básicos del diagrama de máquinas de estado
¿Qué es un estado?
“Un estado es una abstracción de los valores de atributos y enlaces de un objeto. Los conjuntos de valores se agrupan en un estado según propiedades que afectan al comportamiento general del objeto.” — Rumbaugh
Notación de estado

Características de la notación de máquinas de estado
-
Un estado ocupa un intervalo de tiempo
-
Un estado suele asociarse con una abstracción de los valores de atributos de una entidad que satisface alguna condición (o condiciones)
-
Una entidad cambia su estado no solo como consecuencia directa de la entrada actual, sino que también depende de alguna historia pasada de sus entradas
Definición de estado
Unestado es una restricción o una situación en el ciclo de vida de un objeto, en la que se cumple una restricción, el objeto ejecuta una actividad o espera un evento.
Un diagrama de máquinas de estado es un grafo que consta de:
-
Estados (estados simples o estados compuestos)
-
Transiciones de estado conectando los estados
Ejemplo:

Características del estado
-
Los estados representan las condiciones de los objetos en ciertos momentos del tiempo
-
Los objetos (o sistemas) pueden considerarse como que se mueven de un estado a otro
-
Un punto en el ciclo de vida de un elemento de modelo que satisface alguna condición, donde se está realizando alguna acción particular o donde se está esperando algún evento
Estados inicial y final
| Tipo de estado | Símbolo | Descripción |
|---|---|---|
| Estado inicial | ● Círculo sólido | Conocido como un pseudoestado inicial; una transición desde este estado muestra el primer estado real |
| Estado final | ◎ Círculos concéntricos | Representa la terminación; una máquina de estados con bucle abierto representa un objeto que puede terminar antes de que el sistema termine |
Ejemplo:

📌 Nota: Un diagrama de máquina de estados con bucle cerrado no tiene un estado final; si es el caso, entonces el objeto vive hasta que todo el sistema termine.
Eventos
Una firma de evento se describe comoNombre-del-evento (lista-de-parámetros-separados-por-comas). Los eventos aparecen en el compartimento de transición interna de un estado o en una transición entre estados.
Cuatro tipos de eventos
-
Evento de señal – correspondiente a la llegada de un mensaje o señal asíncrona
-
Evento de llamada – correspondiente a la llegada de una llamada procedural a una operación
-
Evento de tiempo – ocurre después de que haya transcurrido un tiempo especificado
-
Evento de cambio – ocurre cada vez que se cumple una condición especificada
Características de los eventos
-
Representa incidentes que hacen que los objetos pasen de un estado a otro
-
Eventos internos o externos desencadenan alguna actividad que cambia el estado del sistema y de algunas de sus partes
-
Los eventos transmiten información, que es elaborada por las operaciones de los objetos. Los objetos realizan los eventos
-
El diseño implica examinar los eventos en un diagrama de máquina de estados y considerar cómo esos eventos serán respaldados por los objetos del sistema
Transiciones
Las líneas de transición representan el movimiento de un estado a otro. Cada línea de transición está etiquetada con el evento que causa la transición.
Principios clave
-
Ver un sistema como un conjunto de estados y transiciones entre estados es muy útil para describir comportamientos complejos
-
Comprender las transiciones de estado forma parte del análisis y diseño del sistema
-
Una Transición es el movimiento de un estado a otro estado
Secuencia de transición
-
Un elemento se encuentra en un estado de origen
-
Una evento ocurre
-
Una acción se realiza
-
El elemento ingresa a un estado objetivo
Notas adicionales
-
Ocurren múltiples transiciones ya sea cuando diferentes eventos hacen que un estado finalice o cuando hay condiciones de guarda en las transiciones
-
Una transición sin evento ni acción se conoce como una transición automática
Acciones frente a actividades
| Característica | Acción | Actividad |
|---|---|---|
| Naturaleza | Cálculo atómico ejecutable | Cálculo no atómico o en curso |
| Ejemplos | Llamadas a operaciones, creación/destrucción de objetos, envío de señales | Comportamientos complejos que pueden ejecutarse durante períodos prolongados |
| Interrumpibilidad | No interrumpible – se completa sin interrupción | Puede ser interrumpido por eventos; puede ejecutarse hasta su finalización o continuar indefinidamente |
| Asociación | Asociado con transiciones | Asociado con estados |
Características de acciones y actividades
-
Los estados pueden desencadenar acciones
-
Los estados pueden tener un segundo compartimento que contiene acciones o actividades realizadas mientras una entidad se encuentra en un estado determinado
-
Una acción es una ejecución atómica y por lo tanto se completa sin interrupción
-
Cinco desencadenantes para acciones: Al Entrar, Hacer, Al Evento, Al Salir e Incluir
-
Una actividad captura un comportamiento complejo que puede durar mucho tiempo: una actividad puede ser interrumpida por eventos, en cuyo caso no se completa; ocurre cuando un objeto llega a un estado
Notación de diagrama de máquina de estados simple

Acciones de entrada y salida
Acciones de entrada y salida especificadas en el estado. Debe ser verdadero para cada ocurrencia de entrada/salida. Si no, entonces debe utilizar acciones en los arcos de transición individuales.
| Tipo de acción | Notación | Cuándo se ejecuta |
|---|---|---|
| Acción de entrada | entrada / acción |
Ejecutado al entrar en el estado |
| Acción de salida | salida / acción |
Ejecutado al salir del estado |
Ejemplo – Acción de entrada/salida (Verificar estado del libro)
Este ejemplo ilustra un diagrama de máquina de estados derivado de una clase – “BookCopy”:

Notas clave:
-
Este diagrama de máquina de estados muestra el estado de un objeto
miCopiaLibrode unaCopiaLibroclase -
Acción de entrada: cualquier acción marcada como vinculada a la acción de entrada se ejecuta cada vez que se entra en el estado dado mediante una transición
-
Acción de salida: cualquier acción marcada como vinculada a la acción de salida se ejecuta cada vez que se abandona el estado mediante una transición
🤖 Domina los ciclos de vida complejos de objetos con IA
Las máquinas de estados son esenciales para modelar comportamientos impulsados por eventos, pero los subestados anidados y las regiones concurrentes pueden ser difíciles de diseñar manualmente.Las herramientas de IA de Visual Paradigm simplifican esto transformando su lógica de comportamiento en diagramas de estado UML precisos—completos con disparadores, guardas, y acciones de entrada/salida.
Plataformas habilitadas con IA
| Plataforma | Capacidad |
|---|---|
| VP Desktop | Utilice el asistente de IA integrado para generar y perfeccionar la lógica dependiente del estado directamente dentro del modelador UML |
| Chatbot de IA | Describa los estados y transiciones de su objeto al Chat de IA para generar diagramas instantáneos y editables |
Características inteligentes de diseño de comportamiento
🔄 Descubrimiento de transiciones: La IA identifica automáticamente estados y transiciones a partir de sus requisitos del sistema
🛡️ Ahorro de tiempo: Genere el diagrama con un solo clic, en pocos segundos
Obtenga más información sobre el diagramado de estados con IA | Ecosistema completo de IA
Subestados y estados compuestos
Un estado simple es uno que no tiene subestructura. Un estado que tiene subestados (estados anidados) se llama un estado compuesto.
Reglas clave para los subestados
-
Los subestados pueden anidarse hasta cualquier nivel
-
Una máquina de estados anidada puede tener como máximo un estado inicial y un estado final
-
Los subestados se utilizan para simplificar máquinas de estados planas complejas al mostrar que algunos estados solo son posibles dentro de un contexto particular (el estado contenedor)
Ejemplo de subestado – Calefactor

Ideas de prueba derivadas de diagramas de máquinas de estados
Los diagramas de máquinas de estados se utilizan a menudo para derivar casos de prueba. A continuación se presenta una lista de ideas de prueba posibles para el ejemplo del calefactor:
-
El estado inactivo recibe el evento Demasiado caliente
-
El estado inactivo recibe el evento Demasiado frío
-
El estado de enfriamiento/arranque recibe el evento Compresor en funcionamiento
-
El estado de enfriamiento/listo recibe el evento Ventilador en funcionamiento
-
El estado de enfriamiento/en funcionamiento recibe el evento Correcto
-
El estado de enfriamiento/en funcionamiento recibe el evento Falla
-
El estado de falla recibe el evento Falla eliminada
-
El estado de calentamiento recibe el evento Correcto
-
El estado de calentamiento recibe el evento Falla
Estados de historia
A menos que se especifique lo contrario, cuando una transición entra en un estado compuesto, la acción de la máquina de estados anidada comienza de nuevo desde el estado inicial (a menos que la transición apunte directamente a un subestado).
Estados de historia permiten que la máquina de estados vuelva a entrar en el último subestado que estaba activo antes de salir el estado compuesto.
Ejemplo de estado de historia

💡 Caso de uso: Los estados de historia son particularmente útiles al modelar interfaces de usuario o flujos de trabajo en los que los usuarios pueden salir y volver a un estado complejo sin perder su progreso.
Estados concurrentes
Como se mencionó anteriormente, los estados en los diagramas de máquinas de estados pueden anidarse. Los estados relacionados pueden agruparse juntos en un único estado compuesto.Anidar estados dentro de otros es necesario cuando una actividad implica subactividades concurrentes.
Ejemplo de diagrama de máquina de estados concurrente – Proceso de subasta
En este ejemplo, la máquina de estados que primero entra en la subasta requiere una bifurcación al inicio en dos hilos de inicio separados. Cada subestado tiene un estado de salida para marcar el final del hilo. A menos que haya una salida anormal (Cancelado o Rechazado), la salida desde el estado compuesto ocurre cuando ambos subestados han salido.

Características principales de los estados concurrentes
-
Representan caminos de ejecución paralelos dentro de un estado compuesto
-
Utilice la notación fork/join para dividir y sincronizar flujos concurrentes
-
Cada región concurrente opera de forma independiente, pero contribuye al comportamiento general del estado
-
La salida desde el estado compuesto ocurre solo cuandotodoslos subestados concurrentes han completado su ejecución
✏️ Intente dibujar un diagrama de máquina de estados UML ahora
Has aprendido qué es un diagrama de máquina de estados y cómo dibujar un diagrama de máquina de estados. Es momento de dibujar un diagrama de máquina de estados propio.
Obtenga la edición comunitaria de Visual Paradigm, un software UML gratuito, y cree su propio diagrama de máquina de estados con la herramienta gratuita de diagrama de máquina de estados. Es fácil de usar e intuitivo.
Descargue la edición comunitaria de Visual Paradigm
Generación de diagramas de estado impulsada por IA
La IA de Visual Paradigm simplifica la generación de diagramas de estado convirtiendo descripciones en lenguaje natural en modelos UML compatibles con estándares en segundos. Puede describir el ciclo de vida de un objeto, como una orden en línea o un ticket de soporte, y la IA identifica automáticamente los estados necesarios, transiciones, desencadenantes y condiciones de guarda.
Características principales para diagramas de estado
✨ Lenguaje natural a diagrama: Genere instantáneamente diagramas de máquina de estados UML completos a partir de simples promps de texto
💬 Refinamiento conversacional: Utilice una interfaz de chatbot para modificar iterativamente su diagrama agregando subestados, renombrando elementos o refinando transiciones mediante comandos simples
🧠 Soporte de modelado inteligente: La IA incluye funciones avanzadas de modelado de comportamiento, como acciones de entrada/salida, desencadenantes de eventos y condiciones de guarda
🗂️ Organización lógica: Funciones como el agrupamiento inteligente agrupan automáticamente los estados relacionados, mientras que un motor de diseño automático garantiza que el diagrama permanezca limpio y legible
✅ Validación del diseño: Puedes pedirle a la IA que analice tu diagrama en busca de fallos lógicos, como estados de “boca cerrada” o eventos no manejados en estados específicos
El ecosistema de IA
Visual Paradigm integra su IA en varias plataformas para ofrecer una experiencia de modelado coherente:
Plataformas e integraciones integradas
| Plataforma | Beneficio clave |
|---|---|
| Plataformas de escritorio e online integradas | Comienza un diagrama usando el Chatbot de IA o el editor en línea e importarlo sin problemas en el Visual Paradigm Escritorio aplicación para ingeniería avanzada de código y colaboración en equipo |
| Documentación a pedido | Genere automáticamente informes detallados del proyecto, resúmenes y documentación técnica basados en sus modelos visuales |
| Amplio soporte de notación | Más allá de los diagramas de estado, la IA admite más de 40 tipos de diagramas, incluyendo UML, BPMN, SysML y ArchiMate |
| Rastreabilidad entre modelos | Enlaza tus diagramas de estado con otros artefactos del proyecto, como casos de uso o historias de usuario, para mantener una única fuente de verdad en toda la arquitectura del sistema |
💬 ¿Te gustaría ver un ejemplo de prompt para generar un tipo específico de máquina de estados? ¡Solo pregúntalo!
- 📚 Lista de referencias
- ¿Qué es un diagrama de máquina de estados?: Guía completa para comprender los diagramas de máquina de estados UML, su notación, componentes y uso práctico en el modelado de sistemas.
- Dominar los diagramas de máquinas de estado UML con modelado visual impulsado por IA: Aprenda cómo las herramientas de IA mejoran la creación de diagramas de máquinas de estado, la eficiencia del modelado y la precisión del diseño de comportamientos.
- Cree diagramas de estado UML en segundos con IA: Descubra cómo generar diagramas de estado UML rápidamente utilizando herramientas impulsadas por IA que convierten descripciones en lenguaje natural en modelos formales.
- Generación de diagramas con IA: Función impulsada por IA de Visual Paradigm para la creación automática de diagramas a partir de promps en lenguaje natural en múltiples tipos de notación UML.
- Chatbot de IA para diagramación: Asistente de IA interactiva que ayuda a generar y perfeccionar diagramas UML mediante comandos conversacionales y retroalimentación iterativa.
- Documentación del chatbot de IA: Documentación oficial y directrices de uso para aprovechar el chatbot de IA para crear, modificar y validar diagramas UML.
- Generación mejorada de diagramas de máquina de estado con IA: Notas de lanzamiento que detallan las capacidades mejoradas de IA para la creación de diagramas de estado, incluyendo una detección de transiciones más precisa y un manejo mejorado de condiciones de guarda.
- Mejoras en los diagramas de estado con IA: Visión general técnica de las actualizaciones a las características de modelado de máquinas de estado impulsadas por IA y las mejoras en el rendimiento.
- Diagrama de máquina de estado UML: Una guía definitiva para modelar el comportamiento de objetos con IA: Documentación completa sobre el uso de IA para modelar el comportamiento de objetos mediante máquinas de estado, incluyendo mejores prácticas y ejemplos.
- Generador de diagramas de estructura compuesta con IA: Genere diagramas de estructura compuesta UML de forma instantánea en plataformas de Escritorio, Chat y OpenDocs utilizando asistencia de IA.
- ¿Qué hace diferente al chatbot de IA de Visual Paradigm?: Publicación de blog que explica las ventajas únicas del chatbot de IA de Visual Paradigm para diagramación, incluyendo conciencia contextual y precisión técnica.
- Guía para la generación de diagramas UML impulsada por IA: Guía en lengua vietnamita sobre las características y flujos de trabajo de generación de diagramas UML impulsados por IA.
- Revisión completa: Características de generación de diagramas con IA de Visual Paradigm: Revisión de terceros que evalúa las capacidades de diagramación con IA de Visual Paradigm, su usabilidad y sus características de integración.
- Cómo el ecosistema impulsado por IA de Visual Paradigm transforma el desarrollo UML: Artículo que explora cómo la integración de IA transforma los flujos de trabajo de desarrollo UML, la colaboración y las prácticas de ingeniería basada en modelos.
-
🎯 ¿Listo para comenzar?Descargue hoy la edición comunitaria de Visual Paradigm y comience a modelar el comportamiento dinámico de sistemas con diagramas de máquina de estado de calidad profesional, impulsados por un diseño intuitivo y la asistencia inteligente de IA.











