DIAGRAMAS DE

ESTADOS
- QUE SON
- PARA QUE SIRVEN
- CARACTERISTICAS
- SIMBOLOGIA
- EJEMPLOS

MARCO
GENERAL
DEL
MODELADO
DIAGRAMAS DE ESTADOS
Un estado es una situacin en la vida de un objeto en la que satisface
cierta condicin, realiza alguna actividad o espera algn evento.

Los diagramas de estados muestran una maquina de estados.

Son tiles para modelar la vida de un objeto.

Los diagramas de estados muestran el flujo de control entre estado
(en que estados posible puede estar cierto algo y como se
producen los cambios entre dichos estados.
DIAGRAMAS DE ESTADOS
Una maquina de estados es un comportamiento que especfica las
secuencias de estados por la que pasa un objeto a lo largo de su
vida en respuesta a eventos junto con sus respuestas a estos eventos.

(Booch, Rumbaugh, Jacobson)
DIAGRAMAS DE ESTADOS
Este tipo de Diagramas se utilizan para describir el comportamiento
de un sistema, representa los diferentes estados que puede adquirir
una clase, como representarla a diferentes etapas de su vida.



El estado de un objeto se puede caracterizar por el valor de uno o
varios de los atributos de su clase, adems, el estado de un objeto
tambin se puede caracterizar por la existencia de un enlace con otro
objeto.
PARA QUE SIRVE
Para identificar los estados o acciones por los que pasa un objeto
para realizar una accin especfica o llegar a un objetivo, describen
el comportamiento del objeto.
ESTADO, EVENTO y TRANSICIN
Un estado es una condicin o situacin en la vida de un objeto
durante la cual satisface una condicin, realiza alguna actividad o
espera algn evento.


Tambin puede ser el conjunto de circunstancias o atributos que
caracterizan a una persona o cosa en un tiempo dado, manera o
forma de inicio, condicin.
ESTADO, EVENTO y TRANSICIN
Por tanto, estados tpicos de un sistema podran ser:

Esperar que un usuario introduzca el password.
Calentar una mezcla qumica.
Esperar siguiente comando.
Acelerar un motor.
Mezclar ingredientes.
Esperar datos de un instrumento.
Llenar un tanque
Desocupado.
ESTADO, EVENTO y TRANSICIN

Un evento es la especificacin de un acontecimiento significativo
que ocupa un lugar en el tiempo y en el espacio. Es la aparicin de un
estimulo que puede (o no) activar una transicin de estado.



Una condicin es cualquier evento del entorno que el sistema es
capaz de detectar, normalmente se corresponde con una seal, una
interrupcin o la llegada de un paquete de datos.
ESTADO, EVENTO y TRANSICIN

Los eventos pueden ser de distintos tipos, no necesariamente
excluyentes:

Condicin que se verifica.
Seal recibida de forma explcita desde otro objeto.
Llamada de operacin desde otro objeto.
Transcurso de un perodo de tiempo
ESTADO, EVENTO y TRANSICIN


Una transicin es una relacin entre dos estados que indica que un
objeto que esta en el primer estado realizar ciertas acciones y
entrar en el segundo estado cuando ocurra un evento especificado
y se satisfagan unas condiciones especificas.
CARACTERSTICAS
Son buenos para describir el comportamiento de un objeto.
Nos sirven para involucrar cierto nmero de objetos que
colaboran entre ellos,
Se deben considerar las tcnicas que sean necesarias para su
utilizacin.
Cuando se usa un diagrama de estado no se debe dibujar uno por
cada clase del sistema.
En un estado se identifica un periodo de tiempo de la vida del
objeto durante el cual esta esperando alguna operacin.
ELEMENTOS DE UN ESTADO
Los siguientes elementos son los elementos bsicos que pueden
usarse para componer un diagrama:

1. Nombre
2. Accin estrada/salida
3. Transiciones internas
4. Subestados
5. Eventos diferidos

SIMOLOGA O REPRESENTACIN GRFICA
Los siguientes elementos son los elementos bsicos de notacin que
pueden usarse para componer un diagrama:

1. Circulo lleno: apuntando a un estado inicial.

2. Circulo hueco: que contiene un circulo lleno ms pequeo en
el interior, indicando el estado final (si existiera).

SIMOLOGA O REPRESENTACIN GRFICA
3. Rectngulo redondeado: denotando
un estado en el parte superior del
rectngulo est el nombre del estado;
puede contener una lnea horizontal en
la mitad, debajo de la cual se indican las
actividades que se hacen en el estado.
SIMOLOGA O REPRESENTACIN GRFICA
4. Flecha, denotando transicin: el nombre del evento (si existiera)
que causa esta transicin etiqueta el cuerpo de la flecha.
Se puede aadir una expresin de guarda, encerrada en corchetes [],
denotando que esta expresin debe ser cierta para que la transicin
tenga lugar.
Si se realiza una accin durante la transicin, se aade a la etiqueta
despus de /. Ejemplo:

Nombre del evento [Expresin guarda]/Accin.
SIMOLOGA O REPRESENTACIN GRFICA
4. Transicin: Se representan por una flecha slida que va de un estado
a otro, etiquetada por un string de transicin con el siguiente formato:

signatura del evento * condicin guardin + / expresin de accin

La signatura del evento describe el evento y sus argumentos:

nombre del evento ( parmetro , ... )

La condicin guardin es una expresin lgica escrita en trminos de
los parmetros del evento disparado, y de los atributos y enlaces del
objeto al que pertenece la mquina de estados.
SIMOLOGA O REPRESENTACIN GRFICA
4. Transicin: Una transicin de un estado A a un estado B se produce
cuando se origina el evento asociado y se satisface la condicin
especificada, en cuyo caso se ejecuta la accin de salida de A, la
accin de entrada a B y la accin asociada a la transicin.



SIMOLOGA O REPRESENTACIN GRFICA
Elementos de una Transicin:

Estado Origen y Destino
Evento de dispare
Condicin de guarda
Accin
SIMOLOGA O REPRESENTACIN GRFICA
5. Lnea horizontal
gruesa con X>1: Lneas
entrando y 1 lnea
saliendo o 1 lnea
entrando y X>1 lneas
saliendo.
Estas denotan
unin/separacin,
respectivamente.
EJEMPLO
.
EJEMPLO
.
EJEMPLO
.