Unión

Superior  Previo  Próximo

Uso Común ..| ..Más Información ..| ..Especificación del UML del OMG

 

d_junction

 

El pseudoestado Unión se usa para diseñar rutas de transición complejas. Una unión puede ser usada para combinar o mezclar múltiples rutas dentro de una ruta de transición compartida. Alternativamente, una unión puede dividir una ruta entrante en múltiples rutas, similar a un pseudo-estado bifurcación.Tanto para bifurcaciones o uniones, las uniones pueden aplicar guardas a cada transición entrante o saliente, de tal manera que si la expresión de guarda es falsa, la transición es inválida.

 

El siguiente ejemplo ilustra cómo pueden aplicarse guardas a transiciones que entran o salen de un pseudo-estado unión.

 

state -- junction  

 

Uso Común

e_junction

Diagrama de Máquina de Estados   

 

Más Información

Pseudoestados

 

Especificación del UML del OMG

La especificación del UML del OMG (UML 2.0 Superestructura, p. 471) establece: 

"Los vértices de unión son vértices libre de semántica que son usados para encadenar transiciones múltiples. Se usan para construir rutas de transición compuestas entre estados. Por ejemplo, una unión puede usarse para converger  transiciones múltiples entrantes en una sola transición saliente representando una ruta de transición compartida (esto se conoce como una combinación). Recíprocamente, pueden usarse para dividir una transición entrante en múltiples segmentos de transiciones salientes con diferentes condiciones de guarda. Esto genera una rama estática condicional. (En el último caso, las transiciones salientes cuyas condiciones de guarda se evalúan en falso son inválidas. Una guarda predefinida denota 'además'  pueden ser definidas como máximo una transición de salida. Esta transición es válida si todas las guardas nombrando a las otras transiciones son falsas). Las ramas condicionales estáticas se distinguen de las ramas condicionales dinámicas que son realizadas por la elección de vértices"