吉林市网站建设_网站建设公司_ASP.NET_seo优化

[PRS_SOMEIPSD_00435]
服务端的SOME/IP Service状态机如下：
SD Client State Machine(Service)的状态定义如下：

• SD Client State Machine(Service)
  • Not Requested
    • Service Not Seen
    • Service Seen
  • Requested_but_not_ready
  • Main
    • Service Ready
    • Stopped
  • Searching for Service
    • Initial Wait Phase
      • Timer Set
    • Repetition Phase
      • Timer Set

SD Client State Machine(Service)的初始化进入点在以下状态中

• SD Client State Machine(Service)
  • Not Requested
• Searching for Service
  • Initial Wait Phase
  • Repetition Phase

SD Client State Machine(Service) 的状态迁移如下

• 原状态 SD Client State Machine(Service)的进入点
• 新状态 Not Requested
• 条件 [Service Not Requested]

• 原状态 SD Client State Machine(Service)的进入点
• 新状态 Requested_but_not_ready
• 条件 Service Not Requested and ifstatus!=up_and_configured

• 原状态 SD Client State Machine(Service)的进入点
• 新状态 Searching for Service
• 条件 Service Requested and ifstatus==up_and_configured

• 原状态 Not Requested 的进入点
• 新状态 Service Not Seen

• 原状态 Not Requested
• 新状态 Requested_but_not_ready
• 条件 InternalServiceRequest [ifstatus!=up_and_configured]

• 原状态 Service Not Seen
• 新状态 Service Seen
• 条件 receive(OfferService) /setTimer(TTL)

• 原状态 Repetition Phase
• 新状态 Stopped
• 条件 Repetition Expired

• 原状态 Repetition Phase
• 新状态 Stopped
• 条件 receive(StopOfferService)

• 原状态 Stopped
• 新状态 Service Not Seen
• 条件 [ServiceNotRequired]

• 原状态 Service Seen
• 新状态 Service Not Seen
• 条件 if-status-changed() [ifstatus!=up_and_configured]

• 原状态 Service Seen
• 新状态 Service Not Seen
• 条件 Timer expired (TTL)

• 原状态 Repetition Phase
• 新状态 Stopped
• 条件 Repetition Expired

• 原状态 Service Seen
• 新状态 Service Not Seen
• 条件 receive(StopServiceOffer)

• 原状态 Service Seen
• 新状态 Service Seen

• 原状态 Service Seen
• 新状态 Service Ready
• 条件 InternalServiceRequest [ifstatus==up_and_configured]

• 原状态 Service Ready
• 新状态 Service Seen
• 条件 [ServiceNotRequest]

• 原状态 Service Ready
• 新状态 Service Ready
• 条件 receive(OfferService) /resetTimer(TTL)

• 原状态 Service Ready
• 新状态 Stopped
• 条件 receive(StopOfferService) / cancelTimer(TTL)

• 原状态 Stopped
• 新状态 Service Ready
• 条件 receive(OfferService) /resetTimer(TTL)

• 原状态 Service Ready
• 新状态 Searching for Service
• 条件 Timer expired (TTL)

• 原状态 Searching for Service
• 新状态 Service Ready
• 条件 receive(OfferService) /setTimer(TTL)

• 原状态 Searching for Service
• 新状态 Requested_but_not_ready
• 条件 if-status-changed() [ifstatus!=up_and_configured] /cancel Timer(TTL)

• 原状态 Requested_but_not_ready
• 新状态 Searching for Service
• 条件 if-status-changed() [ifstatus!=up_and_configured]

• 原状态 Searching for Service的入口
• 新状态 Initial Wait Phase

• 原状态 Initial Wait Phase的入口
• 新状态 Initial Wait Phase的Timer Set
• 条件 /setTimerInRange(INITIAL_DELAY_MIN, INITIAL_DELAY_MAX)

• 原状态 Initial Wait Phase的Timer Set
• 新状态 Repetition Phase
• 条件 TimerExpired /send(FindService)

• 原状态 Repetition Phase的入口
• 新状态 Repetition Phase的Timer Set
• 条件 [REPETITONS_MAX>0] /run=0 setTimer((2ˆ run)*REPETITIONS_BASE_DELAY)

• 原状态 Repetition Phase的Timer Set
• 新状态 Repetition Phase的Timer Set

• 原状态 Not Requested
• 新状态 Requested_but_not_ready
• 条件 InternalServiceRequest [ifstatus!=up_and_configured]