文章目录
[PRS_SOMEIPSD_00468]
订阅/发布的状态机状态定义（服务端对自适应单播或组播的行为）如下：
- Eventgroup_PubSub (Unicast-to-Multicast Eventgroup)
- Service Down
- Service Up
- Not Subscribed
- Subscribed (Unicast)
- Subscribed (Multicast)
Eventgroup_PubSub (Unicast-to-Multicast Eventgroup)的初始入口点为以下状态：
- Eventgroup_PubSub (Unicast-to-Multicast Eventgroup)
- Service Up
Eventgroup_PubSub (Unicast-to-Multicast Eventgroup) 中的状态迁移如下：
- 前状态：Eventgroup_PubSub (Unicast-to-Multicast Eventgroup）的入口点
- 后状态：Service Down
- 条件：[Service==Down]
- 前状态：Service Down
- 后状态：Service Up
- 条件：ServiceUp
- 前状态：Service Up
- 后状态：Service Down
- 条件：ServiceDown
- 前状态：Eventgroup_PubSub (Unicast-to-Multicast Eventgroup)的入口
- 后状态：Service UP
- 条件：[Service==Up]
- 前状态：Service Up入口点
- 后状态：Not Subscribed
- 前状态：Not Subscribed
- 后状态：Subscribed (Unicast)
- 条件：receive(SubscribeEventgroup) [UnicastLimit>0] /enableEvents() SubscriptionCounter++ send(SubscrieEventgroupAck)
- 前状态：Subscribed (Unicast)
- 后状态：Subscribed (Unicast)
- 条件：receive(SubscribeEventgroup) [UnicastLimit>SubscriptionCounter] /SubscriptionCounter++ send(SubscribeEventgroupAck)
- 前状态：Subscribed (Unicast)
- 后状态：Not Subscribed
- 条件：receive(StopSubscribeEventgroup) [SubscriptionCounter==1]/SubscriptionCounter- disableEvents()
- 前状态：Subscribed (Unicast)
- 后状态：Not Subscribed
- 条件：TTL_expired [SubscriptionCounter==1] /SubscriptionCounterdisableEvents()
- 前状态：Not Subscribed
- 后状态：Subscribed (Multicast)
- 条件：receive(SubscribeEventgroup) [UnicasLimit==0]/enableMulticastEvents() SubscriptionCounter++ send(SubscribeEventgroupAck)
- 前状态：Subscribed (Multicast)
- 后状态：Not Subscribed
- 条件：receive(StopSubscribeEventgroup) [SubscriptionCounter1&& UnicasLimit0] /SubscriptionCounter- disableMulticastEvents()
- 前状态：Subscribed (Multicast)
- 后状态：Not Subscribed
- 条件：TTL_expired [SubscriptionCounter1 && UnicasLimit0]/SubscriptionCounter- disableMulticastEvents()
- 前状态：Subscribed (Multicast)
- 后状态：Subscribed (Multicast)
- 条件：receive(SubscribeEventgroup) /SubscriptionCounter++
- 前状态：Subscribed (Multicast)
- 后状态：Subscribed (Multicast)
- 条件：receive(StopSubscribeEventgroup) [SubscriptionCounter>UnicastLimit+1] /SubscriptionCounter-
- 前状态：Subscribed (Multicast)
- 后状态：Subscribed (Multicast)
- 条件：TTL_expired [SubscriptionCounter>UnicastLimit+1]/SubscriptionCounter-
- 前状态：Subscribed (Unicast)
- 后状态：Subscribed (Unicast)
- 条件：receive(StopSubscribeEventgroup) [SubscriptionCounter>1]/SubscriptionCounter-
- 前状态：Subscribed (Unicast)
- 后状态：Subscribed (Unicast)
- 条件：TTL_expired [SubscriptionCounter>1] /SubscriptionCounter-
- 前状态：Subscribed (Unicast)
- 后状态：Subscribed (Multicast)
- 条件：receive(SubscribeEventgroup) [SubscriptionCounter>=UnicastLimit] /SubscriptionCounter++ send(SubscribeEventgroupAck) switchToMulticastEvents()
- 前状态：Subscribed (Multicast)
- 后状态：Subscribed (Unicast)
- 条件：receive(StopSubscribeEventgroup) [SubscriptionCounter==UnicasLimit+1] /switchToUnicastEvents() SubscriptionCounter-
- 前状态：Subscribed (Multicast)
- 后状态：Subscribed (Unicast)
- 条件：TTL_expired [SubscriptionCounter==UnicasLimit+1] /switchToUnicastEvents() SubscriptionCounter-
