Auto-Generation of Smart Contracts from Domain-Specific Ontologies and Semantic Rules

Choudhury, Olivia; Rudolph, Nolan; Sylla, Issa; Fairoza, Noor; Das, Amar K.

doi:10.1109/cybermatics_2018.2018.00183

Cited by 53 publications

(17 citation statements)

References 7 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…There are studies that develop various applications related to smart contracts. [56][57][58][59][60][61][62][63][64] In their work combining smart contracts and quality assessment models, Yu et al presented an intelligent quality monitoring system for fruit juice production. 65 In their studies, Wang et al 66 proposed a new method of creating decentralized information graphics through crowdsourcing and implemented Blockchain-powered smart contracts to guarantee the business logic, transparency, integrity, and auditability of crowdsourcing.…”

Section: Smart Contractsmentioning

confidence: 99%

A survey: Making “Smart Contracts” really smart

Timuçin

Biroğul

2021

Trans Emerging Tel Tech

View full text Add to dashboard Cite

Blockchain technology is a distributed data recording system developed to monitor and secure all encrypted transactions with the shortest identification. Blockchain technology made a name for itself in 2008. However, the real development of this technology has been realized with use of smart contracts in Blockchain technology. In the cryptocurrency world, a smart contract can be defined as an application or program running on the Blockchain. They operate as digital deals that have to comply with certain rules. These rules are predetermined by computer codes and then copied and implemented by the servers in the entire network. The use of the word "smart" as a term in smart contracts comes from the fact that it is not made manually and is realized digitally. In this study, it is aimed to contribute to future studies in the transformation of smart contracts into real "smart" contract structures by applying artificial intelligence algorithms.

show abstract

Section: Smart Contractsmentioning

confidence: 99%

A survey: Making “Smart Contracts” really smart

Timuçin

Biroğul

2021

Trans Emerging Tel Tech

View full text Add to dashboard Cite

show abstract

“…Choudhury et al [25] propose a method to generate smart contracts in the Go language for Hyperledger using the OWL language, using the Semantic Web Rule Language to expand the expressiveness of OWL and abstract syntax trees to generate the code of the smart contract given a template. However, this article focuses only on the Go language and has no general ontology that can create any kind of contract; instead, for each domain, a specific ontology model has to be designed and created in order to generate the contract.…”

Section: Related Workmentioning

confidence: 99%

Toward the Ontological Modeling of Smart Contracts: A Solidity Use Case

Cano-Benito¹,

Cimmino

García‐Castro

2021

IEEE Access

View full text Add to dashboard Cite

Blockchain has become a pervasive technology in a wide number of sectors like industry, research, and academy. With the emergence of blockchain, new solutions with this technology to existing problems were devised, leading to the introduction of smart contracts. Smart contracts are similar to traditional contracts with the benefits provided by blockchain, such as immutability, privacy, and decentralisation. These contracts are usually defined based on a specific domain, and this domain knowledge can be represented through an ontology. Researches have explored the benefits of using domain ontologies with smart contracts, such as code generation, discovering other contracts in the network, or interaction with other contracts. Notwithstanding, the representation of smart contract languages themselves has not been studied.In this paper, we present an ontology for a well-known smart contract language, Solidity, defining all entities needed to cover the whole language and aligning it to other standardised ontologies such as EthOn, in a way to improve the knowledge of the ontology developed. Furthermore, the ontology has also been validated with already deployed contracts in the Ethereum blockchain. Thus, Solidity will be able to benefit from the advantages provided by ontologies, such as interoperability and the use of semantic web technologies.

show abstract

“…There are research efforts devoted to generating Ethereumbased smart contracts using MDE [6], even by generating code from natural language models [7]. FSolidM is such a solution that provides formal definitions to address vulnerabilities like reentrancy and transaction ordering, as well as to support design patterns like time constraints and authorizations [8].…”

Section: Related Workmentioning

confidence: 99%