コンプライアンス検査応用のための無状態およびルールベース検証【JST・京大機械翻訳】

Besharati Mohammad Reza; Izadi Mohammad; Asgari Ehsaneddin

プレプリント

J-GLOBAL ID：202202211491814255 整理番号：22P0332718

コンプライアンス検査応用のための無状態およびルールベース検証【JST・京大機械翻訳】

Stateless and Rule-Based Verification For Compliance Checking Applications

出版者サイト {{ this.onShowPLink() }} 複写サービスで全文入手
高度な検索・分析はJDreamⅢで

この文献はプレプリントです。プレプリントについてはこちらをご確認ください。

著者 (3件)： , ,
資料名：
発行年： 2022年04月14日プレプリントサーバーでの情報更新日： 2022年04月28日
JST資料番号： O7000B 資料種別：プレプリント
記事区分：プレプリント発行国：アメリカ合衆国 (USA) 言語：英語 (EN)

計算モデルは,任意の計算において重要な役割を持つ。状態および遷移(オートマトンのような)および規則および値(Lispおよび論理プログラミングのような)は,2つの比較および対応計算モデルである。演繹的およびモデル検査検証技法の両者は,状態の概念に依存し,その結果,それらの基礎となる計算モデルは状態依存性である。いくつかの検証問題(コンプライアンス検査がいくつかの規制と規則に対して検証される)は,状態や遷移の強い概念を持たない。それの半分で,これらのシステムは,それらの上に定義された値記号と宣言規則の強い概念を持っている。SARV(Stateless and Rule-based Verification)は,ステートレスおよびルールベース検証問題(例えばコンプライアンスチェック)のための検証の全体プロセスを単純化するために設計された検証フレームワークである。本論文では,知的コンプライアンスチェックシステムを生成するための形式的論理ベースフレームワークを提示した。この枠組みを定義し,紹介し,事例研究を報告し,それに関する実験結果を示した。事例研究は,スマート都市のためのプロトコルコンプライアンス検査である。この解を用いて,Rescueシナリオ使用事例とそのコンプライアンスチェックをスケッチし,モデル化した。SARVによる自動化エンジンとコンプライアンス解法を紹介した。300のデータ実験に基づいて,SARVベースのコンプライアンス解は,3125記録ソフトウェア品質データセット上で有名な機械学習法より優れている。【JST・京大機械翻訳】

, , , , , , , , , , , , ,
, 【Automatic Indexing@JST】

計算機システム開発 , 計算理論

, , , ,

前のページに戻る