論文の概要: Transforming Automatically BPMN Models to Smart Contracts with Nested Collaborative Transactions (TABS+)
- arxiv url: http://arxiv.org/abs/2506.02727v1
- Date: Tue, 03 Jun 2025 10:37:41 GMT
- ステータス: 翻訳完了
- システム内更新日: 2025-06-05 01:42:09.41188
- Title: Transforming Automatically BPMN Models to Smart Contracts with Nested Collaborative Transactions (TABS+)
- Title（参考訳）: Nested Collaborative Transactions (TABS+)でBPMNモデルを自動的にスマートコントラクトに変換する
- Authors: Christian Gang Liu, Peter Bodorik, Dawn Jutla,
- Abstract要約: ビジネスプロセスモデルと表記 BPMNモデリングを使用して、商品やサービスの取引に対するアプリケーション要件を記述します。
このアプローチでは、BPMNモデルを分析して、BPMNモデル内のどのパターンが協調トランザクションとして使われるのに適しているかを決定します。
私たちのアプローチはBPMNモデルをスマートコントラクトに自動的に変換し、ネストしたトランザクションのトランザクション特性を強制するためのトランザクションメカニズムを提供します。
- 参考スコア（独自算出の注目度）: 0.0
- License: http://creativecommons.org/licenses/by-nc-nd/4.0/
- Abstract: Development of blockchain smart contracts is more difficult than mainstream software development because the underlying blockchain infrastructure poses additional complexity. To ease the developer's task of writing smart contract, as other research efforts, we also use Business Process Model and Notation BPMN modeling to describe application requirements for trade of goods and services and then transform automatically the BPMN model into the methods of a smart contract. In our previous research we described our approach and a tool to Transform Automatically BPMN models into Smart contracts TABS. In this paper, we describe how the TABS approach is augmented with the support for a BPMN collaborative transaction by several actors. Our approach analyzes the BPMN model to determine which patterns in the BPMN model are suitable for use as collaborative transactions. The found BPMN patterns that are suitable as transactions are shown to the developer who decides which ones should be deployed as collaborative transactions. We describe how our approach automatically transform the BPMN model into smart contract the provides a transaction mechanism to enforce the transactional properties of the nested transactions. Our approach greatly reduces the developers task as synchronization of collaborative activities is provided by our approach, so that the developer needs to code only independent tasks with well-defined inputs and outputs. We also overview the TABS+ tool we built as a proof of concept to show that our approach is feasible. Finally, we provide estimates on the cost of supporting the nested BPMN collaborative transactions.
- Abstract（参考訳）: ブロックチェーンのスマートコントラクトの開発は、基盤となるブロックチェーンインフラストラクチャがさらなる複雑さをもたらすため、主流のソフトウェア開発よりも難しい。
開発者がスマートコントラクトを書く作業を簡単にするために、他の研究活動と同様に、私たちはBusiness Process ModelとNotation BPMNモデリングを使用して、商品やサービスのトレーディングのアプリケーション要件を記述し、BPMNモデルをスマートコントラクトのメソッドに自動的に変換します。
以前の調査では、私たちのアプローチと、自動BPMNモデルをスマートコントラクトTABSに変換するツールについて説明しました。
本稿では、複数のアクターによるBPMN協調トランザクションのサポートにより、TABSアプローチがどのように拡張されているかを述べる。
このアプローチでは、BPMNモデルを分析して、BPMNモデル内のどのパターンが協調トランザクションとして使われるのに適しているかを決定します。
トランザクションに適したBPMNパターンは、共同トランザクションとしてデプロイされるべきものを決定する開発者に示されます。
私たちのアプローチはBPMNモデルをスマートコントラクトに自動的に変換し、ネストしたトランザクションのトランザクション特性を強制するためのトランザクションメカニズムを提供します。
当社のアプローチは,協調作業の同期化として開発者のタスクを大幅に削減するので,開発者が適切に定義されたインプットとアウトプットで,独立したタスクのみをコーディングする必要がある。
また、私たちのアプローチが実現可能であることを示すための概念実証として構築したTABS+ツールの概要も公開しています。
最後に、ネストしたBPMN協調トランザクションをサポートするコストを見積もっています。
関連論文リスト
- Supporting Long-term Transactions in Smart Contracts Generated from Business Process Model and Notation (BPMN) Models [0.0]
論文は、協調取引をサポートするために自動生成された代替取引メカニズムを調べ評価する。
BPMNモデルのスマートコントラクトへの自動変換に対する私たちのアプローチは、プライバシとチェーン間の相互運用性をサポートして実現可能であることを示しています。
論文 参考訳（メタデータ） (2025-05-30T07:47:06Z) - Discriminative Policy Optimization for Token-Level Reward Models [55.98642069903191]
プロセス報酬モデル(PRM)は、結果報酬モデル(ORM)と比較して、よりきめ細かい監督を提供する。
Q-RMは、微粒なアノテーションに頼ることなく、優先データからトークンレベルのQ関数を明示的に学習する。
Q-RMによる強化学習は、トレーニング効率を大幅に向上させ、GSM8KでのORMの12倍、MATHでのステップレベルPRMの11倍の収束を実現した。
論文 参考訳（メタデータ） (2025-05-29T11:40:34Z) - BPMN to Smart Contract by Business Analyst [0.0]
本稿では、BPMN(Business Process Management and Notation)モデルを用いて代表されるアプリケーションのスマートコントラクトを作成するという課題に対処する。
以前の作業では、BPMNモデルからスマートコントラクトを自動生成する方法論を紹介しました。
その後の調査では、ネストトランザクションのサポートを追加し、スマートコントラクトの修復やアップグレードを可能にして、アプローチを強化しました。
論文 参考訳（メタデータ） (2025-05-28T17:28:38Z) - Sample-efficient Learning of Infinite-horizon Average-reward MDPs with General Function Approximation [53.17668583030862]
一般関数近似の文脈において,無限水平平均逆マルコフ決定過程(AMDP)について検討する。
最適化最適化(LOOP)と呼ばれる新しいアルゴリズムフレームワークを提案する。
我々は LOOP がサブ線形 $tildemathcalO(mathrmpoly(d, mathrmsp(V*)) sqrtTbeta )$ regret を達成することを示す。
論文 参考訳（メタデータ） (2024-04-19T06:24:22Z) - 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) - Semantic Information Marketing in The Metaverse: A Learning-Based
Contract Theory Framework [68.8725783112254]
仮想サービスプロバイダ(VSP)によるインセンティブのメカニズム設計の問題に対処し,センサデータ販売にIoTデバイスを採用。
帯域幅が限られているため,センサIoTデバイスによる配信データを削減するためにセマンティック抽出アルゴリズムを提案する。
本稿では,新しい反復型契約設計を提案し,マルチエージェント強化学習(MARL)の新たな変種を用いて,モデル付き多次元契約問題の解法を提案する。
論文 参考訳（メタデータ） (2023-02-22T15:52:37Z) - Adaptive Stochastic ADMM for Decentralized Reinforcement Learning in
Edge Industrial IoT [106.83952081124195]
強化学習 (Reinforcement Learning, RL) は, 意思決定および最適制御プロセスのための有望な解法として広く研究されている。
本稿では,Adaptive ADMM (asI-ADMM)アルゴリズムを提案する。
実験の結果,提案アルゴリズムは通信コストやスケーラビリティの観点から技術状況よりも優れており,複雑なIoT環境に適応できることがわかった。
論文 参考訳（メタデータ） (2021-06-30T16:49:07Z) - CoCoMoT: Conformance Checking of Multi-Perspective Processes via SMT
(Extended Version) [62.96267257163426]
我々はCoCoMoT(Computing Conformance Modulo Theories)フレームワークを紹介する。
まず、純粋な制御フロー設定で研究したSATベースのエンコーディングを、データ認識ケースに持ち上げる方法を示す。
次に,プロパティ保存型クラスタリングの概念に基づく新しい前処理手法を提案する。
論文 参考訳（メタデータ） (2021-03-18T20:22:50Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。