DIAGRAMA DE ESTADOS

DIAGRAMA DE ESTADOS

Este muestra la secuencia de estados por los que pasa bien un caso de uso, un objeto a lo largo de su vida, o bien todo el sistema. Es una forma de representación gráfica más intuitiva de los autómatas finitos basadas en dígrafos con arcos acotados llamados transiciones en los cuales se ponen los símbolos de tránsito entre un vértice (estado) y otro y se identifican los estados de partida y los de aceptación del resto. Los diagramas de estados finitos son también representaciones más cómodas para su elaboración, legibilidad y comprensión de distintos tipos de abstracciones computacionales de reconocimiento como los autómatas de pila y las maquinas.

CARACTERÍSTICAS

Sea un autómata finito definido por la 5-tupla A=<Q, T, g, F, q0>, donde Q es el conjunto de estados, T el alfabeto de símbolos terminales, la relación de transiciones , F son los estados finales o de llegada dentro de Q, q0 es el estado inicial o de partida; se le llama diagrama de estados de A al grafo orientado con aristas y vértices acotados de la forma siguiente:

• Todos los estados de Q se representan por círculos en cuyo interior se designa el nombre del estado que representa.
  • El estado inicial q0 se indica agregando una saeta corta a su izquierda que no tiene origen alguno y concluye en el borde de la circunferencia, normalmente en los 180 grados del mismo.
  • Los estados finales se indican o bien sombreando el círculo o poniendo un borde doble al estado.
  • Pueden existir estados iniciales finales, simplemente se aplican los dos casos anteriores.
• A cada transición entre los estados qi y qj con el símbolo terminal x o la cadena vacía ε se representa como un arco etiquetado con x ó εsegún corresponda.
• Si entre los estados y en el mismo sentido hay varias transiciones con los terminales x1, x2, ..., xn entonces se indican en el mismo arco pero separados por espacio o comas según convenga.

Tipo	Diagrama de estado	Descripción
Estado		Círculo con el nombre del estado etiquetado dentro
Estado inicial		q0: Flecha corta sin origen que apunta al estado
Estado final		: Estado sombreado.
Estado final		: Estado con doble círcunferencia.
Estado inicial y final		: Flecha sin origen que apunta al estado sombreado.
Estado inicial y final		: Flecha sin origen que apunta al estado doblemente circulado.
Transición		<qi,x,qj> ó g(qi,x)=qj: Arco con origen en qi y destino en qj y acotado con el terminal x.
Transición vacía		<qi,ε,qj> ó g(qi,ε)=qj: Arco con origen en qi y destino en qj y acotado con la cadena vacía ε.
Transición múltiple		g(qi,x)=qj, g(qi,y)=qj: Arco con origen en qi y destino en qj y acotado con los terminales x,y, separados por coma o espacio en blanco.
Lazo		<q,x,q> ó g(q,x)=q: Arco circular con origen y destino en q, acotado con el terminal x.
Lazo múltiple		g(q,x)=q, g(q,y)=q: Arco circular con origen y destino en q, acotado con los terminales x,y.

FUNCIÓN

En el diagrama de estados se indica qué eventos hacen que se pase de un estado a otro y cuáles son las respuestas y acciones que genera. También ilustra qué eventos pueden cambiar el estado de los objetos de la clase. En cuanto a la representación, un diagrama de estados es un grafo cuyos nodos son estados y cuyos arcos dirigidos son transiciones etiquetadas con los nombres de los eventos. Normalmente contienen: estados y transiciones. Como los estados y las transiciones incluyen, a su vez, eventos, acciones y actividades. Al igual que otros diagramas, en los diagramas de estado pueden aparecer notas explicativas y restricciones.