文献

J-GLOBAL ID：202102218428297961   整理番号：21A2340340

プロセスマイニングにより発見したプロセスモデルの自動シミュレーションと検証【JST・京大機械翻訳】

Automated simulation and verification of process models discovered by process mining

著者 (3件)： Zakarija Ivona (Department of Electrical Engineering and Computing, University of Dubrovnik, Dubrovnik, Croatia) ,  Skopljanac-Macina Frano (Faculty of Electrical Engineering and Computing, University of Zagreb, Zagreb, Croatia) ,  Blaskovic Bruno (Faculty of Electrical Engineering and Computing, University of Zagreb, Zagreb, Croatia)
資料名： Automatika  (Automatika)
巻： 61  号： 2  ページ： 312-324  発行年： 2020年 
JST資料番号： W5785A  ISSN： 0005-1144  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： イギリス (GBR)  言語： 英語 (EN)

抄録/ポイント： 本論文では,プロセスマイニング技術を用いて発見されたプロセスモデルの自動化分析のための新しいアプローチを示した。プロセスマイニングは,様々なデバイスによって生成されたイベントデータに隠された根底にあるプロセスを探索する。提案した誘導機械学習法を用いて,ホテルの適切性管理システム(PMS)から得られた実際のイベントログデータに基づくビジネスプロセスモデルを構築した。PMSは,多様な外部システムおよびIoTデバイスと統合されるので,マルチエージェントシステム(MAS)とみなすことができる。収集したイベントログは,ホテルスタッフによって記録されたゲスト滞在のデータ,ならびに電話交換および他の外部IoTデバイスから捉えられたデータストリームを組み合わせている。次に,形式法を用いて発見されたプロセスモデルの自動化解析を行った。スピンモデルチェッカーを用いてプロセスモデル実行をシミュレートし,自動的にプロセスモデルを検証した。検証モデルへの発見プロセスモデルの自動変換のためのアルゴリズムを提案した。さらに,正および負の例の発生器を開発した。検証段階において,要求システム仕様を定義するために線形時間論理(LTL)も使用した。解析結果がプロセスモデル修復に適していることを見出した。Please refer to the publisher for the copyright holders. Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： アルゴリズム ,  *シミュレーション ,  自動化 ,  管理システム ,  電話 ,  自動分析 ,  ホテル ,  機械学習 ,  マルチエージェントシステム
準シソーラス用語： データストリーム ,  *プロセスモデル ,  *プロセスマイニング ,  モノのインターネット ,  ビッグデータ , 【Automatic Indexing@JST】

著者キーワード (6件)： プロセスマイニング ,  IoT ,  モデル検査 ,  帰納的機械学習 ,  ビッグデータ ,  MAS

分類 (2件)： 人工知能  (JE08000Z) ,  経営工学一般  (KA01010C)

タイトルに関連する用語 (5件)： プロセスマイニング ,  発見 ,  プロセスモデル ,  シミュレーション ,  検証