論文の概要: Petri Nets with Parameterised Data: Modelling and Verification (Extended Version)

• arxiv url: http://arxiv.org/abs/2006.06630v1
• Date: Thu, 11 Jun 2020 17:26:08 GMT
• ステータス: 処理完了
• システム内更新日: 2022-11-22 14:00:40.647478
• Title: Petri Nets with Parameterised Data: Modelling and Verification (Extended Version)
• Title（参考訳）: パラメータ化されたデータを持つペトリネット:モデリングと検証(拡張版)
• Authors: Silvio Ghilardi, Alessandro Gianola, Marco Montali, Andrey Rivkin
• Abstract要約: 我々は、カタログネットと呼ばれるカラーペトリネットの拡張を紹介し、研究し、このタイプのプロセスを捉える2つの重要な特徴を提供する。 我々は、新しい価値注入が特に扱いにくい機能であることを示し、それを改ざんするための戦略について議論する。
• 参考スコア（独自算出の注目度）: 67.99023219822564
• License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
• Abstract: During the last decade, various approaches have been put forward to integrate business processes with different types of data. Each of such approaches reflects specific demands in the whole process-data integration spectrum. One particular important point is the capability of these approaches to flexibly accommodate processes with multiple cases that need to co-evolve. In this work, we introduce and study an extension of coloured Petri nets, called catalog-nets, providing two key features to capture this type of processes. On the one hand, net transitions are equipped with guards that simultaneously inspect the content of tokens and query facts stored in a read-only, persistent database. On the other hand, such transitions can inject data into tokens by extracting relevant values from the database or by generating genuinely fresh ones. We systematically encode catalog-nets into one of the reference frameworks for the (parameterised) verification of data and processes. We show that fresh-value injection is a particularly complex feature to handle, and discuss strategies to tame it. Finally, we discuss how catalog nets relate to well-known formalisms in this area.
• Abstract（参考訳）: 過去10年間、ビジネスプロセスをさまざまな種類のデータに統合する様々なアプローチが提案されてきた。 これらのアプローチはそれぞれ、プロセスデータ統合スペクトル全体の特定の要求を反映している。 特に重要なポイントは、複数のケースを共進化させる必要のあるプロセスを柔軟に受け入れるためのこれらのアプローチの能力である。 本研究は,カタログネットと呼ばれるカラーペトリネットの拡張について紹介し,このタイプのプロセスを捉えるための2つの重要な特徴を提供する。 一方、net transitionsには、トークンの内容と、読み取り専用で永続的なデータベースに格納されたクエリ事実を同時に検査するガードが備えられている。 一方、このような遷移は、データベースから関連する値を抽出したり、真に新しい値を生成することによって、トークンにデータを注入することができる。 データとプロセスの(パラメータ化された)検証のための参照フレームワークにカタログネットを体系的にエンコードする。 我々は,フレッシュ・バリュー・インジェクションが特に複雑な機能であることを示し,それを実現するための戦略について議論する。 最後に、カタログネットがこの分野でよく知られた形式とどのように関連しているかについて議論する。

関連論文リスト

• Generative Retrieval Meets Multi-Graded Relevance [104.75244721442756]
  GRADed Generative Retrieval (GR$2$)というフレームワークを紹介します。 GR$2$は2つの重要なコンポーネントに焦点を当てている。 マルチグレードとバイナリの関連性を持つデータセットの実験は,GR$2$の有効性を示した。
  論文  参考訳（メタデータ） (2024-09-27T02:55:53Z)
• ToolACE: Winning the Points of LLM Function Calling [139.07157814653638]
  ToolACEは、正確で複雑で多様なツール学習データを生成するように設計された自動エージェントパイプラインである。 我々は、合成データに基づいてトレーニングされたモデルが、8Bパラメータだけで、バークレー・ファンクション・カリング・リーダーボード上で最先端のパフォーマンスを達成することを実証した。
  論文  参考訳（メタデータ） (2024-09-02T03:19:56Z)
• Flow with FlorDB: Incremental Context Maintenance for the Machine Learning Lifecycle [9.424552130799661]
  機械学習パイプラインから任意のメタデータを抽出・クエリする手法を提案する。 後ろ向きのロギングによって、そのようなステートメントが追加され、ポストホックで実行されるかを示します。 これは、アジャイル開発の重要なパスから外れた"メタメタスタイル"で行われます。
  論文  参考訳（メタデータ） (2024-08-05T14:21:00Z)
• An Integrated Data Processing Framework for Pretraining Foundation Models [57.47845148721817]
  研究者や実践者は、しばしば異なるソースからデータセットを手動でキュレートする必要がある。 本稿では,処理モジュールと解析モジュールを統合したデータ処理フレームワークを提案する。 提案されたフレームワークは使いやすく、柔軟です。
  論文  参考訳（メタデータ） (2024-02-26T07:22:51Z)
• Selecting Walk Schemes for Database Embedding [6.7609045625714925]
  関係データベースのコンポーネントの埋め込みについて検討する。 我々は、動的データベース用に設計された最近のFoRWaRDアルゴリズムに焦点を当てる。 いくつかの情報的ウォークスキームに焦点をあてることで,品質を維持しつつ,埋め込みをはるかに高速に行うことができることを示す。
  論文  参考訳（メタデータ） (2024-01-20T11:39:32Z)
• SoK: Privacy-Preserving Data Synthesis [72.92263073534899]
  本稿では,プライバシ保護データ合成(PPDS)に注目し,その分野の総合的な概要,分析,議論を行う。 PPDSでは,統計的手法と深層学習(DL)に基づく手法の2つの顕著な研究を統一するマスターレシピを作成した。
  論文  参考訳（メタデータ） (2023-07-05T08:29:31Z)
• Enjoy the Silence: Analysis of Stochastic Petri Nets with Silent Transitions [4.163635746713724]
  プロセス内で意思決定を行う際に、非決定論がどのように解決されるのかを定量的に理解するには、ビジネスおよび作業プロセスにおける振る舞いのキャプチャが不可欠である。 これはプロセスマイニングにおいて特に関心があり、プロセスの実際の実行を追跡するイベントデータがプロセスモデルと関連している。 ペトリネットの変数はこのための自然な公式な基礎を提供するが、それらは(おそらく重複した)アクティビティとラベル付けされ、サイレント遷移を備える必要がある。 これらの分析タスクは解析的に解決可能であることを示し、特に、自動制御技術を組み合わせてLSP内の関心の振る舞いを抽出する1つの方法に還元する。
  論文  参考訳（メタデータ） (2023-06-10T07:57:24Z)
• Automatic Validation of Textual Attribute Values in E-commerce Catalog by Learning with Limited Labeled Data [61.789797281676606]
  そこで我々はMetaBridgeと呼ばれる新しいメタ学習潜伏変数アプローチを提案する。 限られたラベル付きデータを持つカテゴリのサブセットから、転送可能な知識を学ぶことができる。 ラベルのないデータで、目に見えないカテゴリの不確実性を捉えることができる。
  論文  参考訳（メタデータ） (2020-06-15T21:31:05Z)

関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。

指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。