論文の概要: Automating Execution and Verification of BPMN+DMN Business Processes
- arxiv url: http://arxiv.org/abs/2512.15214v1
- Date: Wed, 17 Dec 2025 09:10:17 GMT
- ステータス: 翻訳完了
- システム内更新日: 2025-12-18 17:06:26.913171
- Title: Automating Execution and Verification of BPMN+DMN Business Processes
- Title（参考訳）: BPMN+DMNビジネスプロセスの自動化と検証
- Authors: Giuseppe Della Penna, Igor Melatti,
- Abstract要約: BPMN+DMNモデルを構築するのに一般的に使用されるフレームワークは、設計者が構文上のエラーを検出できるだけである。
文献からBPMN+DMNプロセスに関する方法論を実験的に評価する。
- 参考スコア（独自算出の注目度）: 0.0
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: The increasing and widespread use of BPMN business processes, also embodying DMN tables, requires tools and methodologies to verify their correctness. However, most commonly used frameworks to build BPMN+DMN models only allow designers to detect syntactical errors, thus ignoring semantic (behavioural) faults. This forces business processes designers to manually run single executions of their BPMN+DMN processes using proprietary tools in order to detect failures. Furthermore, how proprietary tools translate a BPMN+DMN process to a computer simulation is left unspecified. In this paper, we advance this state of the art by designing a tool, named BDTransTest providing: i) a translation from a BPMN + DMN process B to a Java program P ; ii) the synthesis and execution of a testing plan for B, that may require the business designer to disambiguate some input domain; iii) the analysis of the coverage achieved by the testing plan in terms of nodes and edges of B. Finally, we provide an experimental evaluation of our methodology on BPMN+DMN processes from the literature.
- Abstract（参考訳）: DMNテーブルを具現化したBPMNビジネスプロセスの増加と普及は、その正確性を検証するツールや方法論を必要とします。
しかし、BPMN+DMNモデルを構築するのによく使われるフレームワークは、設計者が構文上のエラーを検出できるだけであり、したがって意味(振る舞い)の欠点を無視している。
これにより、ビジネスプロセスデザイナは、障害を検出するために独自のツールを使用してBPMN+DMNプロセスの単一実行を手動で実行せざるを得なくなります。
さらに、プロプライエタリなツールがBPMN+DMNプロセスをコンピュータシミュレーションにどのように変換するかは、未定のままである。
本稿では、BDTransTestというツールを設計することで、この最先端を推し進める。
一 BPMN + DMNプロセスBからJavaプログラムPへの変換
二 事業主が入力ドメインを曖昧にしなければならないBの試験計画の合成及び実行
三 試験計画が達成した範囲をBのノードとエッジの観点から分析し、最後に、文献からBPMN+DMNプロセスに関する方法論を実験的に評価する。
関連論文リスト
- BPMN to PDDL: Translating Business Workflows for AI Planning [6.865656740940774]
このプロジェクトは、BPMNダイアグラムを計画に適したPDDL表現に変換する機能パイプラインを開発するための、以前の理論的作業の上に構築されます。
このシステムは、タスク、イベント、シーケンスフロー、ゲートウェイを含むコアBPMN構造をサポートし、最初に並列かつ包括的なゲートウェイ動作をサポートする。
論文 参考訳（メタデータ） (2025-11-22T19:51:23Z) - Leveraging Machine Learning and Enhanced Parallelism Detection for BPMN Model Generation from Text [75.77648333476776]
本稿では、テキストからBPMNモデルを抽出する自動パイプラインについて紹介する。
この研究の重要な貢献は、新たに注釈付けされたデータセットの導入である。
モデルトレーニング用の32のパラレルゲートウェイを含む15の注釈付き文書でデータセットを増強する。
論文 参考訳（メタデータ） (2025-07-11T07:25:55Z) - BPMN to Smart Contract by Business Analyst [0.0]
本稿では、BPMN(Business Process Management and Notation)モデルを用いて代表されるアプリケーションのスマートコントラクトを作成するという課題に対処する。
以前の作業では、BPMNモデルからスマートコントラクトを自動生成する方法論を紹介しました。
その後の調査では、ネストトランザクションのサポートを追加し、スマートコントラクトの修復やアップグレードを可能にして、アプローチを強化しました。
論文 参考訳（メタデータ） (2025-05-28T17:28:38Z) - A Step Towards a Universal Method for Modeling and Implementing Cross-Organizational Business Processes [0.0]
この研究は、より正確で統一されたビジネスプロセスモデル実行の基礎となる。
特定のBPMN要素をPASSと互換性のあるフォーマットに変換するプロトタイプトランスレータの開発について説明する。
これらのモデルはソースコードに変換され、bespokeワークフロー環境で実行される。
論文 参考訳（メタデータ） (2024-06-18T06:19:44Z) - Towards Generating Executable Metamorphic Relations Using Large Language Models [46.26208489175692]
大規模言語モデル(LLM)を用いた要件から実行可能なMRを自動的に抽出する手法を提案する。
提案手法の有効性を評価するため,シーメンス・インダストリー・ソフトウェアと共同で質問紙調査を行った。
論文 参考訳（メタデータ） (2024-01-30T13:52:47Z) - A higher-order transformation approach to the formalization and analysis of BPMN using graph transformation systems [1.0624606551524207]
本稿ではBPMNの実行セマンティクスの形式化を提案する。
私たちのアプローチは、BPMNモデルからグラフ変換システムへの高次の変換に基づいています。
このアプローチの能力を示すため、オープンソースのWebベースツールとして実装しました。
論文 参考訳（メタデータ） (2023-11-09T09:55:10Z) - Just Tell Me: Prompt Engineering in Business Process Management [63.08166397142146]
GPT-3や他の言語モデル(LM)は、様々な自然言語処理(NLP)タスクに効果的に対処できる。
私たちは、迅速なエンジニアリングは、BPM研究にLMの能力をもたらすことができると論じています。
論文 参考訳（メタデータ） (2023-04-14T14:55:19Z) - Towards Semantic Communication Protocols: A Probabilistic Logic
Perspective [69.68769942563812]
我々は,NPMを確率論理型言語ProbLogで記述された解釈可能なシンボルグラフに変換することによって構築された意味プロトコルモデル(SPM)を提案する。
その解釈性とメモリ効率を利用して、衝突回避のためのSPM再構成などのいくつかの応用を実演する。
論文 参考訳（メタデータ） (2022-07-08T14:19:36Z) - Batch-Ensemble Stochastic Neural Networks for Out-of-Distribution
Detection [55.028065567756066]
Out-of-Distribution(OOD)検出は、機械学習モデルを現実世界のアプリケーションにデプロイすることの重要性から、マシンラーニングコミュニティから注目を集めている。
本稿では,特徴量の分布をモデル化した不確実な定量化手法を提案する。
バッチアンサンブルニューラルネットワーク(BE-SNN)の構築と機能崩壊問題の克服を目的として,効率的なアンサンブル機構,すなわちバッチアンサンブルを組み込んだ。
We show that BE-SNNs yield superior performance on the Two-Moons dataset, the FashionMNIST vs MNIST dataset, FashionM。
論文 参考訳（メタデータ） (2022-06-26T16:00:22Z) - CoCoMoT: Conformance Checking of Multi-Perspective Processes via SMT
(Extended Version) [62.96267257163426]
我々はCoCoMoT(Computing Conformance Modulo Theories)フレームワークを紹介する。
まず、純粋な制御フロー設定で研究したSATベースのエンコーディングを、データ認識ケースに持ち上げる方法を示す。
次に,プロパティ保存型クラスタリングの概念に基づく新しい前処理手法を提案する。
論文 参考訳（メタデータ） (2021-03-18T20:22:50Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。