Diagramas de transición de estados
El diagrama de transición de estado (también conocido como DTE) enfatiza el comportamiento dependiente del tiempo del sistema. Este tipo de modelo sólo importaba para una categoría de sistemas conocido como sistemas de tiempo-real; como ejemplo de estos sistemas se tienen el control de procesos, sistemas de conmutación telefónica, sistemas de captura de datos de alta velocidad y sistemas de control y mando militares.
En la figura se muestra un DTE típico. Este diagrama muestra el comportamiento de una máquina contestadora de teléfono normal. Los principales componentes del diagrama son estados, y flechas que representan los cambios de estado.
Figura: Diagrama de transcisión de estados.
Cada rectángulo representa un estado en el que se puede encontrar el sistema. Pudiendo ser este:
- Esperar a que el usuario dé su contraseña.
- Calentar una mezcla de sustancias químicas.
- Esperar la siguiente orden.
- Acelerar el motor.
- Mezclar los ingredientes.
- Esperar datos del instrumento.
- Llenar el tanque.
- Aguardar en reposo.
Cambios de estado
¿Cómo cambia un sistema de un estado a otro?. Sí se tienen reglas ordenadas que gobiernan su comportamiento, entonces generalmente sólo algunos tipos de cambio de estado serán significativo y válidos.
Se muestran los cambios de estado válidos en el DTE conectando pares relevantes de estado con una flecha. Así, la figura muestra que el sistema puede ir del estado 1 al estado 2. También muestra que cuando el sistema se encuentra en el estado 2 puede ir al estado 3 o regresar al 1.
Figura: Cambios de estados.
A pesar de que la figura proporciona información interesante acerca del comportamiento dependiente del tiempo de un sistema, no dice cuales son los estados inicial y final del sistema. La mayoría de los sistemas tienen un estado inicial reconocible y estado final reconocible; esto se muestra en la figura.
Figura: Estados inicial y final.
Lo que identifica al estado 1 de la figura como inicial es la flecha «desnuda» que no está conectada a ningún otro estado, y lo que identifica al estado 5 como final es la ausencia de una flecha que salga de él.
El sentido común dice que un sistema sólo puede tener un estado inicial; sin embargo, puede tener múltiples estados finales. Los estados finales son mutuamente excluyentes, lo cual significa que sólo uno de ellos puede ocurrir durante alguna ejecución del sistema.
Condiciones y acciones
Para completar nuestro DTE necesitamos añadir dos cosa más: las condiciones que causan un cambio de estado y las acciones que el sistema toma cuando cambia de estado. Como ilustra la figura, las condiciones y acciones se muestran junto a la flecha que conecta dos estados relacionados.
Figura: Muestra de condiciones y acciones.
Una condición es un acontecimiento en el ambiente externo que el sistema es capaz de detectar; típicamente es una señal, una interrupción o la llegada de un paquete de datos. Esto usualmente hace que el sistema cambie de un estado de espera X a un estado de espera Y; o de llevar a cabo la actividad X a llevar acabo la actividad Y. Como parte del cambio de estado, normalmente hará una o más acciones: producirá una salida, desplegará una señal en la terminal del usuario, llevará a cabo un cálculo, etc.
Fuente: Apunte Análisis y diseño de sistemas del ITLP.edu.mx
