A survey of smart contract formal specification and verification

P Tolmach, Y Li, SW Lin, Y Liu, Z Li - ACM Computing Surveys (CSUR), 2021 - dl.acm.org
A smart contract is a computer program that allows users to automate their actions on the
blockchain platform. Given the significance of smart contracts in supporting important …

Legally enforceable smart-contract languages: A systematic literature review

V Dwivedi, V Pattanaik, V Deval, A Dixit… - ACM Computing …, 2021 - dl.acm.org
Smart contracts are a key component of today's blockchains. They are critical in controlling
decentralized autonomous organizations (DAO). However, smart contracts are not yet …

Blockchain support for collaborative business processes

C Di Ciccio, A Cecconi, M Dumas… - Informatik …, 2019 - Springer
Blockchain technology provides basic building blocks to support the execution of
collaborative business processes involving mutually untrusted parties in a decentralized …

A formal specification smart-contract language for legally binding decentralized autonomous organizations

V Dwivedi, A Norta, A Wulf, B Leiding, S Saxena… - IEEE …, 2021 - ieeexplore.ieee.org
Blockchain-and smart-contract technology enhance the effectiveness and automation of
business processes. The rising interest in the development of decentralized autonomous …

Blockchain oracles: A framework for blockchain-based applications

K Mammadzada, M Iqbal, F Milani… - … : Blockchain and Robotic …, 2020 - Springer
Oracles support the access, validation, and transmission of data from external sources to
blockchain systems. They are important components of blockchain-based architectures …

Using blockchain to improve collaborative business process management: Systematic literature review

JA Garcia-Garcia, N Sánchez-Gómez, D Lizcano… - IEEE …, 2020 - ieeexplore.ieee.org
BlockChain Technology (BCT) has appeared with strength and promises an authentic
revolution on business, management, and organizational strategies related to utilization of …

Design of blockchain-based applications using model-driven engineering and low-code/no-code platforms: a structured literature review

S Curty, F Härer, HG Fill - Software and Systems Modeling, 2023 - Springer
The creation of blockchain-based software applications requires today considerable
technical knowledge, particularly in software design and programming. This is regarded as a …

[HTML][HTML] A flexible approach to multi-party business process execution on blockchain

F Corradini, A Marcelletti, A Morichetta, A Polini… - Future Generation …, 2023 - Elsevier
In modern business scenarios, more and more organisations have to deal with the critical
requirements of trustworthiness and flexibility, when collaborating in multi-party business …

Applications of blockchain in business processes: A comprehensive review

W Viriyasitavat, L Da Xu, D Niyato, Z Bi… - Ieee …, 2022 - ieeexplore.ieee.org
Blockchain (BC), as an emerging technology, is revolutionizing Business Process
Management (BPM) in multiple ways. The main adoption is to serve as a trusted …

Solidity code generation from UML state machines in model-driven smart contract development

M Jurgelaitis, R Butkienė - IEEE Access, 2022 - ieeexplore.ieee.org
For the development of blockchain smart contracts, a structured approach based on the
principles of the Model Driven Architecture can be beneficial and facilitate the …