SMC4PEP:製品工学プロセスの確率的モデル検査【JST・京大機械翻訳】

Hage Hassan; Seferis Emmanouil; Hashemi Vahid; Mantwill Frank

プレプリント

J-GLOBAL ID：202202206851378857 整理番号：22P0303624

SMC4PEP:製品工学プロセスの確率的モデル検査【JST・京大機械翻訳】

SMC4PEP: Stochastic Model Checking of Product Engineering Processes

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

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

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

製品工学プロセス(PEP)は,自動車や航空産業のような大きな企業における複雑な製品開発を記述するために使用される。ビジネスプロセスモデル表記(BPMN)は,そのようなPEPにおけるいくつかの参加者間の相互作用を符号化するために広く使用されている言語である。本論文では,Markov決定プロセス(MDP)と呼ばれる等価離散時間確率的制御プロセスに対して,BPMN標準を用いてビジネスプロセスのグラフィカル表現を変換するためのツールとしてSMC4PEPを提案した。この目的のために,まず,PEP複雑性を扱うことができる意味的等価ビジネスプロセスを生成するために,以前の調査で記述されたアプローチを追跡した。特に,抽象の異なったレベル間の相互作用は,直接メッセージフローよりむしろイベントによって実現される。その後,SMC4PEPは,確率モデル検査ツールPRISMの構文論によって記述されたMDPモデルに生成されたプロセスを変換する。このように,SMC4PEPは,特に自動車SPICEのような法的基準からの要求に関して,ビジネスプロセスの自動検証と検証のためのフレームワークを提供する。さらに,著者らの実験結果は,代替事象ベースBPMNモデルから生成されたより小さいMDPモデルのために,より速い検証ルーチンを確認した。【JST・京大機械翻訳】

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

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

, , ,

前のページに戻る