論文の概要: A higher-order transformation approach to the formalization and analysis
of BPMN using graph transformation systems
- arxiv url: http://arxiv.org/abs/2311.05243v1
- Date: Thu, 9 Nov 2023 09:55:10 GMT
- ステータス: 処理完了
- システム内更新日: 2023-11-10 15:41:26.049922
- Title: A higher-order transformation approach to the formalization and analysis
of BPMN using graph transformation systems
- Title（参考訳）: グラフ変換システムを用いたBPMNの形式化と分析のための高次変換手法
- Authors: Tim Kr\"auter, Adrian Rutle, Harald K\"onig, Yngve Lamo
- Abstract要約: 本稿ではBPMNの実行セマンティクスの形式化を提案する。
私たちのアプローチは、BPMNモデルからグラフ変換システムへの高次の変換に基づいています。
このアプローチの能力を示すため、オープンソースのWebベースツールとして実装しました。
- 参考スコア（独自算出の注目度）: 1.1606619391009658
- License: http://creativecommons.org/licenses/by/4.0/
- 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. A demonstration of our tool is available at
https://youtu.be/MxXbNUl6IjE.
- Abstract（参考訳）: ビジネスプロセスモデリング表記法(BPMN)は、組織内および組織間ワークフローを定義するための広く使われている標準表記法である。
しかし、BPMN実行セマンティクスの非公式な記述は、BPMN要素の異なる解釈と振る舞い特性のチェックの困難をもたらす。
本稿では、BPMNの実行セマンティクスの形式化を提案し、既存のアプローチと比較して、より多くのBPMN要素をカバーし、プロパティチェックを容易にする。
当社のアプローチは、bpmnモデルからグラフ変換システムへの高次変換に基づいている。
このアプローチの能力を示すため、オープンソースのWebベースツールとして実装しました。
私たちのツールのデモはhttps://youtu.be/mxxbnul6ijeで閲覧できます。
関連論文リスト
- 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)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。