Curso de UML

Actividad 7 Diagrama de estado

Dra. Anaisa Hernndez Gonzlez

DIAGRAMAS DE ESTADO

Los Diagramas de Estados representan autmatas de

estados finitos, desde el punto de vista de los estados
y las transiciones
Son tiles slo para los objetos con un
comportamiento significativo.

Cada objeto est en un estado en cierto instante

El estado est caracterizado parcialmente por los
valores algunos de los atributos del objeto
El estado en el que se encuentra un objeto
determina su comportamiento
Cada objeto sigue el comportamiento descrito en
el Diagrama de Estados asociado a su clase

DIAGRAMAS DE ESTADO

Se usa para mostrar la

historia de la vida de un
objeto de una clase, los
eventos que causan una
transicin de un estado a otro
y las acciones que resultan de
un cambio de estado

DIAGRAMAS DE ESTADO

Estado
Es una de las posibles situaciones en la
cual un objeto puede existir y representa
una combinacin de todas las
propiedades de un objeto

DIAGRAMAS DE ESTADO

Estado
Cuando se est en un estado se pueden
ejecutar actividades que requieren de un
tiempo de ejecucion mayor que el
instantneo que transcurre cuando se
produce la transicin haca l. Tambin
pueden validarse restricciones, que de
incumplirse provocan que el objeto salga
de ese estado.
Nombre del estado

Comportamiento interno

Provoca una reaccin interna, pero no

DIAGRAMAS DE ESTADO

Evento
Un evento es un hecho que ocurre en algn
momento y que es de importancia para la
aplicacin

Internos

Externos

Temporales

Condicin guardiana
Una condicin guardin es una expresin
booleana de los valores de los atributos.
Permite transiciones slo si la condicin es
true
Se encierra
entre [ ]

DIAGRAMAS DE ESTADO

Accin de una transicin

Una accin es una operacin que se
ejecuta instantneamente y es no
interrumpible

Los nombres se muestran precedidas por un /

Transicin
Es una relacin entre dos estados que
indica que cuando el evento ocurra pasa del
estado anterior al siguiente.

Es una flecha con orientacin haca el estado

siguiente, con una etiqueta para el evento.

DIAGRAMAS DE ESTADO

Para especificar una transicin se

sigue el siguiente formato:

<Evento> [[Condicin guardiana]][/Accin]

CLASIFICAR ATRIBUTOS

No cambia de valor en el tiempo

por lo tanto no puede ser
actualizado. El nico evento que
lo afecta es el que provoca la
creacin de la clase que como
consecuencia le da valor.
Son afectados por otros eventos
que son los que hacen que
cambie de valor.
Cambian cuando se modifican
otros atributos. Estos otros
atributos integran la frmula de
derivacin y pueden pertenecer o
no a la clase a la que pertenece el

CLASIFICAR ATRIBUTOS

Clasificacin de atributos
dinmicos
en: es el
El efecto
en el atributo
incremento /decremento en 1 o una
cantidad dada. Identificar los eventos
que provocan el incremento,
decremento o reinicio de su valor.
El atributo adquiere un valor que es
independiente del valor que haya
tenido con anterioridad. Hay que
identificar evento que provoca el
cambio.
Toman valor en un dominio limitado.
El nuevo valor dependen del valor
anterior, es decir, estando en un
estado dado solo se pueden tomar

DIAGRAMAS DE ESTADO

Reglas para construir el DTE

Si el atributo es del tipo cardinal, se
identifiquen los eventos que lo afectan
teniendo en cuenta cules aumenta su valor,
cules lo decrementan y cules lo
reinicializan. Se deben agrupar todos los
eventos que tengan el mismo efecto y el
mismo tipo de accin (incrementadora,
decrementadora y reinicializadora), y definir
un estado que refleje esta situacin. Si hay
ms de un evento en est unin, se
relacionan usando el operador OR.

FUENTE PARA DEFINIR ESTADOS ANIDADOS

DIAGRAMAS DE ESTADO

Reglas para construir el DTE

Si el atributo se clasifica del tipo
caracterstico de un estado, una vez
identificados los eventos y el efecto que
provocan, se agrupan usando OR los
eventos que provocan una misma forma
de obtener el nuevo valor, y se define un
estado para ellos.

DIAGRAMAS DE ESTADO

Reglas para construir el DTE

Si el atributo es del tipo perteneciente
a una situacin, se identifican todos los
eventos, el nuevo valor que provocan y
el valor del atributo para el cual ese
evento tiene sentido. Se definen tantos
estados, como posibles valores existan.

FUENTE PARA DEFINIR ESTADOS ANIDADOS

DIAGRAMAS DE ESTADO

Notacin

Estado inicial

Estado 1
entry/ Accin de entrada 1
do/ Accin interna 1
event Evento 1/ Accin en respuesta a evento 1
exit/ Accin de salida 1
Evento que provoca transicin[ Condicin
necesaria para el cambio de estado ] /
Accin instantnea
Estado 2
entry/ Accin de entrada 2
do/ Accin interna 2
event Evento 2/ Accin en respuesta a evento 2
exit/ Accin de salida 2

Estado final

Ejempl
o

CE-Cliente
Nombre : String
Carn de Usuario : Integer
Estado : Boolean
Cantidad de Prstamos : Integer
Fecha Fin de Sancin : Date
CambiarEstado()
ActualizarFechaFinSancin()
CherquerFinSancin()
IncrementarCantidadPrstamos()

Cliente se inscribe

Cliente retira inscripcin

Cliente vlido
entry/ CambiarEstado(Vlido)

Cliente pide libro

Registrando prstamo
do/ IncrementarCantidadPrstamos(Cantidad)

ChequerFechaFinSancin()=True
Cliente moroso

Cliente se excede de
plazo de entrega

entry/ CambiarEstado(Moroso)
entry/ ActualizaeFechaFinSancin(Fecha)
do/ ChequearFechaFinSancin()
exit/ ActualizaFechaFinSancin(0)