|
|
Mantenimiento mecánico
El Proceso comienza con la Tarea Evaluar desperfecto, donde se analiza el problema y se toma la decisión de reparar o no. La ejecución continúa en la Compuerta Exclusiva Divergente, que señala el camino a seguir según lo decidido en la Tarea previa: se ejecuta Reparar pieza si esta es reparable, en caso contrario se ejecuta Comprar pieza de repuesto. A continuación, la Compuerta Exclusiva Convergente canaliza el Flujo hacia la Tarea Instalar pieza.
Compuerta Exclusiva - Mantenimiento mecánico
Opcionalmente, la Compuerta Exclusiva puede usar una "X" como marcador interno. La recomendación es que hay que ser consistente en el uso de este marcador. Es decir, todas las Compuertas Exclusivas deben tener el marcador o ninguna debe tenerlo.
En todos los diagramas de este sitio las Compuertas Exclusivas se muestran sin el Marcador "X". La razones son: (1) resulta más familiar, pues la mayoría de las notaciones usan rombos abiertos para decisiones exclusivas; y (2) es la estrategia usada en la Especificación BPMN. Además, sin la "X" los diagramas se ven más simples
Compuerta Exclusiva - Uso de marcador "X"
Compuerta Exclusiva Divergente Configuración
Configuración de la Compuerta Exclusiva Divergente:
- Un Flujo de Secuencia de Entrada.
- Dos o más Flujos de Secuencia de Salida.
- Opcionalmente, un único Flujo por Defecto. Este Flujo se marca con una línea diagonal y es Incondicional. Si tiene una Condición, es ignorada.
- Cada Flujo de Secuencia de Salida, excepto el Flujo por Defecto, tiene una Condición.
- Todas las Condiciones son independientes.
- Los Flujos de Secuencia de Salida, excepto el Flujo por Defecto, están ordenados. (Este orden no se refleja en el diagrama, es una propiedad interna de la Compuerta).
Compuerta Exclusiva - Configuración Divergente
Nótese que la Compuerta no tiene una Condición, sino que son los Flujos de Secuencia de Salida los que tienen Condiciones.
El Flujo por Defecto actúa como un "mecanismo de escape", es decir, asegura que el Proceso pueda continuar cuando las Condiciones de los demás Flujos son falsas.
Compuerta Exclusiva Divergente Funcionamiento
La Compuerta Exclusiva Divergente implementa la Divergencia Exclusiva por Datos.
Cuando llega un Token a una Compuerta Exclusiva Divergente:
- Las Condiciones se evalúan en orden hasta que una es verdadera, las Condiciones restantes no se evalúan. Más de una Condición puede ser verdadera, pero la evaluación se detiene en la primera que es verdadera.
- El Proceso continúa por el primer Flujo cuya Condición es verdadera.
- Se sigue el Flujo por Defecto si ninguna Condición es verdadera. Si no existe el Flujo por Defecto, entonces el Proceso no puede continuar (se considera que es un Modelo Inválido).
Por ejemplo, si la Compuerta tiene tres Flujos de Salida, con un Flujo por Defecto, entonces hay 4 posibles ejecuciones. Cuando ambas Condiciones son verdaderas, el Flujo seleccionado depende del orden de evaluación establecido: A → B, o B → A. El Flujo por Defecto cubre el caso cuando todas las Condiciones son falsas.
Compuerta Exclusiva - Funcionamiento Divergente
Nótese que si la Compuerta tiene n Flujos de Salida distintos al Flujo por Defecto, entonces hay 2n casos. En el ejemplo, hay 4 casos porque n = 2.
Compuerta Exclusiva Divergente Buenas Prácticas
La Compuerta Exclusiva Divergente BPMN es muy versátil, pero puede conducir a modelos complicados. Por este motivo, hay que aplicar Buenas Prácticas que faciliten su modelado y lectura.
Problemas potenciales de la Compuerta Exclusiva Divergente:
- Puesto que las Condiciones son independientes, en una misma Compuerta pueden mezclase varios dominios. Por ejemplo, algunas Condiciones pueden referirse a rangos de precios, otras a tipos de cliente, etc.
- Puesto que puede haber más de una Condición verdadera y la elección depende de un orden no visual, puede ser difícil para el lector del diagrama comprender por qué se elige un Flujo y no otro.
Buenas Prácticas para facilitar el modelado y lectura de la Compuerta Exclusiva Divergente:
- Todas las Condiciones están lógicamente relacionadas entre sí y referidas a la misma característica de un objeto del negocio: diferentes estados de una factura, diferentes rangos de precios, etc.
- El conjunto de las Condiciones cubre todos los casos posibles. Es decir, el Proceso siempre puede proseguir.
- Junto a la Compuerta se coloca una frase, posiblemente en forma de pregunta, que describe el conjunto de las Condiciones.
- Todas las Condiciones son mutuamente excluyentes. Es decir, varias Condiciones no pueden ser verdaderas al mismo tiempo.
- El Flujo por Defecto, si se usa, sirve para resaltar el Flujo más importante y/o frecuente.
Por ejemplo, las siguientes tres Condiciones son mutuamente excluyentes y cubren todo el rango posible de precios:
- el precio es mayor o igual a $70
- el precio es mayor que $20 y menor que $70
- el precio es menor o igual a $20
Además, para facilitar la lectura del diagrama, se puede asociar a la Compuerta el rótulo ¿Precio del producto?.
Compuerta Exclusiva - Buenas Prácticas Divergente
Si las Condiciones son mutuamente excluyentes y la Compuerta tiene n Flujos de Salida, incluyendo un posible Flujo por Defecto, entonces habrá n casos. (Compárese con los 2n casos cuando son posibles todas las combinaciones).
Si las Condiciones son mutuamente excluyentes, el orden en que estas son evaluadas no es relevante para determinar el camino a seguir. (El orden importa cuando el costo de evaluación varía entre las Condiciones, en este caso habría que considerar el costo de cada Condición y su probabilidad de ocurrencia para asegurar que el costo total de la Compuerta sea mínimo).
Compuerta Exclusiva Divergente Flujo por Defecto
Recordemos que el Flujo por Defecto actúa como un "mecanismo de escape", es decir, asegura que el Proceso pueda continuar cuando las Condiciones de los demás Flujos son falsas.
Si las Condiciones son mutuamente excluyentes y cubren todo el rango de posibilidades, entonces no es necesario un Flujo por Defecto, ya que el Proceso siempre puede continuar por un camino único. En este escenario, el Flujo por Defecto se puede usar para resaltar el Flujo de Salida más importante y/o frecuente.
BPMN indica que si el Flujo por Defecto tiene una Condición, esta es ignorada. Por lo tanto, lo que está escrito junto al Flujo por Defecto es solo un rótulo que explica al lector del diagrama por qué se sigue ese camino.
Si en el ejemplo anterior cambiamos el Flujo Condicional precio ≤ $20 por un Flujo por Defecto, el comportamiento total de la Compuerta será el mismo. Pero cuando el precio es, por ejemplo, $10 se sigue el camino inferior porque las dos Condiciones son falsas, y no porque la Condición precio ≤ $20 sea verdadera (de hecho, no existe tal Condición).
Compuerta Exclusiva - Flujo por Defecto
Compuerta Exclusiva Divergente Decisión Binaria
La Compuerta Exclusiva de BPMN no tiene asociada una pregunta, sino que son los Flujos de Salida los que tienen Condiciones (afirmación que puede ser verdadera o falsa). Es decir, esta Compuerta BPMN no es la típica bifurcación binaria consistente en una pregunta con dos salidas: Sí o No.
Algunos modeladores prefieren restringir las Compuertas Exclusivas BPMN a decisiones binarias. A pesar de que no es parte del estándar BPMN, tampoco lo contradice. Este enfoque puede complicar la representación de situaciones donde hay más de dos caminos excluyentes (p.ej., rangos de valores, tipos de elementos, etc.), pero el modelado y la lectura del diagrama son más simples.
Compuerta Exclusiva - Decisión Binaria
Compuerta Exclusiva Convergente Configuración
Como toda Compuerta Convergente, la Compuerta Exclusiva tiene dos o más Flujos de Secuencia de Entrada y un Flujo de Secuencia de Salida.
Compuerta Exclusiva - Configuración Convergente
Compuerta Exclusiva Convergente Funcionamiento
La Compuerta Exclusiva Convergente implementa la Convergencia Exclusiva.
Al llegar un Token a la Compuerta Exclusiva Convergente, por cualquiera de sus Flujos de Entrada, pasa inmediatamente hacia el Flujo de salida, sin ningún tipo de sincronización. Esta Compuerta funciona con "información local", es decir, no necesita saber lo que pasa en el resto del Proceso, le basta conocer lo que pasa en sus Flujos de Entrada.
Compuerta Exclusiva - Funcionamiento Convergente
Si bien la Compuerta Exclusiva Convergente siempre funciona de la misma forma, en el modelado de procesos se reconocen dos escenarios:
- Unión Simple: En cada ciclo de ejecución llega un único Token a la Compuerta. Esto ocurre, por ejemplo, en un bloque que comienza y termina con una Compuerta Exclusiva.
- Unión Múltiple: En cada ciclo de ejecución llegan varios Tokens a la Compuerta por diferentes Flujos Entrantes. Esto ocurre, por ejemplo, en un bloque que comienza con una Compuerta Paralela o Inclusiva, y termina con una Compuerta Exclusiva.
Compuerta Exclusiva - Unión Simple
Compuerta Exclusiva - Unión Múltiple
Compuerta Exclusiva Convergente Flujo no Controlado
Una Actividad o Evento se instancia (ejecuta) cada vez que llega un Token por algunos de sus Flujos de Entrada. Esto se conoce como "Flujo no Controlado", en el sentido de que no existe una Compuerta que sincronice los Tokens antes de llegar a la Actividad o Evento.
La Compuerta Exclusiva Convergente no realiza ningún tipo de sincronización con los Tokens que recibe, su única función es canalizar varios Flujos por un solo camino, es decir, actúa como un Flujo no Controlado. Por lo anterior, el funcionamiento del Proceso no cambia si esta Compuerta es eliminada antes de una Actividad o Evento.
Compuerta Exclusiva - Flujo no Controlado
(Con el atributo startQuantity se puede indicar que una Actividad será activada con un número de Tokens superior a 1. Este es un tipo avanzado de modelado no visual, que no es recomendable para el Modelado de Procesos.)
Una Compuerta Exclusiva Convergente antes de otra Compuerta, hace que esta última sea una Compuerta Divergente estricta (una entrada y varias salidas). Por ejemplo, si la Compuerta Exclusiva Convergente antecede a una Compuerta Paralela, esta se activará tantas veces como Tokens salgan de la Compuerta Exclusiva.
Sin embargo, si se quita la Compuerta Exclusiva Convergente antes de otra Compuerta, entonces esta última será Convergente-Divergente, por lo que su comportamiento cambiará. En el ejemplo, si los Flujos llegan directamente a la Compuerta Paralela, entonces esta se activará solo cuando lleguen tres Tokens, uno por cada Flujo.
Compuerta Exclusiva antes de otra Compuerta
Compuerta Exclusiva antes de otra Compuerta
Compuerta Exclusiva Convergente Buenas Prácticas
Esta Compuerta es, en general, opcional:
- Es opcional antes de una Actividad o un Evento.
- Es opcional antes una Compuerta Exclusiva o de Eventos.
- No es opcional antes de una Compuerta Paralela, Inclusiva o Compleja.
- Es opcional al inicio de un Ciclo Hacer-Mientras, aunque se acostumbra no colocarla.
- Es opcional al inicio de un Ciclo Mientras-Hacer, aunque se acostumbra no colocarla.
Se recomienda usar esta Compuerta solo para cerrar los Bloques Exclusivo-Excusivo y Eventos-Exclusivo.
Compuerta Exclusiva - Buenas Prácticas Convergente
Compuerta Exclusiva Patrones de Uso
La Compuerta Exclusiva se usa en Bloques Abiertos y Cerrados, y en Ciclos. (En Compuertas-Bloques encontrará una exposición exhaustiva sobre los distintos tipos de Bloques).
Los tres Bloques con Compuerta Exclusiva más utilizados son:
- Bloque Exclusivo Abierto: comienza con una Compuerta Exclusiva Divergente con varios caminos excluyentes que continúan de manera independiente.
- Bloque Exclusivo Cerrado: comienza con una Compuerta Exclusiva Divergente con varios caminos excluyentes, y termina con una Compuerta Exclusiva Convergente que los une.
- Bloque Eventos-Exclusivo: comienza con una Compuerta Exclusiva de Eventos Divergente con varios caminos excluyentes, y termina con una Compuerta Exclusiva Convergente que los une.
Hay dos Bloques(Paralelo-Exclusivo e Inclusivo-Exclusivo) que también son válidos, pero hay que usarlos con precaución, ya que tienen más de un Token de salida. Los demás Bloques que comienzan o terminan con Compuerta Exclusiva son inválidos o no prácticos.
A continuación, se describen los Bloques que comienzan con una Compuerta Exclusiva Divergente, y los Ciclos controlados por Compuertas Exclusivas.
Compuerta Exclusiva Bloque Abierto
Un Bloque Exclusivo Abierto comienza con una Compuerta Exclusiva Divergente que define varios caminos excluyentes que continúan de manera independiente. Puesto que los caminos son excluyentes, solo uno de ellos se activa.
En Token que salió de la Compuerta Divergente llegará a un Evento Final. Si no hay otros Tokens activos en el Proceso, este termina.
Compuerta Exclusiva - Bloque Abierto
Compuerta Exclusiva Bloque Cerrado
Un Bloque Exclusivo Cerrado comienza con una Compuerta Exclusiva Divergente con varios caminos excluyentes. El Bloque termina con una Compuerta Exclusiva Convergente que los une. Puesto que los caminos son excluyentes, solo uno de ellos se activará.
En la Compuerta Convergente se produce una Unión Simple, es decir, un único Token pasa directamente hacia el Flujo de Salida.
Compuerta Exclusiva - Bloque Cerrado
Compuerta Exclusiva Bloque Exclusivo-Paralelo
Un Bloque Exclusivo-Paralelo comienza con una Compuerta Exclusiva Divergente que define varios caminos excluyentes, y termina con una Compuerta Paralela Convergente que espera un Token en cada Flujo de Entrada para activarse.
Es un Modelo Inválido, pues la Compuerta Exclusiva que comienza el Bloque solo deja pasar un Token, pero la Compuerta Paralela espera Tokens por todos sus Flujos de Entrada (2 o más) y queda, de este modo, bloqueada.
Compuerta Exclusiva - Bloque Exclusivo-Paralelo
Compuerta Exclusiva Bloque Exclusivo-Eventos
Un Bloque Exclusivo-Eventos comienza con una Compuerta Exclusiva Divergente que define varios caminos excluyentes, y termina con una Compuerta de Eventos Convergente que los une.
La Compuerta de Eventos en Configuración Convergente funciona igual que la Compuerta Exclusiva Convergente, es decir, los Tokens que arriban van pasando hacia la salida uno tras otro sin sincronización. Por este motivo, el Bloque Exclusivo-Eventos funciona exactamente igual que el Bloque Exclusivo Cerrado (Exclusivo-Exclusivo).
Por lo tanto, no es práctico usar el Bloque Exclusivo-Eventos, pues no aporta un nuevo comportamiento. Es mejor usar el Bloque Exclusivo Cerrado.
Compuerta Exclusiva - Bloque Exclusivo-Eventos
Compuerta Exclusiva Exclusivo-Inclusivo
Un Bloque Exclusivo-Inclusivo comienza con una Compuerta Exclusiva Divergente que define varios caminos excluyentes, y termina con una Compuerta Inclusiva Convergente que espera el Token que salió de la Compuerta Exclusiva.
Una Compuerta Inclusiva Convergente sincroniza varios Flujos de Secuencia alcanzables, es decir, aquellos por los cuales debe, en algún momento, llegar un Token.
En el Bloque Exclusivo-Inclusivo, en cada ciclo de ejecución, hay solo un Flujo "alcanzable". Es decir, en este Bloque la Compuerta Inclusiva Convergente funciona igual que una Compuerta Exclusiva Convergente: llega un Token y lo deja pasar. Por este motivo, el Bloque Exclusivo-Inclusivo funciona exactamente igual que el Bloque Exclusivo Cerrado (Exclusivo-Exclusivo).
Por lo tanto, no es práctico usar el Bloque Exclusivo-Inclusivo, pues no aporta un nuevo comportamiento. Es mejor usar el Bloque Exclusivo Cerrado.
Compuerta Exclusiva - Bloque Exclusivo-Inclusivo
Compuerta Exclusiva Exclusivo-Complejo
Un Bloque Exclusivo-Complejo comienza con una Compuerta Exclusiva Divergente que define varios caminos excluyentes, y termina con una Compuerta Compleja Convergente que espera varios Tokens para evaluar su lógica de activación.
Es un Modelo Inválido, pues la Compuerta Exclusiva que comienza el Bloque solo deja pasar un Token, pero la Compuerta Compleja espera varios Tokens para funcionar como un Discriminador N/M (1 ≤ N < M).
A lo más, podría implementar un Discriminador 1/M, pero como la Compuerta Exclusiva deja pasar un solo Token que la Compuerta Compleja siempre dejaría pasar, tendría un comportamiento equivalente al Bloque Exclusivo Cerrado.
Como se ve en el siguiente ejemplo, si la Compuerta Compleja implementa un Discriminador 2/3, entonces nunca se cumplirá la Condición de Activación: que lleguen Tokens por a lo menos dos de los Flujos de Entrada.
Compuerta Exclusiva - Bloque Exclusivo-Complejo
Compuerta Exclusiva Ciclos
Un Ciclo se crea conectando un Flujo de Secuencia a un objeto anterior en el Proceso. Se usa una Compuerta Exclusiva para controlar el ciclo.
(Se considera que un objeto A es "anterior" a un objeto B si A tiene un Flujo de Secuencia saliente que inicia un camino que llega a B.)
Un Ciclo Estructurado contiene un Bloque Interno formado por un conjunto de Objetos de Flujo conectados por Flujos de Secuencia. No hay Flujos de Secuencia que entren o salgan del Bloque Interno, excepto los necesarios para el control del Ciclo.
A continuación, se detallan dos Patrones Cíclicos Estructurados estándar: Hacer-Mientras (Do-While) y Mientras-Hacer (While-Do).
Ciclo Hacer-Mientras (Do-While)
El Ciclo tiene un Flujo de Entrada que llega al Bloque Interno. Después del Bloque Interno hay una Compuerta Divergente con dos salidas: una que vuelve al inicio del Bloque Interno para repetir el Ciclo, y otra que se sigue cuando el Ciclo termina.
Primero se ejecuta el Bloque Interno, luego se pregunta si hay que repetirlo o salir. El Ciclo Hacer-Mientras se ejecuta al menos una vez.
Nótese que se podría colocar una Compuerta Exclusiva Convergente antes del inicio del Ciclo, pues llegan dos Flujos de Secuencia directamente a la Actividad que inicia el Bloque Interno. Sin embargo, se acostumbra a dejar el Flujo no Controlado.
Compuerta Exclusiva - Ciclo Hacer-Mientras
Ciclo Mientras-Hacer (While-Do)
El Ciclo comienza con una Compuerta Exclusiva Convergente/Divergente que recibe el Flujo de Entrada al Ciclo y el Flujo de Retorno cuando este se repite. La Compuerta tiene dos salidas: una que lleva al inicio del Bloque Interno, y otra que se sigue cuando el Ciclo termina.
Primero se pregunta si hay que entrar o no al Ciclo. El Ciclo Mientras-Hacer se realiza cero o más veces.
Nótese que se podría anteponer al Ciclo una Compuerta Exclusiva Convergente para evitar una Compuerta Convergente-Divergente. Sin embargo, se acostumbra a mantener esta última.
Compuerta Exclusiva - Ciclo Mientras-Hacer
Especificación BPMN
This Decision represents a branching point where Alternatives are based on conditional Expressions contained within the outgoing Sequence Flows (see page 288 or page 344). Only one of the Alternatives will be chosen.[ok]
A diverging Exclusive Gateway (Decision) is used to create alternative paths within a Process flow. This is basically the “diversion point in the road” for a Process. For a given instance of the Process, only one of the paths can be taken.[ok]
A Decision can be thought of as a question that is asked at a particular point in the Process. The question has a defined set of alternative answers. Each answer is associated with a condition Expression that is associated with a Gateway’s outgoing Sequence Flows.[ok]
The Exclusive Gateway MAY use a marker that is shaped like an “X” and is placed within the Gateway diamond (see Figure 10.106) to distinguish it from other Gateways. This marker is NOT REQUIRED (see Figure 10.105). A diagram SHOULD be consistent in the use of the “X” internal indicator. That is, a diagram SHOULD NOT have some Gateways with an indicator and other Gateways without an indicator.[ok]
NOTE: as a modeling preference, the Exclusive Gateways shown in examples within this document will be shown without the internal indicator.[ok]
A default path can optionally be identified, to be taken in the event that none of the conditional Expressions evaluate to true. If a default path is not specified and the Process is executed such that none of the conditional Expressions evaluates to true, a runtime exception occurs.[ok]
A converging Exclusive Gateway is used to merge alternative paths. Each incoming Sequence Flow token is routed to the outgoing Sequence Flow without synchronization.[ok]
Default. The Sequence Flow that will receive a token when none of the conditionExpressions on other outgoing Sequence Flows evaluate to true. The default Sequence Flow should not have a conditionExpression. Any such Expression SHALL be ignored.[ok]
The Exclusive Gateway has pass-through semantics for a set of incoming branches (merging behavior). Further on, each activation leads to the activation of exactly one out of the set of outgoing branches (branching behavior).[ok]
Each token arriving at any incoming Sequence Flows activates the gateway and is routed to exactly one of the outgoing Sequence Flows. In order to determine the outgoing Sequence Flows that receives the token, the conditions are evaluated in order. The first condition that evaluates to true determines the Sequence Flow the token is sent to. No more conditions are henceforth evaluated.[ok]
If and only if none of the conditions evaluates to true, the token is passed on the default Sequence Flow. In case all conditions evaluate to false and a default flow has not been specified, an exception is thrown.[ok]
Exception Issues: The exclusive gateway throws an exception in case all conditions evaluate to false and a default flow has not been specified.[ok]
See Exclusive (Data-based) Decision Pattern on page 462.
Workflow Patterns Support: Exclusive Choice (WCP-4), Simple Merge (WCP-5), Multi-Merge (WCP-8)
