Automated Mechanism to Support Trade Transactions in Smart Contracts with Upgrade and Repair

• URL: http://arxiv.org/abs/2506.03877v1
• Date: Wed, 04 Jun 2025 12:13:07 GMT
• Title: Automated Mechanism to Support Trade Transactions in Smart Contracts with Upgrade and Repair
• Authors: Christian Gang Liu, Peter Bodorik, Dawn Jutla,
• Abstract summary: We present a methodology for repairing a smart contract that cannot be completed due to events that were not anticipated by the developer.<n>This paper describes the tool TABS+, developed by extending the TABS+ tool, to allow the repair of smart contracts.
• Score: 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.

Related papers

• Leveraging Machine Learning and Enhanced Parallelism Detection for BPMN Model Generation from Text [75.77648333476776]
  This paper introduces an automated pipeline for extracting BPMN models from text.<n>A key contribution of this work is the introduction of a newly annotated dataset.<n>We augment the dataset with 15 newly annotated documents containing 32 parallel gateways for model training.
  arXiv  Detail & Related papers  (2025-07-11T07:25:55Z)
• Transforming Automatically BPMN Models to Smart Contracts with Nested Collaborative Transactions (TABS+) [0.0]
  We use Business Process Model and Notation BPMN modeling to describe application requirements for trade of goods and services.<n>Our approach analyzes the BPMN model to determine which patterns in the BPMN model are suitable for use as collaborative transactions.<n>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.
  arXiv  Detail & Related papers  (2025-06-03T10:37:41Z)
• Supporting Long-term Transactions in Smart Contracts Generated from Business Process Model and Notation (BPMN) Models [0.0]
  The thesis examines and evaluates automatically generated alternative transaction mechanisms to support collaborative trade transactions.<n>The developed proof of concept shows that our approach to automated transformation of BPMN models into smart contracts with the support of privacy and cross-chain interoperability is feasible.
  arXiv  Detail & Related papers  (2025-05-30T07:47:06Z)
• BPMN to Smart Contract by Business Analyst [0.0]
  This paper addresses the challenge of creating smart contracts for applications represented using Business Process Management and Notation (BPMN) models.<n>In our prior work we presented a methodology that automates the generation of smart contracts from BPMN models.<n>In subsequent research, we enhanced our approach by adding support for nested transactions and enabling a smart contract repair and/or upgrade.
  arXiv  Detail & Related papers  (2025-05-28T17:28:38Z)
• BPMN Analyzer 2.0: Instantaneous, Comprehensible, and Fixable Control Flow Analysis for Realistic BPMN Models [0.9903198600681908]
  Control flow errors, such as deadlocks or livelocks, hinder proper execution of business process models. We introduce a new tool that can instantaneously identify control flow errors in BPMN models, make them understandable for modelers, and suggest corrections to resolve them.
  arXiv  Detail & Related papers  (2024-08-12T09:32:34Z)
• A Step Towards a Universal Method for Modeling and Implementing Cross-Organizational Business Processes [0.0]
  This study lays the groundwork for more accurate and unified business process model executions. It describes the development of a prototype translator that converts specific BPMN elements into a format compatible with PASS. These models are then transformed into source code and executed in a bespoke workflow environment.
  arXiv  Detail & Related papers  (2024-06-18T06:19:44Z)
• Semantic Information Marketing in The Metaverse: A Learning-Based Contract Theory Framework [68.8725783112254]
  We address the problem of designing incentive mechanisms by a virtual service provider (VSP) to hire sensing IoT devices to sell their sensing data. Due to the limited bandwidth, we propose to use semantic extraction algorithms to reduce the delivered data by the sensing IoT devices. We propose a novel iterative contract design and use a new variant of multi-agent reinforcement learning (MARL) to solve the modelled multi-dimensional contract problem.
  arXiv  Detail & Related papers  (2023-02-22T15:52:37Z)
• Predictable MDP Abstraction for Unsupervised Model-Based RL [93.91375268580806]
  We propose predictable MDP abstraction (PMA) Instead of training a predictive model on the original MDP, we train a model on a transformed MDP with a learned action space. We theoretically analyze PMA and empirically demonstrate that PMA leads to significant improvements over prior unsupervised model-based RL approaches.
  arXiv  Detail & Related papers  (2023-02-08T07:37:51Z)
• Relational Action Bases: Formalization, Effective Safety Verification, and Invariants (Extended Version) [67.99023219822564]
  We introduce the general framework of relational action bases (RABs) RABs generalize existing models by lifting both restrictions. We demonstrate the effectiveness of this approach on a benchmark of data-aware business processes.
  arXiv  Detail & Related papers  (2022-08-12T17:03:50Z)
• CoCoMoT: Conformance Checking of Multi-Perspective Processes via SMT (Extended Version) [62.96267257163426]
  We introduce the CoCoMoT (Computing Conformance Modulo Theories) framework. First, we show how SAT-based encodings studied in the pure control-flow setting can be lifted to our data-aware case. Second, we introduce a novel preprocessing technique based on a notion of property-preserving clustering.
  arXiv  Detail & Related papers  (2021-03-18T20:22:50Z)
• BERT-of-Theseus: Compressing BERT by Progressive Module Replacing [113.48041857222431]
  Our approach first divides the original BERT into several modules and builds their compact substitutes. We randomly replace the original modules with their substitutes to train the compact modules to mimic the behavior of the original modules.
  arXiv  Detail & Related papers  (2020-02-07T17:52:16Z)

This list is automatically generated from the titles and abstracts of the papers in this site.

This site does not guarantee the quality of this site (including all information) and is not responsible for any consequences.