Ethereum’s Smart Contracts Construction and Development using Model Driven Engineering Technologies: a Review

Hsain, Yassine Ait; Laaz, Naziha; Mbarki, Samir

doi:10.1016/j.procs.2021.03.097

Cited by 24 publications

(11 citation statements)

References 16 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Accompanied by the risks associated with data integrity errors in a blockchainbased distributed ledger which we wish to treat as a "single source of truth", minimizing the probability of smart contract faults is a major concern in the whole industry. Consequently, in addition to domain-specific languages, Model-Driven Engineering (MDE) techniques are steadily gaining ground in smart contract development [7]. In our context, this means that the dominant approach is a model -usually formulated in BPMN -to serve as a specification, and smart contract logic is generated automatically from the model.…”

Section: Blockchain-based Process Orchestrationmentioning

confidence: 99%

Blockchain-Based, Confidentiality-Preserving Orchestration of Collaborative Workflows

Toldi¹,

Kocsis²

2023

Preprint

View full text Add to dashboard Cite

Business process collaboration between independent parties can be challenging, especially if the participants do not have complete trust in each other. Tracking actions and enforcing the activity authorizations of participants via blockchain-hosted smart contracts is an emerging solution to this lack of trust, with most state-of-the-art approaches generating the orchestrating smart contract logic from BPMN models. However, as a significant drawback in comparison to centralized business process orchestration, smart contract state typically leaks potentially sensitive information about the state of the collaboration.We describe a novel approach where the process manager smart contract only stores cryptographic commitments to the state and checks zero-knowledge proofs on update proposals. We cover a representative subset of BPMN, support message passing commitments between participants and provide an opensource end-to-end implementation. Under our approach, no party external to the collaboration can gain trustable knowledge of the current state of a process instance (barring collusion with a participant), even if it has full access to the blockchain history.

show abstract

Section: Blockchain-based Process Orchestrationmentioning

confidence: 99%

Blockchain-Based, Confidentiality-Preserving Orchestration of Collaborative Workflows

Toldi¹,

Kocsis²

2023

Preprint

View full text Add to dashboard Cite

show abstract

“…The area of applying model-driven development techniques for smart contract code generation has been under active development during recent years [8], [27], [28]. Modeldriven approaches are applicable in smart contract development, as they provide a valuable abstraction [27], [29].…”

Section: Related Workmentioning

confidence: 99%

“…One of the key arguments for using MDD and code generation approaches in smart contract development is blockchain immutability and the need to verify smart contracts before deployment. Once deployed, the smart contract code cannot be updated [8], [30].…”

Section: Related Workmentioning

confidence: 99%

Solidity Code Generation From UML State Machines in Model-Driven Smart Contract Development

2022

View full text Add to dashboard Cite

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 implementation of smart contracts. This paper presents such an approach, which, in combination with Unified Modeling Language (UML) Class and State machine diagrams, allows the smart contract structure and behavior logic to be modeled in several abstraction layers. This paper delves into details on how the model-to-model transformations from the specified Blockchain Platform Independent Model (PIM) with specified state-like behavior can be used to produce a Solidity Platform Specific Model (PSM). Subsequently, we elaborate on how the Solidity PSM is used for Solidity smart contract code generation by employing model-to-text transformations. The paper also demonstrates the process of our proposed transformations and code generation using smart contract code examples from Solidity documentation. Based on the examples, a Blockchain PIM is specified and transformed to Solidity PSM, which is then used for Solidity smart contract code generation. The generated smart contract code is then compiled, deployed on the Ethereum blockchain JavaScript virtual machine, and compared to the original smart contract code in terms of Solidity code metrics, similarity scores, and execution costs. The evaluation results indicate that our approach could be successfully used to model and later generate smart contract code.INDEX TERMS Blockchain, model driven architecture, model-driven development, smart contracts, solidity, state machine, unified modeling language.

show abstract

“…The study by Ait Hsain et al [1] focuses on MDE for Ethereum smart contracts, however the review process is not elaborated. Sánchez-Gómez et al [29] review model-based testing and development approaches.…”

Section: Related Studiesmentioning

confidence: 99%

Blockchain Application Development Using Model-Driven Engineering and Low-Code Platforms: A Survey

Curty¹,

Härer²,

Fill³

2022

Preprint

View full text Add to dashboard Cite

The creation of blockchain-based software applications requires today considerable technical knowledge, particularly in software design and programming. This is regarded as a major barrier in adopting this technology in business and making it accessible to a wider audience. As a solution, no-code and low-code approaches have been proposed that require only little or no programming knowledge for creating full-fledged software applications. In this paper we review academic approaches from the discipline of model-driven engineering as well as industrial no-code and low-code development platforms for blockchains. We further present a case study for an integrated no-code blockchain environment for demonstrating the state-of-the-art in this area. Based on the gained insights we derive requirements for the future development of no-code and low-code approaches that are dedicated to the field of blockchains.

show abstract

Ethereum’s Smart Contracts Construction and Development using Model Driven Engineering Technologies: a Review

Cited by 24 publications

References 16 publications

Blockchain-Based, Confidentiality-Preserving Orchestration of Collaborative Workflows

Blockchain-Based, Confidentiality-Preserving Orchestration of Collaborative Workflows

Solidity Code Generation From UML State Machines in Model-Driven Smart Contract Development

Blockchain Application Development Using Model-Driven Engineering and Low-Code Platforms: A Survey

Contact Info

Product

Resources

About