service interface StateMachineService

Das Service-Interface StateMachineService wird von State Management für jede konfigurierte Zustandsmaschine bereitgestellt, damit eine SMControlApplication über die Methode RequestTransition gezielt Zustandswechsel anfordern kann [SWS_SM_00600], [SWS_SM_91107]. Der Dienst wird unmittelbar nach erfolgreicher Abarbeitung des Startschritts der Zustandsmaschine angeboten und quittiert Anforderungen ohne Fire-and-Forget-Semantik. Anforderungen werden jedoch mit spezifischen Fehlern abgewiesen, falls der übergebene Wert ungültig ist, der Übergang aus dem aktuellen Zustand unzulässig ist oder zeitgleich eine Update- bzw. Recovery-Sitzung aktiv ist [SWS_SM_91107].

mehr ›

Rolle und Systemkontext der Service-Schnittstelle

Das Service-Interface StateMachineService wird vom funktionalen Cluster State Management (SM) über einen standardisierten Service-Port bereitgestellt [SWS_SM_91021]. Gemäß der formalen Schnittstellendefinition [SWS_SM_91022] instanziiert und bietet State Management diesen ara::com-basierten Dienst für jede einzelne konfigurierte Instanz einer StateMachine an [SWS_SM_00600].

Als primärer Consumer dieser Schnittstelle fungiert eine SMControlApplication, welche über den Dienst unmittelbar mit der Zustandsmaschine interagiert, um Zustandswechsel anzufordern SWS StateManagement §9.2.2 „StateMachine service“. Während Benachrichtigungen über eingetretene Zustände an reguläre adaptive Anwendungen primär über das separate Service-Interface StateMachineNotification erfolgen [SWS_SM_00665], bildet StateMachineService die aktive Kontrollschnittstelle zur Initiierung von Transitionen.

Methoden und Aufrufsemantik

Die Schnittstelle definiert die Methode RequestTransition, die von der SMControlApplication aufgerufen werden muss, um eine Zustandsänderung in der referenzierten StateMachine herbeizuführen [SWS_SM_91107]. Die Methode erwartet den Eingabeparameter TransitionRequest vom Typ TransitionRequestType, der den geforderten Übergangswert innerhalb der zugrundeliegenden TransitionRequestTable repräsentiert [SWS_SM_91107], SWS StateManagement §7.x „TransitionRequestTable“.

Für RequestTransition ist die Eigenschaft Fire & Forget auf false gesetzt [SWS_SM_91107]. Die aufrufende Anwendung erhält somit eine verbindliche Quittierung der Anfrage. Interpretation: Innerhalb des ara::com-Proxy-Skeleton-Musters dürfte die Rückmeldung typischerweise über ein ara::core::Future bzw. ein entsprechendes Ergebnisobjekt bereitgestellt werden, das im Erfolgsfall auflöst oder im Fehlerfall einen spezifischen Fehlerstatus übermittelt. Frage Q-41fa67738672c735 (offen)

Lebenszyklus und Zustandsabhängigkeiten

Jeder für eine zu startende StateMachine konfigurierte ara::com-Dienst – einschließlich StateMachineService – muss verfügbar sein und angeboten werden (Offer), sobald das ActionListItem „StartStateMachine“ erfolgreich abgearbeitet wurde [SWS_SM_00618]. Dies gestattet es der SMControlApplication, sofort nach erfolgreicher Erzeugung der Zustandsmaschine eine Transition anzufordern, selbst wenn die Zustandsmaschine zu diesem Zeitpunkt noch die initiale ActionList verarbeitet SWS StateManagement §7.x „StateMachine service interfaces - Offer“.

Das Anbieten des Dienstes wird beendet (StopOffer), sobald die Verarbeitung zum Stoppen der jeweiligen Zustandsmaschine erfolgt [SWS_SM_00619]. Aufrufe unterliegen zudem funktionalen Vorbedingungen: Läuft im System aktuell eine Update-Sitzung, ist die Einleitung von Zustandswechseln prinzipiell unzulässig [SWS_SM_91107].

Fehlerbehandlung und Application Errors

Bei der Ausführung von RequestTransition können spezifische Application Errors auftreten, die von State Management an den Aufrufer zurückgemeldet werden [SWS_SM_91107]:

• kInvalidValue: Der übergebene Wert ist in der TransitionRequestTable keiner Transition zugeordnet [SWS_SM_91107].
• kTransitionNotAllowed: Der angeforderte Zustandsübergang ist ausgehend vom aktuellen Zustand der StateMachine nicht erlaubt [SWS_SM_91107].
• kRecoveryTransitionOngoing: Die Anforderung wird verworfen, da gegenwärtig eine Fehlerbehebung (Recovery) ausgeführt wird [SWS_SM_91107].
• kTransitionFailed: Während der Ausführung des Übergangs in den Zielzustand ist ein Fehler aufgetreten [SWS_SM_91107].
• kOperationCanceled: Die Anfrage wurde abgebrochen, da sie durch eine neuere Anforderung ersetzt wurde [SWS_SM_91107].
• kUpdateInProgress: Die Operation ist verboten, da aktuell eine Update-Sitzung aktiv ist [SWS_SM_91107].

Sequenzdiagramm: Ablauf einer Transitionsanforderung über StateMachineService mit Bereitstellung, Erfolgsquittierung und Fehlerbehandlung. Quellen: [SWS_SM_91107], [SWS_SM_00618], SWS StateManagement §7.x „StateMachine service interfaces - Offer“.