Cover Image

Supporting Long-term Transactions in Smart Contracts Generated from Business Process Model and Notation (BPMN) Models

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	Liu, Christian Gang
Format:	Preprint
Published:	2025
Subjects:	Software Engineering Distributed, Parallel, and Cluster Computing
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

FSM Modeling For Off-Blockchain Computation
by: Liu, Christian Gang
Published: (2025)

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

UPC Sentinel: An Accurate Approach for Detecting Upgradeability Proxy Contracts in Ethereum
by: Ebrahimi, Amir M., et al.
Published: (2024)

DISL: Fueling Research with A Large Dataset of Solidity Smart Contracts
by: Morello, Gabriele, et al.
Published: (2024)

Versioned Analysis of Software Quality Indicators and Self-admitted Technical Debt in Ethereum Smart Contracts with Ethstractor
by: Hassan, Khalid, et al.
Published: (2024)

Hydra: Brokering Cloud and HPC Resources to Support the Execution of Heterogeneous Workloads at Scale
by: Alsaadi, Aymen, et al.
Published: (2024)

CLAID: Closing the Loop on AI & Data Collection -- A Cross-Platform Transparent Computing Middleware Framework for Smart Edge-Cloud and Digital Biomarker Applications
by: Langer, Patrick, et al.
Published: (2023)

Model-guided Fuzzing of Distributed Systems
by: Gulcan, Ege Berkay, et al.
Published: (2024)

A Comprehensive Benchmarking Analysis of Fault Recovery in Stream Processing Frameworks
by: Vogel, Adriano, et al.
Published: (2024)

Do Large Language Models Understand Performance Optimization?
by: Cui, Bowen, et al.
Published: (2025)

Radon: a Programming Model and Platform for Computing Continuum Systems
by: De Martini, Luca, et al.
Published: (2025)

Multi-Grained Specifications for Distributed System Model Checking and Verification
by: Ouyang, Lingzhi, et al.
Published: (2024)

Where Should I Deploy My Contracts? A Practical Experience Report
by: Lazăr, Cătălina, et al.
Published: (2025)

ATOM: Asynchronous Training of Massive Models for Deep Learning in a Decentralized Environment
by: Wu, Xiaofeng, et al.
Published: (2024)

ShuffleBench: A Benchmark for Large-Scale Data Shuffling Operations with Distributed Stream Processing Frameworks
by: Henning, Sören, et al.
Published: (2024)

gFaaS: Enabling Generic Functions in Serverless Computing
by: Chadha, Mohak, et al.
Published: (2024)

LLM-HPC++: Evaluating LLM-Generated Modern C++ and MPI+OpenMP Codes for Scalable Mandelbrot Set Computation
by: Diehl, Patrick, et al.
Published: (2025)

A Survey of Real-Time Support, Analysis, and Advancements in ROS 2
by: Casini, Daniel, et al.
Published: (2025)

A Framework for Effective Invocation Methods of Various LLM Services
by: Wang, Can, et al.
Published: (2024)

SoK: Microservice Architectures from a Dependability Perspective
by: Kažemaks, Dāvis, et al.
Published: (2025)

High-level Stream Processing: A Complementary Analysis of Fault Recovery
by: Vogel, Adriano, et al.
Published: (2024)

Integrating Performance Tools in Model Reasoning for GPU Kernel Optimization
by: Nichols, Daniel, et al.
Published: (2025)

Streaming REST APIs for Large Financial Transaction Exports from Relational Databases
by: Kandiraju, Abhiram
Published: (2026)

A Unifying Framework to Enable Artificial Intelligence in High Performance Computing Workflows
by: Domke, Jens, et al.
Published: (2025)

$μ$OpTime: Statically Reducing the Execution Time of Microbenchmark Suites Using Stability Metrics
by: Japke, Nils, et al.
Published: (2025)

AdaptiFlow: An Extensible Framework for Event-Driven Autonomy in Cloud Microservices
by: Ndadji, Brice Arléon Zemtsop, et al.
Published: (2025)

Umbilical Choir: Automated Live Testing for Edge-To-Cloud FaaS Applications
by: Malekabbasi, Mohammadreza, et al.
Published: (2025)

Container-level Energy Observability in Kubernetes Clusters
by: Pijnacker, Bjorn, et al.
Published: (2025)

FlowUnits: Extending Dataflow for the Edge-to-Cloud Computing Continuum
by: Chini, Fabio, et al.
Published: (2025)

An Analysis of HPC and Edge Architectures in the Cloud
by: Santillan, Steven, et al.
Published: (2025)

CSnake: Detecting Self-Sustaining Cascading Failure via Causal Stitching of Fault Propagations
by: Qian, Shangshu, et al.
Published: (2025)

LLM4FaaS: No-Code Application Development using LLMs and FaaS
by: Wang, Minghe, et al.
Published: (2025)

Investigating Matrix Repartitioning to Address the Over- and Undersubscription Challenge for a GPU-based CFD Solver
by: Olenik, Gregor, et al.
Published: (2025)

L4: Diagnosing Large-scale LLM Training Failures via Automated Log Analysis
by: Jiang, Zhihan, et al.
Published: (2025)

A Large-Scale Exploratory Study on the Proxy Pattern in Ethereum
by: Ebrahimi, Amir M., et al.
Published: (2025)

FMI Meets SystemC: A Framework for Cross-Tool Virtual Prototyping
by: Bosbach, Nils, et al.
Published: (2025)

Addressing Reproducibility Challenges in HPC with Continuous Integration
by: Hayot-Sasson, Valérie, et al.
Published: (2025)

Investigating the Impact of Isolation on Synchronized Benchmarks
by: Japke, Nils, et al.
Published: (2025)

An SLO Driven and Cost-Aware Autoscaling Framework for Kubernetes
by: Punniyamoorthy, Vinoth, et al.
Published: (2025)

Complexity at Scale: A Quantitative Analysis of an Alibaba Microservice Deployment
by: Winchester, Giles, et al.
Published: (2025)