文献

J-GLOBAL ID：202202290118134455   整理番号：22A0105698

データを意識したワークフローに関する可到達性問題の解決【JST・京大機械翻訳】

Solving reachability problems on data-aware workflows

著者 (4件)： De Masellis Riccardo (Uppsala University, SE-751 05, Uppsala, Sweden) ,  Di Francescomarino Chiara (Fondazione Bruno Kessler, Trento, 38100, Italy) ,  Ghidini Chiara (Fondazione Bruno Kessler, Trento, 38100, Italy) ,  Tessaris Sergio (Free University of Bozen-Bolzano, Bozen-Bolzano, 39100, Italy)
資料名： Expert Systems with Applications  (Expert Systems with Applications)
巻： 189  ページ： Null  発行年： 2022年 
JST資料番号： W0178A  ISSN： 0957-4174  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： オランダ (NLD)  言語： 英語 (EN)

抄録/ポイント： ビジネスプロセス管理(BPM)の分野における最近の進展は,従来の制御フロー展望とともにデータオブジェクトをモデル化できるいくつかのセットをもたらした。それにもかかわらず,正式な検証を行うとき,必要なデータ意識プロセスモデルと実行に関する有効な検証ツールがまだ不足している:データ展望はしばしば抽象化され,検証ツールはしばしば欠落している。自動化計画は,理論的調査とコンクリートおよびロバストツールが動的システムと領域に関する推論を可能にする人工知能のコア領域の一つである。さらに,計画技術はBPMの文脈において人気を得ている。これらの観測から始めて,ここでは,表現的で,経験的に扱いやすいクラスのデータ認識プロセスモデル,Workflow Netsの拡張,に関する可到達性特性の形式的検証のための具体的なフレームワークを提供した。次に,そのようなモデルの意味論と3つの重要な自動化計画パラダイム(行動言語,古典的計画,およびモデルチェック)の間の厳密なマッピングを提供した。最後に,著者らは,データ意識ビジネスプロセスに関する計画ベース技術の理論的によく発見され,実際に実行可能な開発のための道を拓く,不可欠なデータ意識ビジネスプロセスのための到達可能性問題を解決する上で,上記のパラダイムをサポートする3つの一般的なツールの性能の包括的評価を実施した。Copyright 2022 Elsevier B.V., Amsterdam. All rights reserved. Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： 意味論 ,  言語 ,  コンクリート ,  動的系 ,  人工知能 ,  ロバスト性 ,  *ワークフロー
準シソーラス用語： ビジネスプロセス ,  プロセスモデル , 【Automatic Indexing@JST】

著者キーワード (6件)： データを意識したビジネスプロセス管理 ,  形式的検証 ,  可到達性 ,  計画 ,  モデル検査 ,  データを意識したワークフローネット

分類 (2件)： 人工知能  (JE08000Z) ,  計算機システム開発  (JD02010R)

タイトルに関連する用語 (4件)： 意識 ,  ワークフロー ,  可到達性 ,  問題