UNIVERSIDA CATOLICA SANTO

TORIBIO DE MOGROVEJO
Alumno: Tejada Cavero Josué.

Tema de Investigación: Diagramas de

Estados
 DIAGR AM AS D E ES TADO
Autómatas de estado finitos desde el punto de vista de los estados y las transacciones.
Útiles y aplicables solo para los objetos con un comportamiento significativo.
Los estatecharts son autómatas jerárquicos que permiten expresar concurrencia y
significación.
Son grafos cíclicos dirigidos.
Cada objeto sigue el comportamiento descrito en el Statechart asociado a su clase
Los Statecharts de UML son deterministas
 Descripción Básica de los Estados
Cada objeto está en un estado en un cierto instante
El estado está caracterizado parcialmente por los valores de los atributos del objeto
El estado en el que se encuentra un objeto caracteriza sus condiciones dinámicas.

Notación básica de un estado:

Nombre Estado

Los estados inicial y final están diferenciados

del resto y se notan de manera distinta:

Estado inicial Estado final

 TRANSICION
Una transición puede contener, opcionalmente,
los siguientes elementos:
•EVENTO
•GUARDA
•ACCION
GUARDAS
EVENTO [GUARDA] ACCION

EVENTO Permiten condicionar la transición

Son condiciones lógicas que retornan True o False
La transición ocurre sólo si la guarda se resuelve
Si una transición viene etiquetada sin como true
evento entonces significa que la transición
ocurre tan pronto como la actividad ACCION
asociada al estado concluye.

Secuencia de la transición
Los eventos pueden tener argumentos
 ACCIO NES
Podemos especificar el envío de un evento a otro objeto en la acción y como
consecuencia de la transición

Evento( arg1, arg2 )[ condición] / ^ otro_ objeto. evento (arg2)

b
 GENERALIZACION DE ESTADOS
Podemos reducir la complejidad de estos diagramas usando la generalización de estados
Distinguimos así entre superestado y subestados
Un estado puede contener varios subestados disjuntos
Los subestados heredan las variables de estado y las transiciones externas

Quedaría como:
e1
a b e1
a b

e2 e2
e2

c
c
 DESTR UCCIO N D EL
La destrucción de un objeto OBJE TOel flujo de control del autómata
es efectiva cuando
alcanza un estado final no anonimado.

aterrizar

Volando En tierra

despegar
Fallo motor
 TRANSI CIO NE S
TE MPO RIZA DAS
Las esperas son actividades que tienen asociada cierta duración
La actividad de espera se interrumpe cuando el evento esperado tiene lugar
Este evento desencadena una transición que permite salir del estado que alberga la actividad de
espera.
El flujo de control se transmite entonces a otro estado

Ej.: Si en 30 seg. no se
introduce el dinero se la
termina la actividad
pasando a anular la
transacción.
En cualquier caso se
Cierra la ranura.
a
/abrir ranura
Esperar dinero
entry: mostrar mensaje
do: esperar 30seg. Anular transacción
exit: cerrar ranura.
Deposito efectuado

b
 DIAGRAMAS DE ACTIVIDAD
Describe una secuencia de actividades
Describen comportamiento condicional y paralelo
Son una variante de los diagramas de estados donde los estados son actividades
Destinados a representar el comportamiento de un método o de un caso de Uso

ESTADOS DE ACTIVIDAD

El símbolo principal es el “Estado de

Actividad” o comúnmente “Actividad”
Es un estado que hace algo

Símbolo: Invocar orden