文献

J-GLOBAL ID：202202252190677417   整理番号：22A1048591

読取りのみのデータを持つPetriネットに基づくオブジェクト中心プロセス【JST・京大機械翻訳】

Petri net-based object-centric processes with read-only data

著者 (4件)： Ghilardi Silvio (Dipartimento di Matematica, Universita degli Studi di Milano, Milan, Italy) ,  Gianola Alessandro (Faculty of Computer Science, Free University of Bozen-Bolzano, Bolzano, Italy) ,  Montali Marco (Faculty of Computer Science, Free University of Bozen-Bolzano, Bolzano, Italy) ,  Rivkin Andrey (Faculty of Computer Science, Free University of Bozen-Bolzano, Bolzano, Italy)
資料名： Information Systems  (Information Systems)
巻： 107  ページ： Null  発行年： 2022年 
JST資料番号： H0277C  ISSN： 0306-4379  CODEN： INSYD6  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： オランダ (NLD)  言語： 英語 (EN)

抄録/ポイント： 過去10年間,様々なアプローチが,異なるタイプのデータでビジネスプロセスを統合するために提唱されてきた。これらの手法の各々は,全体のプロセスデータ統合スペクトルにおける特定の要求を反映する。1つの特に重要なポイントは,共進化を必要とする複数のケースオブジェクトでプロセスを柔軟に収容するこれらのアプローチの能力である。本研究では,カタログとオブジェクトアウェアネット(COAネット)と呼ばれる有色Petriネットの拡張を導入し,この型のプロセスを捕捉するための2つの重要な特徴を提供する。一方では,ネット遷移は,同時にトークンの内容と読取りだけの持続性データベースに保存されるクエリー事実を検査するガードを備えている。一方,そのような遷移は,データベースから関連する値を抽出し,あるいは真に新鮮なものを生成することによってトークンにデータを注入できる。このクラスのネットは,1対1の相関関係を持つオブジェクトを含む多様なマルチケースモデリングシナリオを表現するために使用できることを示した。次に,COAネットのパラメータ化検証問題を研究し,データによる無限状態システムの文脈における問題の種類を攻撃するための参照フレームワークの1つに,どのように系統的に符号化するかを示した。著者らは,COAネットの異なる断片が,手で検証問題だけでなく,位置非空性検査の標準問題にも影響を与えることができる異なる表現力を有することを実証した。最後に,COAネットが,マルチケースとデータ意識プロセスモデリングと解析の領域におけるよく知られた形式に関連する方法を論じた。Copyright 2022 Elsevier B.V., Amsterdam. All rights reserved. Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： 質問 ,  データベース ,  分類 ,  スペクトル ,  *工程 ,  モデリング ,  *Petriネット ,  過程 ,  トークン ,  パラメタリゼーション
準シソーラス用語： ビジネスプロセス ,  有彩色 ,  共進化 ,  表現力 ,  クエリー ,  プロセスモデリング , 【Automatic Indexing@JST】

著者キーワード (3件)： 高レベルネットモデル ,  Petriネットと他のアプローチ間の関係 ,  検証

分類 (1件)： 工程管理  (KB03030P)

タイトルに関連する用語 (4件)： 読取り ,  Petriネット ,  オブジェクト ,  プロセス