Definición 3

El SLEE realiza un procesamiento secuencial de los eventos de un servicio, estableciendo así, el orden de ejecución de los componentes SBB, de esta manera se descarta la posibilidad de que ocurran fallas en paralelo o en un mismo instante dentro de un servicio, por lo tanto, se propone modelar la composición dinámica de forma atómica, es decir, teniendo en cuenta el componente SBB que falló al procesar un evento y los SBB anterior y siguiente a este, descartando todos los demás SBB que hacen parte del flujo de ejecución del servicio.

32 A continuación se presenta la definición formal de la FSM de composición encargada de modelar la etapa de reconfiguración de un servicio en el SLEE:

FSM

Si se dice que es un componente SBB que falla en la ejecución de un servicio en el SLEE, entonces la composición a partir del conjunto de SBB candidatos determinados para dicho componente, representados en , que soportan un evento particular definido como en el flujo del servicio representado en se denota así:

( )

Tal que ⋀

. Dónde:

 se define como el conjunto de eventos de composición que está conformado así:

⋀

. Dónde:

 representa al evento particular que no pudo procesar un SBB del servicio original.

 representa al evento resultado del procesamiento del evento , dependiendo de la

lógica del servicio es posible que haya un evento resultado del procesamiento del evento que falló, por lo cual en el conjunto se establece por defecto el evento resultado en caso de no existir se omite.

 es definido como un evento de falla, representa el fallo del procesamiento de

por parte de un SBB candidato.

 es definido como evento de error, representa el fallo definitivo del

procesamiento de y se produce cuando ninguno de los candidatos pueda procesarlo.  se define como el conjunto de los componentes SBB de composición. Está formado por

los SBB involucrados en la falla del servicio como son el SBB que dispara el evento que no es procesado con éxito, el SBB que falla en el procesamiento de dicho evento y el SBB que recibe el evento resultado del procesamiento fallido del evento disparado; además también hacen parte de este conjunto los SBB candidatos del SBB que falla en procesar el evento.

Su representación formal se describe a continuación:

{ } Para todo tal que

⋀

. Por lo tanto . Dónde:

33  representa el SBB del servicio original que falla en el procesamiento de

un evento particular.

 representa el SBB anterior al SBB que falla en el flujo del servicio original, el cual es el SBB encargado de disparar el evento que no es procesado con éxito.

 representa el SBB siguiente al SBB que falla en el flujo del servicio original; el cual es el SBB encargado de recibir el evento resultado del procesamiento del evento que falla. Como se mencionó anteriormente dependiendo de la lógica del servicio es posible que no exista un evento resultado en ese caso se omite del conjunto este componente SBB.

 representan los SBB candidatos del SBB del servicio original que falló en el procesamiento de un evento en particular.

El conjunto de componentes SBB de composición más los estados de sincronización, definidos en el siguiente ítem, representan los estados de la FSM de composición definida en este modelo.

 se define como el conjunto de estados de sincronización de la composición del servicio; su función fundamental es controlar en el flujo de composición determinando si se realizó con éxito la reconfiguración del servicio, la cual se lleva a cabo por medio de la sustitución del componente que falló, por uno de los candidatos disponibles. También garantiza el seguimiento normal del orden de ejecución preestablecido para dicho servicio. A continuación se presenta su definición formal:

Dónde:

 representa el estado de composición que controla la etapa encargada de reemplazar el componente SBB del servicio original que fallo por su candidato.

 representa el estado de composición que determina cuando un SBB candidato no pudo procesar con éxito el evento del servicio.

 representa el estado de composición que determina que la etapa de reconfiguración falló debido a que todos los SBB candidatos disponibles no pudieron procesar el evento con éxito.

 se define como el estado inicial de la composición, el cual es representado por el

tal que:

, donde

 se define como la función de transición de la composición del servicio, representa al flujo de

la composición de la siguiente forma:

La función de transición retorna el nuevo estado en la composición a partir del procesamiento de un evento por parte de un determinado SBB de composición en referencia al flujo de ejecución del servicio o los estados de sincronización utilizados en la lógica de la FSM de composición.

34  se define como el estado final de la composición, el cual puede tomar valores dependiendo del resultado de la composición, en el caso que la composición sea realizada con éxito será representado por el y en el caso que falle será representada por estado de sincronización .