[發明專利]狀態機的處理方法和系統無效
| 申請號: | 200910244082.3 | 申請日: | 2009-12-28 |
| 公開(公告)號: | CN102109984A | 公開(公告)日: | 2011-06-29 |
| 發明(設計)人: | 龔健;李平立 | 申請(專利權)人: | 北京大學;方正國際軟件(北京)有限公司 |
| 主分類號: | G06F9/44 | 分類號: | G06F9/44 |
| 代理公司: | 北京康信知識產權代理有限責任公司 11240 | 代理人: | 余剛 |
| 地址: | 100871*** | 國省代碼: | 北京;11 |
| 權利要求書: | 查看更多 | 說明書: | 查看更多 |
| 摘要: | |||
| 搜索關鍵詞: | 狀態機 處理 方法 系統 | ||
技術領域
本發明涉及信息化技術領域,具體而言,涉及一種狀態機的處理方法和系統。
背景技術
狀態機一般指的是有限狀態機,有限狀態機系統是指在不同階段會呈現出不同的運行狀態的系統,這些狀態是有限的、不重疊的。這樣的系統在某一時刻一定會處于其所有狀態中的一個狀態,此時它接收一部分允許的輸入,產生一部分可能的響應,并且遷移到一部分可能的狀態。即有限狀態機包含五個要素:狀態,事件,條件,動作,遷移。
關于狀態機的一個極度確切的描述是它是一個有向圖形,由一組節點和一組相應的轉移函數組成。狀態機通過響應一系列事件而“運行”。每個事件都在屬于“當前”節點的轉移函數的控制范圍內,其中函數的范圍是節點的一個子集。函數返回“下一個”(也許是同一個)節點。這些節點中至少有一個必須是終態。當到達終態,狀態機停止。
例如,可以認為計算機程序就是一種有限狀態機。程序運行的時候,響應用戶操作,將數據的狀態遷移到另外一個狀態。狀態機是軟件上常用的一種處理方法。它把復雜的控制邏輯分解成有限個穩定狀態,在每個狀態上判斷事件,變連續處理為離散數字處理,符合計算機的工作特點。
目前的狀態機主要關注狀態機內部的處理,而用于將狀態機遷移的輸入輸出接口則是通過封閉系統內的數據一致性標準來實現,就是說所有的狀態機與環境必須嚴格的匹配,但是這樣,對狀態機的隔離其擴展用途來說,則不是很顯著。
針對相關技術中無法將狀態轉換處理與數據輸入輸出進行隔離的問題,目前尚未提出有效的解決方案。
發明內容
針對相關技術中無法將狀態轉換處理與數據輸入輸出進行隔離的問題而提出本發明,為此,本發明的主要目的在于提供一種狀態機的處理方法和系統,以解決上述問題至少之一。
為了實現上述目的,根據本發明的一個方面,提供了一種狀態機的處理方法,其包括:判斷輸入的數據是否滿足輸入檢驗條件;若滿足,則為輸入的數據附加轉換標簽,其中,輸入檢驗條件與轉換標簽具有對應關系;對輸入的數據進行由轉換標簽指示的狀態轉換;對轉換后的數據附加狀態更新標簽;判斷狀態更新標簽是否滿足輸出檢驗條件;若滿足,按照輸出檢驗條件對應的處理規則對轉換后的數據進行輸出處理。
為了實現上述目的,根據本發明的另一方面,提供了一種狀態機的處理系統,其包括:輸入模塊,用于判斷輸入的數據是否滿足輸入檢驗條件,并在滿足的情況下為輸入的數據附加轉換標簽,其中,輸入檢驗條件與轉換標簽具有對應關系;狀態轉換模塊,用于對輸入的數據進行由轉換標簽指示的狀態轉換,并在轉換之后對轉換后的數據附加狀態更新標簽;輸出模塊,用于判斷狀態更新標簽是否滿足輸出檢驗條件,并在滿足的情況下按照輸出檢驗條件對應的處理規則對轉換后的數據進行輸出處理。
根據本發明,通過預定的規則對輸入的數據進行檢驗,篩選出符合條件的數據進行轉換,并按照預定的規則輸出,從而實現了數據的輸入輸出與狀態轉換處理的隔離。進一步,通過簡化和統一輸入輸出接口的參數形式,還能夠支持滿足多種差異性的輸入輸出要求,而且支持狀態機的多重嵌套和部分更新,從而使得能夠方便的應用于網絡環境下的應用場合,特別是面向多代理、移動代理的網絡計算應用。
附圖說明
此處所說明的附圖用來提供對本發明的進一步理解,構成本申請的一部分,本發明的示意性實施例及其說明用于解釋本發明,并不構成對本發明的不當限定。在附圖中:
圖1是根據本發明實施例的狀態機的處理方法的流程圖;
圖2是根據本發明實施例的狀態機功能模塊的示意圖;
圖3是根據本發明實施例的狀態機處理狀態的示意圖;
圖4是根據本發明實施例的狀態機的處理系統的結構框圖。
具體實施方式
下文中將參考附圖并結合實施例來詳細說明本發明。需要說明的是,在不沖突的情況下,本申請中的實施例及實施例中的特征可以相互組合。
方法實施例
根據本發明的實施例,提供了一種狀態機的處理方法。
如圖1所示,該方法包括如下的步驟:
S102,判斷輸入的數據是否滿足輸入檢驗條件。
在本實施例中,具體的,判斷輸入的數據是否滿足節點上的輸入檢驗條件,其中,預先以樹狀結構配置輸入檢驗條件,每個節點上的輸入檢驗條件對應一個轉換標簽;若滿足,則保存與該節點上的輸入檢驗條件對應的轉換標簽。若所有節點上的輸入檢驗條件的判斷結果之間滿足預定條件,則判斷出所輸入的數據滿足輸入檢驗條件。
該專利技術資料僅供研究查看技術是否侵權等信息,商用須獲得專利權人授權。該專利全部權利屬于北京大學;方正國際軟件(北京)有限公司,未經北京大學;方正國際軟件(北京)有限公司許可,擅自商用是侵權行為。如果您想購買此專利、獲得商業授權和技術合作,請聯系【客服】
本文鏈接:http://www.szxzyx.cn/pat/books/200910244082.3/2.html,轉載請聲明來源鉆瓜專利網。





