文献

J-GLOBAL ID：201902216491051694   整理番号：19A1620015

形式手法を用いたビジネスプロセスモデリングとその検証技術に関する研究

著者 (1件)： 伊藤宗平 (水産大)
資料名： 海洋水産エンジニアリング
巻： 19  号： 146  ページ： 60-68  発行年： 2019年07月10日 
JST資料番号： G0735C  ISSN： 1346-9800  資料種別： 逐次刊行物 (A)
記事区分： 解説  発行国： 日本 (JPN)  言語： 日本語 (JA)

抄録/ポイント： ・本研究では現実に運用されているビジネスプロセスをモデルの構築から始めて検証することを目的すると記述。
・本手法ではビジネスプロセスの実行履歴をイベントログとして記録しておき,イベントログをプロセスマイニングという手法を用いて分析することにより,ビジネスプロセスの形式モデルを導出。
・一方で,ビジネスプロセスの「正しさ」を形式論理を用いて記述。
・最後に,形式手法を用いてビジネスプロセスの形式モデルが「正しさ」を表す論理式を満たすかどうかを数理的手法により判定。

シソーラス用語： *モデリング ,  *事業 ,  形式的手法【計算機】 ,  *検証 ,  記録 ,  プログラム実行 ,  データマイニング ,  工程分析 ,  モデル ,  形式記述 ,  マルチエージェントシステム
準シソーラス用語： *ビジネスプロセスモデリング ,  プロセスマイニング ,  形式モデル ,  実行履歴

分類 (1件)： オペレーションズリサーチ一般  (KA03010Q)

引用文献 (16件)：

• Bi HH, Zhao JL (2004) Applying propositional logic to workflow verification. Information Technology and Management, Vol5, pp.293-318
• Cheikhrouhou S, Kallel S, Guermouche N, Jmaiel M (2014) Enhancing formal specification and verification of temporal constraints in business processes. In: Proceedings of 2014 IEEE Interna tional Conference on Services Computing, SCC 2014, IEEE Computer Society Press, Washington DC, pp701-708
• Bowen JP, Hinchey MG (1995) Applications of formal methods. Prentice Hall, Upper Saddle River NJ
• Clarke EM, Wing JM (1996) Formal methods: State of the art and future directions. ACM Com-puting Surveys, Vol.28, No.4, pp.626-643
• Heitmeyer C, Mandrioli D (1996) Formal meth-ods for real-time computing. John Wiley & Sons, Hoboken, NJ

タイトルに関連する用語 (4件)： 形式手法 ,  ビジネスプロセスモデリング ,  検証 ,  研究