A methodology and proof-of-concept tool repairs failed BPMN-derived smart contracts by amending the innermost or parent nested trade transaction and redeploying the replaced contract through an API indirection.
Each node in the DE- HSM model represents either a DE-HSM sub-model or a computation expressed using concurrent FSMs, with some FSM states indicating execution of BPMN tasks
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.SE 1years
2025 1verdicts
CONDITIONAL 1representative citing papers
citing papers explorer
-
Automated Mechanism to Support Trade Transactions in Smart Contracts with Upgrade and Repair
A methodology and proof-of-concept tool repairs failed BPMN-derived smart contracts by amending the innermost or parent nested trade transaction and redeploying the replaced contract through an API indirection.