El tercer tipo de herramienta de modelado que vamos a estudiar (el diagrama de transición de estados), enfatiza el comportamiento del sistema dependiente del tiempo. Se utiliza fundamentalmente para sistemas de tiempo real, en los que se manejan fuentes externas de datos de alta velocidad y a los que se debe proporcionar alguna respuesta lo suficientemente rápida para manejar el ambiento externo. En este tipo de modelado es importante qué sucede cuando ocurre tal evento.

Los principales componentes de este tipo de diagrama son los estados y, las flechas o cambios de estado.

Los estados se representan con un rectángulo al que se le ha añadido el nombre del estado que simbolizan. Se define como un conjunto de circunstancias o atributos que caracterizan a un objeto en un tiempo dado: forma de ser, condición,... representa algún comportamiento del sistema que es observable y que perdura durante algún tiempo finito.

El DTE se utiliza para desarrollar un modelo de cómo se comportaría el sistema si hubiera tecnología perfecta. Un aspecto de esta tecnología perfecta sería que el sistema trabajara de manera infinitamente rápida. Así cualquier estado observable en el que el sistema se puede encontrar corresponde a periodos en los que el sistema está esperando que algo ocurra en el ambiente exterior o está esperando a que alguna actividad que se está desarrollando en ese momento en el ambiente cambie a otra.

Un sistema que solo existe en un estado es estático. Pero si un sistema puede tener varios estados, ¿cómo se cambia de un estado a otro? Si se tienen reglas ordenadas que gobiernan el comportamiento del sistema, entonces suelen existir algunos cambios de estado significativos y válidos.

Los cambios de estado se representan conectando los estados con flechas. Cualquier estado puede tener varios estados sucesores.

En este ejemplo no se dice nada acerca de cuáles son los estados inicial y final del sistema. Este ejemplo representa un sistema estable, que siempre ha estado activo y que siempre lo estará. La mayoría de los sistemas tienen un estado inicial y final reconocible.

Lo habitual es representar el estado inicial en la cima del diagrama, aunque lo que realmente identifica al estado inicial es la flecha que llega a él de ningún estado, es decir, la ausencia de predecesores.

Lo habitual es representar el estado final en la base del diagrama, aunque lo que realmente identifica al estado final es la ausencia de flechas que salen de él, es decir, la ausencia de sucesores.

Un sistema tiene un estado inicial y puede tener varios estado finales. Cada estado final es mutuamente excluyente: solo uno de ellos puede ocurrir durante alguna ejecución del sistema.

Se puede suponer que los cambios de estado ocurren instantáneamente, o lo que es lo mismo, no se requiere tiempo observable para que el sistema cambie de un estado a otro.

Las condiciones causan un cambio de estado y las acciones que toma el sistema cuando cambia de estado deben reflejarse en el DTE, junto a las flechas que conectas los estados relacionados.

Una condición es un acontecimiento en el ambiente externo que el sistema es capaz de detectar y que hace que el sistema cambie de estado. Como consecuencia del cambio de estado, el sistema hará una o más acciones. Las acciones son respuestas devueltas al ambiente externo, o bien cálculos cuyos resultados se deben recordar.

Tenemos dos enfoque para realizar un DTE:

• Identificar todos los posibles estados del sistema y representarlos como cajas separadas. Luego explorar las conexiones con significado (los cambios de estado).

• Empezar por el estado inicial e ir siguiendo un camino hasta el estado final.

Una vez construido el DTE se deberá contestar a las preguntas: ¿se han definido todos los estados? ¿Se pueden alcanzar todos los estados? En cada estado, ¿el sistema responde a todas las condiciones posibles?

En la mayoría de los casos, el DTE representa una especificación de proceso para una burbuja de control en un DFD. Los flujos de entrada al DFD se transforman en condiciones del DTE y, los flujos de salida del DFD se transforman en las acciones del DTE.