Cover Image

Transforming Automatically BPMN Models to Smart Contracts with Nested Collaborative Transactions (TABS+)

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Liu, Christian Gang, Bodorik, Peter, Jutla, Dawn
Format:	Preprint
Published:	2025
Subjects:	Software Engineering
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Automated Mechanism to Support Trade Transactions in Smart Contracts with Upgrade and Repair
by: Liu, Christian Gang, et al.
Published: (2025)

BPMN to Smart Contract by Business Analyst
by: Liu, C. G., et al.
Published: (2025)

Smart Contracts for SMEs and Large Companies
by: Liu, C. G., et al.
Published: (2025)

Supporting Long-term Transactions in Smart Contracts Generated from Business Process Model and Notation (BPMN) Models
by: Liu, Christian Gang
Published: (2025)

Towards Modeling Human-Agentic Collaborative Workflows: A BPMN Extension
by: Ait, Adem, et al.
Published: (2024)

Why Is My Transaction Risky? Understanding Smart Contract Semantics and Interactions in the NFT Ecosystem
by: Chen, Yujing, et al.
Published: (2025)

Automatic Smart Contract Comment Generation via Large Language Models and In-Context Learning
by: Zhao, Junjie, et al.
Published: (2023)

BPMN Analyzer 2.0: Instantaneous, Comprehensible, and Fixable Control Flow Analysis for Realistic BPMN Models
by: Kräuter, Tim, et al.
Published: (2024)

Automatic Generation of Executable BPMN Models from Medical Guidelines
by: Sekar, Praveen Kumar Menaka, et al.
Published: (2026)

A Hybrid BPMN-DMN Framework for Secure Inter-organizational Processes and Decisions Collaboration on Permissioned Blockchain
by: Shen, Xinzhe, et al.
Published: (2024)

SmartML: Towards a Modeling Language for Smart Contracts
by: Veschetti, Adele, et al.
Published: (2024)

Validation Framework for E-Contract and Smart Contract
by: Godboley, Sangharatna, et al.
Published: (2025)

Instantaneous, Comprehensible, and Fixable Soundness Checking of Realistic BPMN Models
by: Kräuter, Tim, et al.
Published: (2024)

ContractTrace: Retracing Smart Contract Versions for Security Analyses
by: Mbodji, Fatou Ndiaye, et al.
Published: (2024)

SCDBench: A Benchmark for LLM-Based Smart Contract Decompilers
by: Qin, Kaihua, et al.
Published: (2026)

Demystifying the Characteristics for Smart Contract Upgrades
by: Liu, Ye, et al.
Published: (2024)

Automated Invariant Generation for Solidity Smart Contracts
by: Liu, Ye, et al.
Published: (2024)

OpenTracer: A Dynamic Transaction Trace Analyzer for Smart Contract Invariant Generation and Beyond
by: Chen, Zhiyang, et al.
Published: (2024)

Automating Execution and Verification of BPMN+DMN Business Processes
by: Della Penna, Giuseppe, et al.
Published: (2025)

Impact of Code Transformation on Detection of Smart Contract Vulnerabilities
by: Manh, Cuong Tran, et al.
Published: (2024)

Specification Mining for Smart Contracts with Trace Slicing and Predicate Abstraction
by: Liu, Ye, et al.
Published: (2024)

Effective Targeted Testing of Smart Contracts
by: Fooladgar, Mahdi, et al.
Published: (2024)

Vanilla-Converter: A Tool for Converting Camunda 7 BPMN Models into Camunda 8 Models
by: Sunaric, Dragana, et al.
Published: (2025)

Multi-Agent Collaborative Fuzzing with Continuous Reflection for Smart Contracts Vulnerability Detection
by: Chen, Jie, et al.
Published: (2025)

Definition and Detection of Centralization Defects in Smart Contracts
by: Lin, Zewei, et al.
Published: (2024)

Generating Move Smart Contracts based on Concepts
by: Karanjai, Rabimba, et al.
Published: (2024)

CRPWarner: Warning the Risk of Contract-related Rug Pull in DeFi Smart Contracts
by: Lin, Zewei, et al.
Published: (2024)

Multi-Robot System Architecture design in SysML and BPMN
by: Sadik, Ahmed R., et al.
Published: (2024)

BPMN Assistant: An LLM-Based Approach to Business Process Modeling
by: Licardo, Josip Tomo, et al.
Published: (2025)

Instruction-Tuning Open-Weight Language Models for BPMN Model Generation
by: Çelikmasat, Gökberk, et al.
Published: (2025)

Automating Comment Generation for Smart Contract from Bytecode
by: Xiang, Jianhang, et al.
Published: (2025)

Understanding Inconsistent State Update Vulnerabilities in Smart Contracts
by: Li, Lantian, et al.
Published: (2025)

Efficiently Detecting Reentrancy Vulnerabilities in Complex Smart Contracts
by: Wang, Zexu, et al.
Published: (2024)

End-user Comprehension of Transfer Risks in Smart Contracts
by: Panicker, Yustynn, et al.
Published: (2024)

Metamorphic Testing for Smart Contract Validation:A Case Study of Ethereum-Based Crowdfunding Contracts
by: Villanueva, Irving Jared, et al.
Published: (2025)

Towards an Engineering Workflow Management System for Asset Administration Shells using BPMN
by: Grüner, Sten, et al.
Published: (2025)

Smart Contract Fuzzing Towards Profitable Vulnerabilities
by: Kong, Ziqiao, et al.
Published: (2025)

Detecting State Manipulation Vulnerabilities in Smart Contracts Using LLM and Static Analysis
by: Wu, Hao, et al.
Published: (2025)

Combining Fine-Tuning and LLM-based Agents for Intuitive Smart Contract Auditing with Justifications
by: Ma, Wei, et al.
Published: (2024)

Automated BPMN Model Generation from Textual Process Descriptions: A Multi-Stage LLM-Driven Approach
by: Matei, Ion, et al.
Published: (2026)