iContractML 2.0: A domain-specific language for modeling and deploying smart contracts onto multiple blockchain platforms

Hamdaqa, Mohammad; Met, Lucas Alberto Pineda; Qasse, Ilham

doi:10.1016/j.infsof.2021.106762

Cited by 42 publications

(37 citation statements)

References 9 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…In our previous work [3], we have created a unified reference model for smart contracts. Moreover, we proposed iContractML which is a graphical framework to develop smart contracts onto multiple blockchain platforms.…”

Section: Icontractbot Implementationmentioning

confidence: 99%

“…The user intent represents the smart contract use case that the end-user is interested to generate. The chat flow in the bot is directed based on the main components of the reference model of the smart contract [3]. Once the end-user finalizes the smart contract use case, iContractBot will validate the captured user intent.…”

Section: B Chatbot Frameworkmentioning

confidence: 99%

“…Model-Driven Engineering (MDE) is one of the popular approaches used to address smart contract development challenges [3], [9], [11]. MDE is a software development methodology where models are used as first class entities for software development.…”

Section: Introductionmentioning

confidence: 99%

“…In previous work [3], we proposed iContractML, a graphical modeling framework to develop and generate smart contracts code. While graphical interaction mechanisms are famous and widely accepted, some users may lack the technical abilities required to use them [6].…”

Section: Introductionmentioning

confidence: 99%

“…In this paper, we explore the use of chatbots to develop and model smart contracts instead of the graphical interface used in iContractML [3]. The main contribution of this paper is :…”

Section: Introductionmentioning

confidence: 99%

See 4 more Smart Citations

iContractBot: A Chatbot for Smart Contracts’ Specification and Code Generation

Qasse

Mishra

Hamdaqa

2021

2021 IEEE/ACM Third International Workshop on Bots in Software Engineering (BotSE)

Self Cite

View full text Add to dashboard Cite

Recently, Blockchain technology adoption has expanded to many application areas due to the evolution of smart contracts. However, developing smart contracts is non-trivial and challenging due to the lack of tools and expertise in this field. A promising solution to overcome this issue is to use Model-Driven Engineering (MDE), however, using models still involves a learning curve and might not be suitable for non-technical users. To tackle this challenge, chatbot or conversational interfaces can be used to assess the non-technical users to specify a smart contract in gradual and interactive manner.In this paper, we propose iContractBot, a chatbot for modeling and developing smart contracts. Moreover, we investigate how to integrate iContractBot with iContractML, a domainspecific modeling language for developing smart contracts, and instantiate intention models from the chatbot. The iContractBot framework provides a domain-specific language (DSL) based on the user intention and performs model-to-text transformation to generate the smart contract code. A smart contract use case is presented to demonstrate how iContractBot can be utilized for creating models and generating the deployment artifacts for smart contracts based on a simple conversation.

show abstract

Section: Icontractbot Implementationmentioning

confidence: 99%

Section: B Chatbot Frameworkmentioning

confidence: 99%

Section: Introductionmentioning

confidence: 99%

Section: Introductionmentioning

confidence: 99%

“…In this paper, we explore the use of chatbots to develop and model smart contracts instead of the graphical interface used in iContractML [3]. The main contribution of this paper is :…”

Section: Introductionmentioning

confidence: 99%

See 3 more Smart Citations

iContractBot: A Chatbot for Smart Contracts’ Specification and Code Generation

Qasse

Mishra

Hamdaqa

2021

2021 IEEE/ACM Third International Workshop on Bots in Software Engineering (BotSE)

Self Cite

View full text Add to dashboard Cite

show abstract

Functional suitability assessment of smart contracts: A survey and first proposal

Vacca,

Fredella,

Di Sorbo

et al. 2023

J Software Evolu Process

View full text Add to dashboard Cite

Blockchain is a cross‐cutting technology allowing interactions among untrusted entities in a distributed manner without the need for involving a trusted third party. Smart contracts (i.e., programs running on the blockchain) enabled organizations to envision and implement solutions to real‐world problems in less cost and time. Given the immutability of blockchain and the lack of best practices for properly designing and developing smart contracts, it is crucial to assure smart contract quality before deployment. With the help of an exploratory survey involving developers and researchers, this paper identifies the practices and tools used to develop, implement, and evaluate smart contracts. The survey received 55 valid responses. Such responses indicate that (i) inefficiencies may occur during the development cycle of a smart contract, especially regarding requirements specification, design, and testing phases, and (ii) the lack of a shared standard to evaluate the functional quality of implemented smart contracts. To start coping with these issues, the adoption of functional suitability assessment measures recommended by the ISO/IEC 25000 standard, widely used in software engineering, is proposed by adapting them to the context of smart contracts. Through some examples, the manuscript also illustrates how to measure the functional completeness and correctness of smart contracts. The proposed procedure to measure smart contract functional suitability brings advantages to both developers and users of decentralized finance or non‐fungible tokens platforms, data marketplaces, or shipping and real estate services, just to mention a few. In particular, it helps (i) better outline the responsibilities of smart contracts, (ii) uncover errors and deficiencies of smart contracts in the early stages, and (iii) ensure that the established requirements are met.

show abstract