行為狀態機怎么理解

本篇內容主要講解“行為狀態機怎么理解”，感興趣的朋友不妨來看看。本文介紹的方法操作簡單快捷，實用性強。下面就讓小編來帶大家學習“行為狀態機怎么理解”吧!

概要

行為狀態機可以用于定義下面的場景

• 主動類的類目行為

• 一個行為化類目的除了類目行為以外的擁有行為。

• 沒有對應的行為化類目的獨立行為

• 對應行為特征的方法（即操作或接受）
  

抽象語法

語義

1、狀態機

行為狀態機包含了一個或多個區域，每個區域包含一個圖（可能是分層的），圖中又包含一組被被圓弧形遷移相互連接的頂點。當適當的事件發生時，狀態機會被觸發執行。狀態機的特定執行表現為一組經過一個或多個區域有效路徑的遍歷，觸發的方式是發行一個與圖中有效觸發條件相匹配的事件發生。觸發條件匹配的原則會在后面描述。在這樣一個遍歷過程中，狀態機實例可能會執行一個隱含的復雜的行為序列，這些行為和圖中被通過的特定元素聯系在一起（遷移效果，狀態入口，狀態出口行為等）

如果狀態機有某種行為類目上下文，那么這個類目定義了哪些信號和調用事件可以適用于那個狀態機，也定義了哪些特征對狀態機擁有的行為可用。狀態機的信號觸發條件和調用事件觸發條件根據這個類目的接受和操作被分別定義。這些特征可以被用于定義狀態機的消息事件觸發條件。

如果狀態機沒有行為類目上下文（即它是一個獨立行為），那么它的觸發條件不需要綁定到類目的接受和操作上。例如，這樣的狀態機可能被定義為以觸發條件為模板參數的模板，這樣，狀態機可以通過為模板參數綁定合適的調用事件和信號事件來配合不同的上下文類目一起使用。

如果狀態機定義了一個行為特征（操作或接受）的方法，那么狀態機的參數應該和行為特征（參見13.2.3小節）的參數相匹配。這意味著通過參數，狀態機執行可以參照行為特征的參數。否則，執行中的狀態機實例訪問分發的事件發生和它的關聯數據的方法無定義（參見13小節）。

按照定義，狀態機執行的調用導致被觸發的效果（參見13.3.3小節）和一個因此而存在的，與這個執行相關聯的事件池。狀態機的這個事件池可能屬于它的上下文類目對象，或者當狀態機定義了一個行為特征的方法時，屬于擁有的這個行為特征的類目的實例。

由于它的事件驅動性質，狀態機執行可以是遷移中或狀態內，在兩者之間交替。當分發的某個事件和某個遷移的至少一個觸發條件匹配時，它處在遷移中。在遷移中，它可能會執行若干與選中路徑想關聯的行為。

注意：當存在doActivity行為與活動狀態配置相關聯時，即使它存在與穩定狀態配置中，狀態機執行也可以是執行中行為。

2、區域

區域表示一個行為片段，它可以和其他的正交區域并發執行。如果兩個或多個的區域被同一個狀態擁有，或者在頂層時被同一個狀態機擁有，那么就說它們彼此正交。一個區域變成活動狀態（即開始執行）有兩種情況，一種是它擁有的狀態被進入，另一種情況是直接擁有它的狀態機開始執行。每個區域包含一組頂點和遷移，由它們決定區域中的行為流程。它可以擁有自己的起始偽狀態，也可以擁有自己的終止狀態。

區域的缺省激活發生在它被隱含進入的時候，就是說，它不是被一個終止于區域元素頂點（例如狀態或歷史偽節點）的輸入遷移進入的。但是應該

1）通過一個終止于包含區域的狀態的（局部或外部）遷移，或者

2）如果是頂層區域，當狀態機開始執行時。

缺省的激活意味著從起始于區域中的初始偽狀態的遷移開始執行，如果定義了一個的話。如果區域中不存在初始偽狀態，那么就沒有特定的動作。一個可能的處理是將模式視為病態。也可以認為區域維持非激活狀態，哪怕包含它的狀態處于有活動狀態。換句話說，包含區域的狀態可以被認為是簡單（葉子）狀態。

相反地，明確的激活是在終止于區域包含的頂點的遷移進入區域時發生的。當正交狀態的一個區域被明確地激活后，將導致它所有的正交區域被缺省激活。除非那些區域也是被明確進入的（多個正交區域可以通過開始于同一個分叉偽狀態的遷移被明確的并發激活）。

3、頂點

頂點是一個抽象類，它抽取了狀態圖中各種的不同種類的具體節點（狀態，偽狀態或連接點參照）的特征。除了下面的例外，頂點可以作為任意數量的遷移的目的而且/或者源。頂點的語義依賴于它所表現的具體類型。通常，偽狀態和連接點參照是過渡性的，意思是一個混合遷移執行只是簡單地通過它們，作為輸入遷移到達，作為輸出遷移離開而不作停留。然而狀態和終止狀態表現為穩定頂點，當狀態機執行進入它們以后，將停留在這些狀態的內部，直到某些可以引起遷移的事件發生，或者狀態機被終止執行。

到此，相信大家對“行為狀態機怎么理解”有了更深的了解，不妨來實際操作一番吧！這里是億速云網站，更多相關內容可以進入相關頻道進行查詢，關注我們，繼續學習！