文献

J-GLOBAL ID：202002260779848274   整理番号：20A1866156

産業用ワークフローベースモデルの自動解析【JST・京大機械翻訳】

Automated analysis of industrial workflow-based models

著者 (4件)： Cortes-Cornax Mario (Univ. Grenoble Alpes, Grenoble, Grenoble France) ,  Krishna Ajay (Univ. Grenoble Alpes, Inria, Grenoble France) ,  Mos Adrian (Naver Labs Europe, Meylan, France) ,  Salauen Gwen (Univ. Grenoble Alpes, Grenoble France)
資料名： ACM Proceedings  (ACM Proceedings)
号： SAC ’18  ページ： 120-127  発行年： 2018年 
JST資料番号： D0698C  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： ビジネスプロセスのモデリングとガバナンスは,世界中の企業で重要な関心事である。ビジネスプロセスをより良く理解することにより,異なる最適化が可能となり,具体的には,潜在的効率利得,コスト低減および機敏性の改善をもたらす。ビジネスプロセスのモデリングのための形式的仕様言語の使用は,異なる種類の自動化分析の道を開く。このような解析は,設計を改善するために使用できるモデル化プロセスから特性を推定するのに使用できる。本論文では,特に2つの重要なクラスの検証,即ち,モデル検査技術を用いた行動特性の検証とSAT解を用いたデータベース解析,を特に探索した。それらの検証は,CADP検証ツールボックスとZ3ソルバのような異なるツールを用いて完全に自動化される。このアプローチを実世界事例研究で説明した。Please refer to this article’s citation page on the publisher website for specific rights information. Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： 最適化 ,  *自動化 ,  原価低減 ,  言語 ,  データベース ,  自動分析 ,  プロセス解析 ,  利得 ,  事例研究 ,  形式的仕様
準シソーラス用語： ビジネスプロセス ,  ソルバ ,  ツールキット , 【Automatic Indexing@JST】

著者キーワード (4件)： SAT ,  ビジネスプロセス管理 ,  データ ,  検証

分類 (3件)： 計算機システム開発  (JD02010R) ,  経営工学一般  (KA01010C) ,  計算理論  (JB02000A)

タイトルに関連する用語 (2件)： 産業 ,  解析