Diagramas de transicin de estados (DTE)

El diagrama de transicin de estado (tambin conocido como DTE) enfatiza el comportamiento dependiente del tiempo del sistema. Este tipo de modelo slo importaba para una categora de sistemas conocido como sistemas de tiempo-real; Ejemplo de estos sistemas se tienen el control de procesos, sistemas de conmutacin telefnica, sistemas de captura de datos de alta velocidad y sistemas de control y mando militares En el siguiente grfico se muestra un DTE tpico.

Este diagrama muestra el comportamiento de un contestador de telfono normal. Los principales componentes del diagrama son estados, y flechas que representan los cambios de estado. Cada rectngulo representa un estado en el que se puede encontrar el sistema. Pudiendo ser este:

Esperar a que el usuario d su contrasea. Calentar una mezcla de sustancias qumicas. Esperar la siguiente orden. Acelerar el motor. Mezclar los ingredientes. Esperar datos del instrumento. Llenar el tanque.

Aguardar en reposo.

Cmo cambia un sistema de un estado a otro?. S se tienen reglas ordenadas que gobiernan su comportamiento, entonces generalmente slo algunos tipos de cambio de estado sern significativo y vlidos. Se muestran los cambios de estado vlidos 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. Tambin muestra que cuando el sistema se encuentra en el estado 2 puede ir al estado 3 o regresar al 1. A pesar de que la figura proporciona informacin interesante acerca del comportamiento dependiente del tiempo de un sistema, no dice cuales son los estados inicial y final del sistema. La mayora de los sistemas tienen un estado inicial reconocible y estado final reconocible:

Lo que identifica al estado 1 de la figura como inicial es la flecha "desnuda" que no est conectada a ningn otro estado, y lo que identifica al estado 5 como final es la ausencia de una flecha que salga de l. El sentido comn dice que un sistema slo puede tener un estado inicial; sin embargo, puede tener mltiples estados finales. Los estados finales son mutuamente excluyentes, lo cual significa que slo uno de ellos puede ocurrir durante alguna ejecucin del sistema. Condiciones y acciones. Para completar nuestro DTE necesitamos aadir dos cosa ms: las condiciones que causan un cambio de estado y las acciones que el sistema toma cuando cambia de estado. Como vemos en la siguiente diagrama, las condiciones y acciones se muestran junto a la flecha que conecta dos estados relacionados.

Una condicin es un acontecimiento en el ambiente externo que el sistema es capaz de detectar; tpicamente es una seal, una interrupcin 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 ms acciones: Producir una salida, desplegar una seal en la terminal del usuario, llevar a cabo un clculo, etc.

Construccin del diagrama de transicin de estados. As como en los DFD se utiliz la particin tambin es recomendable usarla en los DTE en donde los sistemas son muy complejos. Para la construccin de DTE se puede seguir cualquiera de dos enfoques: 1. Se puede comenzar por identificar todos los posibles estados del sistema y representar cada uno como una caja separada en una hoja de papel. Luego, se pueden explorar todas las conexiones con significado (es decir, los cambios de estado) entre las cajas. 2. Como alternativa, se puede comenzar por el estado inicial, y luego metdicamente ir siguiendo un camino hasta el o los estados restantes; luego de los estados secundarios, proseguir a los terciarios; etc. Cuando se termina de construir el DTE preliminar, deben seguirse las siguientes reglas para verificar la consistencia:

Se han definido todos los estados?. Se pueden alcanzar todos los estados?. Se han definido estados que no tengan caminos que lleven a ellos? Se puede salir de todos los estados? El sistema responde adecuadamente a todas las condiciones posibles?

El DTE representa una especificacin de proceso para una burbuja de control en DFD. Como herramienta de modelado de alto nivel, el DTE puede servir incluso como especificacin de proceso para todo el sistema. Si se representa todo el sistema como un diagrama de una burbuja, puede usarse el DTE para mostrar la secuencia de actividades en el sistema.