論文の概要: On the Marriage of Theory and Practice in Data-Aware Business Processes via Low-Code
- arxiv url: http://arxiv.org/abs/2510.27229v1
- Date: Fri, 31 Oct 2025 06:47:06 GMT
- ステータス: 翻訳完了
- システム内更新日: 2025-11-03 17:52:16.008907
- Title: On the Marriage of Theory and Practice in Data-Aware Business Processes via Low-Code
- Title（参考訳）: ローコードによるデータ対応ビジネスプロセスの理論と実践の結婚について
- Authors: Ali Nour Eldin, Benjamin Dalmas, Walid Gaaloul,
- Abstract要約: この作業はBPMN-ProXという低コードテストフレームワークを導入し、データ認識型BPMNの検証を大幅に強化します。
この革新的なアプローチは、理論的検証と実用的なモデリングを組み合わせることで、よりアジャイルで信頼性があり、ユーザ中心のビジネスプロセス管理を促進する。
- 参考スコア（独自算出の注目度）: 0.9685837672183747
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: In recent years, there has been a growing interest in the verification of business process models. Despite their lack of formal characterization, these models are widely adopted in both industry and academia. To address this issue, formalizing the execution semantics of business process modeling languages is essential. Since data and process are two facets of the same coin, and data are critical elements in the execution of process models, this work introduces Proving an eXecutable BPMN injected with data, BPMN-ProX. BPMN-ProX is a low-code testing framework that significantly enhances the verification of data-aware BPMN. This low-code platform helps bridge the gap between non-technical experts and professionals by proposing a tool that integrates advanced data handling and employs a robust verification mechanism through state-of-the-art model checkers. This innovative approach combines theoretical verification with practical modeling, fostering more agile, reliable, and user-centric business process management.
- Abstract（参考訳）: 近年,ビジネスプロセスモデルの検証に対する関心が高まっている。
形式的な特徴の欠如にもかかわらず、これらのモデルは産業と学術の両方で広く採用されている。
この問題に対処するためには、ビジネスプロセスモデリング言語の実行セマンティクスの形式化が不可欠である。
データとプロセスは同じコインの2つの面であり、データはプロセスモデルの実行において重要な要素であるので、この研究はBPMN-ProXというデータで注入されたeXecutable BPMNの証明を紹介します。
BPMN-ProXはローコードテストフレームワークで、データ認識型BPMNの検証を大幅に強化します。
このローコードプラットフォームは、高度なデータハンドリングを統合するツールを提案し、最先端のモデルチェッカーを通じて堅牢な検証メカニズムを採用することで、技術専門家と専門家のギャップを埋めるのに役立つ。
この革新的なアプローチは、理論的検証と実用的なモデリングを組み合わせることで、よりアジャイルで信頼性があり、ユーザ中心のビジネスプロセス管理を促進する。
関連論文リスト
- Leveraging Machine Learning and Enhanced Parallelism Detection for BPMN Model Generation from Text [75.77648333476776]
本稿では、テキストからBPMNモデルを抽出する自動パイプラインについて紹介する。
この研究の重要な貢献は、新たに注釈付けされたデータセットの導入である。
モデルトレーニング用の32のパラレルゲートウェイを含む15の注釈付き文書でデータセットを増強する。
論文 参考訳（メタデータ） (2025-07-11T07:25:55Z) - A Step Towards a Universal Method for Modeling and Implementing Cross-Organizational Business Processes [0.0]
この研究は、より正確で統一されたビジネスプロセスモデル実行の基礎となる。
特定のBPMN要素をPASSと互換性のあるフォーマットに変換するプロトタイプトランスレータの開発について説明する。
これらのモデルはソースコードに変換され、bespokeワークフロー環境で実行される。
論文 参考訳（メタデータ） (2024-06-18T06:19:44Z) - Process Modeling With Large Language Models [42.0652924091318]
本稿では,大規模言語モデル(LLM)のプロセスモデリングへの統合について検討する。
プロセスモデルの自動生成と反復的改善にLLMを利用するフレームワークを提案する。
予備的な結果は、プロセスモデリングタスクを合理化するフレームワークの能力を示している。
論文 参考訳（メタデータ） (2024-03-12T11:27:47Z) - Adapting Large Language Models for Content Moderation: Pitfalls in Data
Engineering and Supervised Fine-tuning [79.53130089003986]
大規模言語モデル(LLM)は、様々なドメインでタスクを処理するための実現可能なソリューションとなっている。
本稿では、コンテンツモデレーションのためにプライベートにデプロイ可能なLLMモデルを微調整する方法を紹介する。
論文 参考訳（メタデータ） (2023-10-05T09:09:44Z) - Exploring validation metrics for offline model-based optimisation with
diffusion models [50.404829846182764]
モデルベース最適化(MBO)では、マシンラーニングを使用して、(基底真理)オラクルと呼ばれるブラックボックス関数に対する報酬の尺度を最大化する候補を設計することに興味があります。
モデル検証中に基底オラクルに対する近似をトレーニングし、その代わりに使用することができるが、その評価は近似的であり、敵の例に対して脆弱である。
本手法は,外挿量を測定するために提案した評価フレームワークにカプセル化されている。
論文 参考訳（メタデータ） (2022-11-19T16:57:37Z) - Generating Hidden Markov Models from Process Models Through Nonnegative Tensor Factorization [0.0]
我々は,理論的プロセスモデルと関連する最小隠れマルコフモデルを統合する,数学的に新しい手法を提案する。
提案手法は, (a) 理論的プロセスモデル, (b) HMM, (c) 結合非負行列テンソル因子分解, (d) カスタムモデル選択を集約する。
論文 参考訳（メタデータ） (2022-10-03T16:19:27Z) - Extending Process Discovery with Model Complexity Optimization and
Cyclic States Identification: Application to Healthcare Processes [62.997667081978825]
モデル最適化のための半自動支援を実現するプロセスマイニング手法を提案する。
所望の粒度で生モデルを抽象化するモデル単純化手法が提案されている。
医療分野の異なるアプリケーションから得られた3つのデータセットを用いて、技術的ソリューションの能力を実証することを目的としている。
論文 参考訳（メタデータ） (2022-06-10T16:20:59Z) - CoCoMoT: Conformance Checking of Multi-Perspective Processes via SMT
(Extended Version) [62.96267257163426]
我々はCoCoMoT(Computing Conformance Modulo Theories)フレームワークを紹介する。
まず、純粋な制御フロー設定で研究したSATベースのエンコーディングを、データ認識ケースに持ち上げる方法を示す。
次に,プロパティ保存型クラスタリングの概念に基づく新しい前処理手法を提案する。
論文 参考訳（メタデータ） (2021-03-18T20:22:50Z) - Quantitatively Assessing the Benefits of Model-driven Development in
Agent-based Modeling and Simulation [80.49040344355431]
本稿では,MDD とABMS プラットフォームの利用状況と開発ミスについて比較する。
その結果、MDD4ABMSはNetLogoと類似した設計品質のシミュレーションを開発するのに、より少ない労力を必要とすることがわかった。
論文 参考訳（メタデータ） (2020-06-15T23:29:04Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。