Framework for architecting smart contracts using microservices

张富利, 侯培宇, 李杉杉, 荣国平, 李质颖, 丁梦洁 - Journal of Software, 2021 - jos.org.cn
区块链具有分布式, 不可篡改, 去中心化, 历史可追溯等特点, 但难以落地. 智能合约的引入有效
解决了这一难题. 然而智能合约的开发和运维存在部署效率低, 监控工具不成熟等问题. 受到 …

Formal definition for classical smart contracts and reference implementation

王璞巍, 杨航天, 孟佶, 陈晋川, 杜小勇 - Journal of Software, 2019 - jos.org.cn
智能合约是区块链系统的核心组件, 在现实中广泛应用. 然而, 目前没有关于智能合约的统一定义
, 在不同的区块链平台上, 智能合约的实现也相差甚远. 这样将影响公众对智能合约的认知 …

Smart contract microservitization

S Wang, X Zhang, W Yu, K Hu… - 2020 IEEE 44th Annual …, 2020 - ieeexplore.ieee.org
A smart contract is a computable protocol that automatically enforces contract terms in a
computer, transforming real-world contract terms into digital promises of the virtual world …

SoK: Research status and challenges of blockchain smart contracts

F Wang, Y Lu, Q Zhang, Y Liu, L Liu… - Proceedings of the 5th …, 2023 - dl.acm.org
The smart contract code facilitates, verifies, and enforces the negotiation or performance of
an agreement or transaction. As a decentralized, difficult-to-be-tampered, and distributed …

[PDF][PDF] 基于区块链的智能合约技术与应用综述

贺海武, 延安, 陈泽华 - 计算机研究与发展, 2018 - dcbcl.haut.edu.cn
摘要随着以比特币为代表的区块链技术的蓬勃发展, 区块链技术已经开始逐步超越可编程货币
时代而进入智能合约时代. 智能合约(smartcontract) 是一种由事件驱动的 …

[PDF][PDF] 面向合同的智能合约的形式化定义及参考实现

王璞巍, 杨航天, 孟佶, 陈晋川, 杜小勇 - 软件学报, 2019 - jos.org.cn
智能合约是区块链系统的核心组件, 在现实中广泛应用. 然而, 目前没有关于智能合约的统一定义
, 在不同的区块链平台上, 智能合约的实现也相差甚远. 这样将影响公众对智能合约的认知 …

Smart contract broker: improving smart contract reusability in a blockchain environment

J Park, S Jeong, K Yeom - Sensors, 2023 - mdpi.com
In this paper, we propose a smart contract broker to improve the reusability of smart
contracts in a blockchain environment. The current blockchain platform lacks a standard …

Saas-microservices-based scalable smart contract architecture

E Bandara, X Liang, P Foytik, S Shetty… - Security in Computing …, 2021 - Springer
Existing blockchain smart contract platforms are designed as monolithic architectures. Even
though there are multiple smart contracts with fully independent business logic, they run on …

Symboleo2SC: From legal contract specifications to smart contracts

A Rasti, D Amyot, A Parvizimosaed, M Roveri… - Proceedings of the 25th …, 2022 - dl.acm.org
Smart contracts (SCs) are software systems that monitor and control the execution of legal
contracts to ensure compliance with the contracts' terms and conditions. They often exploit …

AtomCI: A New System for the Atomic Cross-Chain Smart Contract Invocation Spanning Heterogeneous Blockchains

Y Chen, A Asheralieva, X Wei - IEEE Transactions on Network …, 2024 - ieeexplore.ieee.org
Cross-chain dApps (decentralized applications) are enabled by smart contracts
interoperability on heterogeneous blockchains. Previous work on cross-chain smart contract …