R0056: A SERVICE CONSUMER SHALL subscribe to msg:OperationInvokedReport MESSAGEs before invoking request-response SERVICE OPERATIONs of the SET SERVICE.
Subscribing before does not mean that the consumer is subscribed when invoking an operation, only that it was subscribed previously. Additionally, what about the SetContextStates operation of the context service?
An ugly rephrasing could look like this
A SERVICE CONSUMER SHALL be subscribed to msg:OperationInvokedReport MESSAGEs when invoking request-response SERVICE OPERATIONs of the SET SERVICE or the SetContextState operation of the CONTEXT SERVICE.
Corrigendum:
While a SERVICE CONSUMER invokes request-response SERVICE OPERATIONs of the SET SERVICE or the msg:SetContextState operation of the CONTEXT SERVICE, the SERVICE CONSUMER SHALL be subscribed to msg:OperationInvokedReport MESSAGEs.
Revision: Consider removal.
Please create a revision ticket once this is done.
Revision ticket: [#369]
Related
11073-10207 Revision: #369
Done in https://github.com/ornet-ev/biceps/issues/24