[發明專利]信息驗證

有效

• 申請號: 201210528222.1
• 申請日: 2012-12-10
• 公開（公告）號: CN103218288B
• 公開（公告）日: 2017-07-07
• 發明（設計）人: D.里特;S.魯普里克
• 申請（專利權）人: SAP歐洲公司
• 主分類號: G06F11/36
• 分類號: G06F11/36
• 代理公司: 北京市柳沈律師事務所11105
• 代理人: 邵亞麗

1.一種用于知識驗證的計算機實現的方法，所述方法包括：

標識用于驗證的事實；

創建語義模型，該語義模型表示用于驗證的事實；

標識與事實關聯的上下文；

至少部分地基于標識的上下文創建自動機；以及

使用自動機驗證事實。

2.如權利要求1所述的計算機實現的方法，還包括標識統一的模型，該統一的模型包括關于公司之內和公司之間的業務交易網絡的信息，用于驗證的事實與統一的模型相關聯。

3.如權利要求1所述的計算機實現的方法，其中所述自動機是確定性有限自動機。

4.如權利要求3所述的計算機實現的方法，其中所述確定性有限自動機源自于ε非確定性有限自動機ε-NFA，所述ε-NFA為：

ε-NFA＝(Q；∑；δ；q₀；F)。

5.如權利要求3所述的計算機實現的方法，其中所述確定性有限自動機通過狀態、輸入符號、轉移函數、啟動狀態和最終狀態中的一個或多個定義。

6.如權利要求5所述的計算機實現的方法，其中所述最終狀態是接受狀態，所述自動機在成功地驗證事實之后進入接受狀態。

7.如權利要求1所述的計算機實現的方法，其中所述自動機至少部分地基于語義模型創建。

8.如權利要求1所述的計算機實現的方法，其中所述語義模型還表示與事實相關聯的事實依賴性。

9.如權利要求1所述的計算機實現的方法，其中將要驗證的事實是上下文的子集。

10.如權利要求1所述的計算機實現的方法，其中至少部分地基于標識的上下文創建自動機包括創建用于模型實體的每個實例的自動機。

11.如權利要求1所述的計算機實現的方法，其中所述事實是數據記錄事實。

12.如權利要求1所述的計算機實現的方法，其中所述事實還包括知識或數據中的一個或多個。

13.如權利要求1所述的計算機實現的方法，還包括提供標識錯誤狀態的運行時圖形輸出。

14.如權利要求1所述的計算機實現的方法，還包括提供標識錯誤的運行時文本記錄輸出。

15.如權利要求1所述的計算機實現的方法，其中使用自動機驗證事實包括驗證結構化數據的結構或內容中的一個或多個。

16.如權利要求1所述的計算機實現的方法，還包括將域專用語言用于編程模型以指定驗證程序。

17.如權利要求1所述的計算機實現的方法，其中驗證程序從語義模型生成，所述語義模型以域專用語言編寫，而且所述自動機在運行時從語義模型生成。

18.如權利要求17所述的計算機實現的方法，其中所述自動機通過智能算法自動地生成。

19.如權利要求1所述的計算機實現的方法，其中所述事實是統一模型中的事實，所述統一模型通過自動機經受驗證。