Fugu-MT 論文翻訳(概要): A higher-order transformation approach to the formalization and analysis of BPMN using graph transformation systems

論文の概要: A higher-order transformation approach to the formalization and analysis of BPMN using graph transformation systems

arxiv url: http://arxiv.org/abs/2311.05243v7
Date: Fri, 04 Oct 2024 14:47:53 GMT
ステータス: 翻訳完了
システム内更新日: 2024-10-07 15:07:33.761262
Title: A higher-order transformation approach to the formalization and analysis of BPMN using graph transformation systems
Title（参考訳）: グラフ変換システムを用いたBPMNの形式化と分析のための高次変換手法
Authors: Tim Kräuter, Adrian Rutle, Harald König, Yngve Lamo,
Abstract要約: 本稿ではBPMNの実行セマンティクスの形式化を提案する。私たちのアプローチは、BPMNモデルからグラフ変換システムへの高次の変換に基づいています。このアプローチの能力を示すため、オープンソースのWebベースツールとして実装しました。
参考スコア（独自算出の注目度）: 1.0624606551524207
License:
Abstract: The Business Process Modeling Notation (BPMN) is a widely used standard notation for defining intra- and inter-organizational workflows. However, the informal description of the BPMN execution semantics leads to different interpretations of BPMN elements and difficulties in checking behavioral properties. In this article, we propose a formalization of the execution semantics of BPMN that, compared to existing approaches, covers more BPMN elements while also facilitating property checking. Our approach is based on a higher-order transformation from BPMN models to graph transformation systems. To show the capabilities of our approach, we implemented it as an open-source web-based tool.
Abstract（参考訳）: ビジネスプロセスモデリング表記法(BPMN、Business Process Modeling Notation)は、組織内および組織間ワークフローを定義するための広く使われている標準表記法である。しかし、BPMN実行セマンティクスの非公式な記述は、BPMN要素の異なる解釈と振る舞い特性のチェックの難しさをもたらします。本稿では、BPMNの実行セマンティクスの形式化を提案し、既存のアプローチと比較して、より多くのBPMN要素をカバーし、プロパティチェックを容易にする。私たちのアプローチは、BPMNモデルからグラフ変換システムへの高次の変換に基づいています。このアプローチの能力を示すため、オープンソースのWebベースツールとして実装しました。

関連論文リスト

DEMO enhanced BPMN [0.0]
BPMNは、形式的なセマンティクス、曖昧さ、マルチパーティのコラボレーションをモデリングする際の制限の欠如に悩まされています。 DEMOのトランザクションパターンの厳密さとより実践的で広く採用されているBPMNフレームワークを組み合わせる新しいアプローチを提案し、実証した。この組み合わせはビジネスプロセスのモデリングを豊かにし、実践者と研究者の両方にとってより一貫性があり信頼性の高いツールを提供する、と我々は主張する。
論文参考訳（メタデータ） (2024-09-25T11:43:29Z)
A Step Towards a Universal Method for Modeling and Implementing Cross-Organizational Business Processes [0.0]
この研究は、より正確で統一されたビジネスプロセスモデル実行の基礎となる。特定のBPMN要素をPASSと互換性のあるフォーマットに変換するプロトタイプトランスレータの開発について説明する。これらのモデルはソースコードに変換され、bespokeワークフロー環境で実行される。
論文参考訳（メタデータ） (2024-06-18T06:19:44Z)
Deep Stochastic Processes via Functional Markov Transition Operators [59.55961312230447]
本稿では,ニューラルパラメータ化マルコフ遷移作用素の列を関数空間に重ねて構築した新しいプロセス群(SP)を紹介する。これらのマルコフ遷移作用素は、SPの交換可能性と整合性を維持することができることを証明している。
論文参考訳（メタデータ） (2023-05-24T21:15:23Z)
MEAformer: Multi-modal Entity Alignment Transformer for Meta Modality Hybrid [40.745848169903105]
マルチモーダル・エンティティ・アライメント(MMEA)は、異なる知識グラフにまたがる同一のエンティティを発見することを目的としている。 MMEAアルゴリズムはマルチモーダル実体表現のためのKGレベルのモダリティ融合戦略に依存している。本稿ではメタモダリティハイブリッドのためのマルチモーダルエンティティアライメントトランスであるMEAformerを紹介する。
論文参考訳（メタデータ） (2022-12-29T20:49:58Z)
Autoregressive Structured Prediction with Language Models [73.11519625765301]
本稿では, PLM を用いた自己回帰的手法を用いて, モデル構造を行動列として記述する。我々のアプローチは、私たちが見てきた全ての構造化予測タスクにおいて、新しい最先端を実現する。
論文参考訳（メタデータ） (2022-10-26T13:27:26Z)
Guiding the PLMs with Semantic Anchors as Intermediate Supervision: Towards Interpretable Semantic Parsing [57.11806632758607]
本稿では,既存の事前学習言語モデルを階層型デコーダネットワークに組み込むことを提案する。第一原理構造をセマンティックアンカーとすることで、2つの新しい中間管理タスクを提案する。いくつかのセマンティック解析ベンチマークで集中的な実験を行い、我々のアプローチがベースラインを一貫して上回ることを示す。
論文参考訳（メタデータ） (2022-10-04T07:27:29Z)
Relational Action Bases: Formalization, Effective Safety Verification, and Invariants (Extended Version) [67.99023219822564]
我々はリレーショナルアクションベース(RAB)の一般的な枠組みを紹介する。 RABは両方の制限を解除することで既存のモデルを一般化する。データ対応ビジネスプロセスのベンチマークにおいて、このアプローチの有効性を実証する。
論文参考訳（メタデータ） (2022-08-12T17:03:50Z)
BPMN4sML: A BPMN Extension for Serverless Machine Learning. Technology Independent and Interoperable Modeling of Machine Learning Workflows and their Serverless Deployment Orchestration [0.0]
機械学習(ML)は学術、産業、社会のあらゆる層に浸透し続けている。ビジネスプロセスモデルと表記法(BPMN)は広く受け入れられ、適用されています。 BPMNは機械学習を表現するための特別なサポートではない。 BPMN4sML(サーバレス機械学習のためのBPMN)を紹介します。
論文参考訳（メタデータ） (2022-08-02T10:36:00Z)
A formalisation of BPMN in Description Logics [11.550524384837892]
本稿では、BPMN(Business Process Modelling Notation)の構造的コンポーネントについて、明確なセマンティックな形式化を提供する。オントロジーの開発は、BPMN仕様のAnnex Bに含まれるBPMN要素属性と型の全セットの説明によって導かれた。
論文参考訳（メタデータ） (2021-09-22T13:17:28Z)
CoCoMoT: Conformance Checking of Multi-Perspective Processes via SMT (Extended Version) [62.96267257163426]
我々はCoCoMoT(Computing Conformance Modulo Theories)フレームワークを紹介する。まず、純粋な制御フロー設定で研究したSATベースのエンコーディングを、データ認識ケースに持ち上げる方法を示す。次に,プロパティ保存型クラスタリングの概念に基づく新しい前処理手法を提案する。
論文参考訳（メタデータ） (2021-03-18T20:22:50Z)
SurVAE Flows: Surjections to Bridge the Gap between VAEs and Flows [78.77808270452974]
SurVAE Flowsは、VAEと正規化フローを含む構成可能な変換のためのモジュラーフレームワークである。提案手法は,SurVAE フローとして表現できることが示唆された。
論文参考訳（メタデータ） (2020-07-06T13:13:22Z)

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