interfaz de servicio StateMachineService

State Management proporciona la interfaz de servicio StateMachineService para cada máquina de estados configurada, a fin de que una SMControlApplication pueda solicitar cambios de estado de manera selectiva a través del método RequestTransition [SWS_SM_00600], [SWS_SM_91107]. El servicio se ofrece inmediatamente después de la ejecución correcta del paso de inicio de la máquina de estados y confirma las solicitudes sin semántica Fire-and-Forget. Sin embargo, las solicitudes se rechazan con errores específicos si el valor transferido no es válido, si la transición desde el estado actual no está permitida o si una sesión de actualización o de recuperación está activa al mismo tiempo [SWS_SM_91107].

más ›

Rol y contexto de sistema de la interfaz de servicio

La interfaz de servicio StateMachineService es proporcionada por el clúster funcional State Management (SM) a través de un puerto de servicio estandarizado [SWS_SM_91021]. Conforme a la definición formal de la interfaz [SWS_SM_91022], State Management instancia y ofrece este servicio basado en ara::com para cada instancia individual configurada de una StateMachine [SWS_SM_00600].

Como consumidor principal de esta interfaz actúa una SMControlApplication, la cual interactúa directamente con la máquina de estados a través del servicio para solicitar cambios de estado SWS StateManagement §9.2.2 «StateMachine service». Mientras que las notificaciones sobre estados alcanzados a aplicaciones adaptativas regulares se efectúan principalmente a través de la interfaz de servicio independiente StateMachineNotification [SWS_SM_00665], StateMachineService constituye la interfaz de control activa para iniciar transiciones.

Métodos y semántica de invocación

La interfaz define el método RequestTransition, que debe ser invocado por la SMControlApplication para provocar un cambio de estado en la StateMachine referenciada [SWS_SM_91107]. El método espera el parámetro de entrada TransitionRequest de tipo TransitionRequestType, que representa el valor de transición requerido dentro de la TransitionRequestTable subyacente [SWS_SM_91107], SWS StateManagement §7.x «TransitionRequestTable».

Para RequestTransition, la propiedad Fire & Forget está establecida en false [SWS_SM_91107]. La aplicación invocadora recibe, por tanto, una confirmación vinculante de la solicitud. Interpretación: dentro del patrón proxy-skeleton de ara::com, es probable que la respuesta se proporcione típicamente a través de un ara::core::Future o un objeto de resultado correspondiente, que se resuelve en caso de éxito o transmite un estado de error específico en caso de fallo. Pregunta Q-41fa67738672c735 (abierta)

Ciclo de vida y dependencias de estado

Cada servicio ara::com configurado para una StateMachine que deba iniciarse —incluido StateMachineService— debe estar disponible y ofrecerse (Offer) tan pronto como el ActionListItem «StartStateMachine» se haya procesado con éxito [SWS_SM_00618]. Esto permite a la SMControlApplication solicitar una transición inmediatamente después de la creación correcta de la máquina de estados, incluso si la máquina de estados todavía está procesando en ese momento la ActionList inicial SWS StateManagement §7.x «StateMachine service interfaces - Offer».

La oferta del servicio finaliza (StopOffer) tan pronto como se lleva a cabo el procesamiento para detener la respectiva máquina de estados [SWS_SM_00619]. Las invocaciones están sujetas, además, a condiciones previas funcionales: si actualmente se está ejecutando una sesión de actualización en el sistema, la iniciación de cambios de estado es inadmisible por principio [SWS_SM_91107].

Tratamiento de errores y Application Errors

Durante la ejecución de RequestTransition pueden producirse Application Errors específicos que State Management devuelve al invocador [SWS_SM_91107]:

• kInvalidValue: el valor transferido no está asignado a ninguna transición en la TransitionRequestTable [SWS_SM_91107].
• kTransitionNotAllowed: la transición de estado solicitada no está permitida partiendo del estado actual de la StateMachine [SWS_SM_91107].
• kRecoveryTransitionOngoing: la solicitud se descarta debido a que actualmente se está ejecutando una recuperación (Recovery) [SWS_SM_91107].
• kTransitionFailed: se ha producido un error durante la ejecución de la transición al estado de destino [SWS_SM_91107].
• kOperationCanceled: la solicitud se canceló debido a que fue sustituida por una solicitud más reciente [SWS_SM_91107].
• kUpdateInProgress: la operación está prohibida debido a que actualmente hay una sesión de actualización activa [SWS_SM_91107].

Diagrama de secuencia: flujo de una solicitud de transición a través de StateMachineService con puesta a disposición, confirmación de éxito y tratamiento de errores. Fuentes: [SWS_SM_91107], [SWS_SM_00618], SWS StateManagement §7.x «StateMachine service interfaces - Offer».