【翻译】【SOMEIP-SD】Page101 - Page105

文章目录

[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-

---