State Machine Designer

Código Mermaid Generado

Guía Rápida

Definir Múltiples Estados Iniciales

Para que el diagrama comience desde varios puntos, añade un comentario especial al principio de tu requisito:

// @initial: estado_A, estado_B

Esto creará flechas desde el nodo de inicio (`[*]`) hacia `estado_A` y `estado_B`.

Reglas de No Operación (`no.operacion`)

Para modelar un evento que es recibido pero no causa un cambio de estado, usa la acción `no.operacion`. El sistema lo visualizará automáticamente como un bucle.

Si escribes:

estado_actual ⇒ [no.operacion(evento_ignorado)] ⇒ no_cambia

El diagrama mostrará una flecha que sale de `estado_actual` y vuelve a entrar en él, etiquetada como `no.operacion`.

Diagnóstico del Proyecto

La herramienta analiza continuamente los requisitos seleccionados para detectar los siguientes errores lógicos y de sintaxis:

Errores de Sintaxis en Reglas

Ocurre cuando una línea parece una regla (porque contiene `⇒`), pero no cumple con la estructura esperada, por ejemplo, por falta de corchetes o paréntesis. Esa línea no se renderizará.

// ADVERTENCIA: Falta un ']' al final del evento
A ⇒ [no.operacion((BT1).cambio) ⇒ B

Problemas de Determinismo

Ocurre cuando desde un mismo estado, el mismo evento o condición puede llevar a dos estados finales diferentes. Esto crea ambigüedad.

// ADVERTENCIA: 'evento' lleva a dos sitios desde 'A'
A ⇒ [accion(evento)] ⇒ B
A ⇒ [accion(evento)] ⇒ C

Estados Huérfanos (Atrapamientos)

Es un estado que no es final, pero del que no sale ninguna transición. Si el sistema llega aquí, se queda "atrapado" sin poder continuar.

// ADVERTENCIA: 'B' es un callejón sin salida
A ⇒ [evento1] ⇒ B
C ⇒ [evento2] ⇒ D

Estados Inalcanzables

Es un estado definido en las reglas al que es imposible llegar desde cualquier estado inicial. Representa "código muerto" en el diagrama.

// @initial: A
// ADVERTENCIA: Es imposible llegar a 'C'
A ⇒ [evento1] ⇒ B
C ⇒ [evento2] ⇒ D

Detección de Dependencias

La vista "Dependencia de Requisitos" genera un diagrama de alto nivel que muestra cómo se conectan lógicamente los diferentes requisitos entre sí.

¿Cómo funciona? 🧐

La aplicación detecta una dependencia de un Requisito A hacia un Requisito B si se cumple una de estas dos condiciones:

Un estado final del Requisito A coincide con un estado inicial (definido con // @initial:) del Requisito B.
Un estado final del Requisito A coincide con cualquier estado de origen en el Requisito B (cualquier estado que esté a la izquierda de un ⇒).

Sintaxis a tener en cuenta ✍️

Estados Finales: Un estado se considera "final" dentro de un requisito si aparece a la derecha de un ⇒ pero nunca a la izquierda. ¡Asegúrate de que tus flujos terminan en estados bien definidos!
Puntos de Conexión: Para que la conexión sea detectada, el nombre del estado final en un requisito y el nombre del estado de origen/inicial en el otro deben ser exactamente iguales, incluyendo mayúsculas y minúsculas.

// Requisito A
A ⇒ [evento] ⇒ Estado_Intermedio

// Requisito B
// @initial: Estado_Intermedio
Estado_Intermedio ⇒ [otro_evento] ⇒ C

// Resultado: Se dibujará una flecha desde "Requisito A" hacia "Requisito B".

Vocabulario y Transiciones del Proyecto

Tabla de Vocabulario

Tipo	Nombre

Tabla de Transiciones (Formato CSV)

Puedes seleccionar y copiar este bloque de texto para pegarlo en una hoja de cálculo.