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 …

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 …

Blockchain analytics and artificial intelligence

DN Dillenberger, P Novotny, Q Zhang… - IBM Journal of …, 2019 - ieeexplore.ieee.org
Blockchain records track information about financial payments, movements of products
through supply chains, identity verification information, and many other assets. Analytics on …

Obsidian: Typestate and assets for safer blockchain programming

M Coblenz, R Oei, T Etzel, P Koronkevich… - ACM Transactions on …, 2020 - dl.acm.org
Blockchain platforms are coming into use for processing critical transactions among
participants who have not established mutual trust. Many blockchains are programmable …

Permissioned blockchain technologies for academic publishing

P Novotny, Q Zhang, R Hull, S Baset… - … Services & Use, 2018 - content.iospress.com
Academic publishing is continuously evolving with the gradual adoption of new
technologies. Blockchain is a new technology that promises to change how individuals and …

Automated generation of smart contract code from legal contract specifications with Symboleo2SC

A Rasti, AA Anda, S Alfuhaid, A Parvizimosaed… - Software and Systems …, 2024 - Springer
Smart contracts (SCs) are software systems that monitor and partially control the execution
of legal contracts to ensure compliance with the contracts' terms and conditions, which …

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 …

Flexible integration of blockchain with business process automation: A federated architecture

M Adams, S Suriadi, A Kumar… - … : CAiSE Forum 2020 …, 2020 - Springer
Blockchain technology enables various business transactions to be performed in an
immutable and transparent manner. Within the business process management community …

Transaction Conflict Control in Hyperledger Fabric: a Taxonomy, Gaps, and Design for Conflict Prevention

M Debreczeni, A Klenik, I Kocsis - IEEE Access, 2024 - ieeexplore.ieee.org
The execute-order-validate approach to blockchain consensus, most notably implemented
by Hyperledger Fabric, facilitates highly scalable execution of smart contract–in Fabric …

Enhancing business processes with trustworthiness using blockchain: a goal-oriented approach

H Johng, D Kim, G Park, JE Hong, T Hill… - Proceedings of the 35th …, 2020 - dl.acm.org
Blockchain technologies are intended to help enhance the trustworthiness of information, by
improving transparency, traceability, and immutability of business logic and information …