論文の概要: Automated Mechanism to Support Trade Transactions in Smart Contracts with Upgrade and Repair
- arxiv url: http://arxiv.org/abs/2506.03877v1
- Date: Wed, 04 Jun 2025 12:13:07 GMT
- ステータス: 翻訳完了
- システム内更新日: 2025-06-05 21:20:14.314827
- Title: Automated Mechanism to Support Trade Transactions in Smart Contracts with Upgrade and Repair
- Title（参考訳）: アップグレードと修復を伴うスマートコントラクトにおける取引トランザクションを支援する自動メカニズム
- Authors: Christian Gang Liu, Peter Bodorik, Dawn Jutla,
- Abstract要約: 本稿では,開発者が予期していなかったイベントのために完成できないスマートコントラクトを修復するための方法論を提案する。
本稿では,TABS+ツールを拡張し,スマートコントラクトの修復を可能にするツールTABS+について述べる。
- 参考スコア（独自算出の注目度）: 0.0
- License: http://creativecommons.org/licenses/by-nc-nd/4.0/
- Abstract: In our previous research, we addressed the problem of automated transformation of models, represented using the business process model and notation (BPMN) standard, into the methods of a smart contract. The transformation supports BPMN models that contain complex multi-step activities that are supported using our concept of multi-step nested trade transactions, wherein the transactional properties are enforced by a mechanism generated automatically by the transformation process from a BPMN model to a smart contract. In this paper, we present a methodology for repairing a smart contract that cannot be completed due to events that were not anticipated by the developer and thus prevent the completion of the smart contract. The repair process starts with the original BPMN model fragment causing the issue, providing the modeler with the innermost transaction fragment containing the failed activity. The modeler amends the BPMN pattern on the basis of successful completion of previous activities. If repairs exceed the inner transaction's scope, they are addressed using the parent transaction's BPMN model. The amended BPMN model is then transformed into a new smart contract, ensuring consistent data and logic transitions. We previously developed a tool, called TABS+, as a proof of concept (PoC) to transform BPMN models into smart contracts for nested transactions. This paper describes the tool TABS+R, developed by extending the TABS+ tool, to allow the repair of smart contracts.
- Abstract（参考訳）: これまでの研究では、ビジネスプロセスモデルと表記法(BPMN)標準を用いて表現されたモデルの自動変換の問題をスマートコントラクトの手法に対処しました。
この変換は、BPMNモデルからスマートコントラクトへの変換プロセスによって自動的に生成されるメカニズムによってトランザクションプロパティが強制される、マルチステップのネストされた取引トランザクションという概念を使って、サポートされる複雑なマルチステップアクティビティを含むBPMNモデルをサポートします。
本稿では,開発者が予期していなかった事象のために完成できないスマートコントラクトを修復し,スマートコントラクトの完成を防止する手法を提案する。
修復プロセスは、問題を引き起こす最初のBPMNモデルフラグメントから始まり、モデラーに失敗したアクティビティを含む最内側のトランザクションフラグメントを提供する。
モデラーは、前のアクティビティの完了の成功に基づいてBPMNパターンを修正します。
修復が内部トランザクションの範囲を超えた場合、親トランザクションのBPMNモデルを使用して対処される。
修正されたBPMNモデルは、新しいスマートコントラクトに変換され、一貫性のあるデータとロジックのトランジションが保証されます。
私たちは以前、BPMNモデルをネストしたトランザクションのためのスマートコントラクトに変換するための概念実証(PoC)として、TABS+というツールを開発しました。
本稿では,TABS+ツールを拡張して開発したTABS+Rツールについて述べる。
関連論文リスト
- Transforming Automatically BPMN Models to Smart Contracts with Nested Collaborative Transactions (TABS+) [0.0]
ビジネスプロセスモデルと表記 BPMNモデリングを使用して、商品やサービスの取引に対するアプリケーション要件を記述します。
このアプローチでは、BPMNモデルを分析して、BPMNモデル内のどのパターンが協調トランザクションとして使われるのに適しているかを決定します。
私たちのアプローチはBPMNモデルをスマートコントラクトに自動的に変換し、ネストしたトランザクションのトランザクション特性を強制するためのトランザクションメカニズムを提供します。
論文 参考訳（メタデータ） (2025-06-03T10:37:41Z) - Supporting Long-term Transactions in Smart Contracts Generated from Business Process Model and Notation (BPMN) Models [0.0]
論文は、協調取引をサポートするために自動生成された代替取引メカニズムを調べ評価する。
BPMNモデルのスマートコントラクトへの自動変換に対する私たちのアプローチは、プライバシとチェーン間の相互運用性をサポートして実現可能であることを示しています。
論文 参考訳（メタデータ） (2025-05-30T07:47:06Z) - BPMN to Smart Contract by Business Analyst [0.0]
本稿では、BPMN(Business Process Management and Notation)モデルを用いて代表されるアプリケーションのスマートコントラクトを作成するという課題に対処する。
以前の作業では、BPMNモデルからスマートコントラクトを自動生成する方法論を紹介しました。
その後の調査では、ネストトランザクションのサポートを追加し、スマートコントラクトの修復やアップグレードを可能にして、アプローチを強化しました。
論文 参考訳（メタデータ） (2025-05-28T17:28:38Z) - BPMN Analyzer 2.0: Instantaneous, Comprehensible, and Fixable Control Flow Analysis for Realistic BPMN Models [0.9903198600681908]
デッドロックやライブロックのようなフローエラーを制御することは、ビジネスプロセスモデルの適切な実行を妨げる。
我々はBPMNモデルにおける制御フローエラーを瞬時に識別し、モデラーに理解できるようにし、修正を提案する新しいツールを紹介します。
論文 参考訳（メタデータ） (2024-08-12T09:32:34Z) - A Step Towards a Universal Method for Modeling and Implementing Cross-Organizational Business Processes [0.0]
この研究は、より正確で統一されたビジネスプロセスモデル実行の基礎となる。
特定のBPMN要素をPASSと互換性のあるフォーマットに変換するプロトタイプトランスレータの開発について説明する。
これらのモデルはソースコードに変換され、bespokeワークフロー環境で実行される。
論文 参考訳（メタデータ） (2024-06-18T06:19:44Z) - Predictable MDP Abstraction for Unsupervised Model-Based RL [93.91375268580806]
予測可能なMDP抽象化(PMA)を提案する。
元のMDPで予測モデルを訓練する代わりに、学習されたアクション空間を持つ変換MDPでモデルを訓練する。
我々はPMAを理論的に解析し、PMAが以前の教師なしモデルベースRLアプローチよりも大幅に改善することを示す。
論文 参考訳（メタデータ） (2023-02-08T07:37:51Z) - Relational Action Bases: Formalization, Effective Safety Verification,
and Invariants (Extended Version) [67.99023219822564]
我々はリレーショナルアクションベース(RAB)の一般的な枠組みを紹介する。
RABは両方の制限を解除することで既存のモデルを一般化する。
データ対応ビジネスプロセスのベンチマークにおいて、このアプローチの有効性を実証する。
論文 参考訳（メタデータ） (2022-08-12T17:03:50Z) - CoCoMoT: Conformance Checking of Multi-Perspective Processes via SMT
(Extended Version) [62.96267257163426]
我々はCoCoMoT(Computing Conformance Modulo Theories)フレームワークを紹介する。
まず、純粋な制御フロー設定で研究したSATベースのエンコーディングを、データ認識ケースに持ち上げる方法を示す。
次に,プロパティ保存型クラスタリングの概念に基づく新しい前処理手法を提案する。
論文 参考訳（メタデータ） (2021-03-18T20:22:50Z) - BERT-of-Theseus: Compressing BERT by Progressive Module Replacing [113.48041857222431]
我々のアプローチはまず、元のBERTを複数のモジュールに分割し、そのコンパクトな代替品を構築する。
我々は、元のモジュールの振る舞いを模倣するために、コンパクトなモジュールを訓練するために、元のモジュールを代用モジュールにランダムに置き換える。
論文 参考訳（メタデータ） (2020-02-07T17:52:16Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。