scholarly journals Blockchain Smart Contract Meta-modeling

2021 ◽  
Author(s):  
Nicolás Sánchez-Gómez ◽  
Jesus Torres-Valderrama ◽  
Manuel MEJÍAS RISOTO ◽  
Alejandra GARRIDO
Keyword(s):  
Smart Contracts ◽  
Meta Model ◽  
Business Environments ◽  
Blockchain Technology ◽  
Collaborative Processes ◽  
Requirements Specifications ◽  
Smart Contract ◽  
Meta Modeling ◽  
Software Engineers ◽  
Future Work

One of the key benefits of blockchain technology is its ability to keep a permanent, unalterable record of transactions. In business environments, where companies interact with each other without a centralized authority to ensure trust between them, this has led to blockchain platforms and smart contracts being proposed as a means of implementing trustworthy collaborative processes. Software engineers must deal with them to ensure the quality of smart contracts in all phases of the smart contract lifecycle, from requirements specifications to design and deployment. This broad scope and criticality of smart contracts in business environments means that they have to be expressed in a language that is intuitive, easy-to-use, independent of the blockchain platform employed, and oriented towards software quality assurance. In this paper we present a key component: a first outline of a UML-based smart contract meta-model that would allow us to achieve these objectives. This meta-model will be enriched in future work to represent blockchain environments and automated testing.

A Study of Use Cases for Smart Contracts Using Blockchain Technology

2021 ◽  
pp. 1823-1844
Author(s):  
S R Mani Sekhar ◽  
Siddesh G M ◽  
Swapnil Kalra ◽  
Shaswat Anand
Keyword(s):  
Natural Disaster ◽  
Vital Role ◽  
Use Cases ◽  
Use Case ◽  
Smart Contracts ◽  
Digital Identity ◽  
Blockchain Technology ◽  
Smart Contract ◽  
Healthcare Finance ◽  
Natural Disaster Management

Blockchain technology is an emerging and rapidly growing technology in the current world scenario. It is a collection of records connected through cryptography. They play a vital role in smart contracts. Smart contracts are present in blockchains which are self-controlled and trustable. It can be integrated across various domains like healthcare, finance, self-sovereign identity, governance, logistics management and home care, etc. The purpose of this article is to analyze the various use cases of smart contracts in different domains and come up with a model which may be used in the future. Subsequently, a detailed description of a smart contract and blockchain is provided. Next, different case-studies related to five different domains is discussed with the help of use case diagrams. Finally, a solution for natural disaster management has been proposed by integrating smart contract, digital identity, policies and blockchain technologies, which can be used effectively for providing relief to victims during times of natural disaster.

scholarly journals Smart Contract: The Concept, Legal Nature, Features of Conclusion and Execution

Legal Concept ◽  
2019 ◽  
pp. 54-60
Author(s):  
Nizami Safarli
Keyword(s):  
Russian Federation ◽  
Legal Regulation ◽  
Smart Contracts ◽  
Advantages And Disadvantages ◽  
Blockchain Technology ◽  
Smart Contract ◽  
Legal Nature ◽  
Domestic Legislation ◽  
The Russian Federation ◽  
Statutory Regulation

Introduction: the paper is devoted to a new phenomenon in business activity in the conditions of IT development that contribute to the creation of secure contractual relations on the Internet on the basis of transactions executed through smart contracts. The author notes that the need for amendments that could fill the loopholes in the current legislation is obvious. And, first of all, it concerns Blockchain technology – the algorithm that mediates the safe development, conclusion and execution of smart contracts. Blockchain technology is considered in the paper as one of the safest means for concluding and executing smart contracts. The author argues that the study of the concept, legal nature and essence of smart contracts is relevant in the light of spreading their share in the total array of transactions in the world economy in conjunction with the changing domestic legislation governing the relevant sphere, as well as the international integration processes affecting the intensification of foreign economic activity of the Russian Federation. The smart contract concepts formulated by the Russian legislator in the process of upgrading the array of statutory regulation under conditions of economy digitalization are studied and compared. The features of conclusion and protection of the smart contract in the civil legislation of the Russian Federation are analyzed. In order to fully articulate the concept of the smart contract, reflecting its essence, functional purpose and legal nature, it is proposed to create a special law that would focus on the conclusion and implementation of “the smart contract” and the specification of the general norms of the civil code. At the same time, the norms of other special laws would supplement and correct the provisions fixed by this act depending on the sphere of managing and the legal regulation branch. The concept of the smart contract is formulated; its value for economic and contractual activity, and also the advantages and disadvantages of its application are established. The possible classifications of smart contracts are given.

scholarly journals Introduction to Blockchain and Cryptocurrenncy

2020 ◽  
Author(s):  
Vidhi Pitroda ◽  
Vraj Shah ◽  
Jinan Fiaidhi
Keyword(s):  
Peer To Peer ◽  
Research Topic ◽  
Smart Contracts ◽  
Blockchain Technology ◽  
Smart Contract ◽  
High Security

In recent years blockchain technology has become mainstream research topic because of its decentralized, peer to peer transaction and anonymity properties. There are several applications of blockchain which are secure and easy as compare to the current techniques. One of the applications is a smart contract. Smart contracts are lines of code which are stored on a blockchain and automatically executed when the conditions defined by the it (developer) are met. This smart contract with the addition of blockchain technology can do task fast and with high security. In this paper we have developed a smart contract for a generalized notary application on solidity, Ethereum and the application is tested using the truffle suite. Furthermore, applications and their methodology for notary applications are also mentioned.

scholarly journals Survey of Smart Contract Framework and Its Application

Information ◽  
2021 ◽  
Vol 12 (7) ◽  
pp. 257
Author(s):  
Edi Surya Negara ◽  
Achmad Nizar Hidayanto ◽  
Ria Andryani ◽  
Rezki Syaputra
Keyword(s):  
Literature Review ◽  
Theoretical Basis ◽  
Smart Contracts ◽  
Blockchain Technology ◽  
Smart Contract ◽  
Exploratory Approach ◽  
Implementation Studies ◽  
Technological Developments

This article is a literature review on smart contract applications in various domains. The aim is to investigate technological developments and implementation of smart contracts in various domains. For this purpose, the theoretical basis of various papers that have been published in recent years is used as a source of theoretical and implementation studies. Smart contracts are the latest technology that is developing in line with the development of blockchain technology. The literature review that we have carried out explains that smart contracts work automatically, control, or document legally relevant events and actions in accordance with the agreements set forth in the contract agreement. This technology is one of the newest technologies that is expected to provide solutions for trust, security, and transparency in various domains. This literature review was conducted using an exploratory approach. This literature review focuses on reviewing frameworks, methods, and simulations of smart contract implementations in various domains.

scholarly journals A Survey of Smart Contract Formal Specification and Verification

2021 ◽  
Vol 54 (7) ◽  
pp. 1-38
Author(s):  
Palina Tolmach ◽  
Yi Li ◽  
Shang-Wei Lin ◽  
Yang Liu ◽  
Zengxiang Li
Keyword(s):  
Formal Specification ◽  
Verification And Validation ◽  
Smart Contracts ◽  
Formal Models ◽  
Supply Chain Finance ◽  
Smart Contract ◽  
Formal Specification And Verification ◽  
The Common ◽  
Future Work ◽  
Industry Sectors

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 activities across industry sectors including supply chain, finance, legal, and medical services, there is a strong demand for verification and validation techniques. Yet, the vast majority of smart contracts lack any kind of formal specification, which is essential for establishing their correctness. In this survey, we investigate formal models and specifications of smart contracts presented in the literature and present a systematic overview to understand the common trends. We also discuss the current approaches used in verifying such property specifications and identify gaps with the hope to recognize promising directions for future work.

scholarly journals Efficient Concurrent Execution of Smart Contracts in Blockchain Sharding

2021 ◽  
Vol 2021 ◽  
pp. 1-15
Author(s):  
Yan Wang ◽  
Jixin Li ◽  
Wansheng Liu ◽  
Aiping Tan
Keyword(s):  
Performance Optimization ◽  
Concurrency Control ◽  
Critical Issue ◽  
Smart Contracts ◽  
Throughput Performance ◽  
Concurrent Execution ◽  
Blockchain Technology ◽  
Smart Contract ◽  
Execution Strategy ◽  
Feature Information

Throughput performance is a critical issue in blockchain technology, especially in blockchain sharding systems. Although sharding proposals can improve transaction throughput by parallel processing, the essence of each shard is still a small blockchain. Using serial execution of smart contract transactions, performance has not significantly improved, and there is still room for improvement. A smart contract concurrent execution strategy based on concurrency degree optimization is proposed for performance optimization within a single shard. This strategy is applied to each shard. First, it characterizes the conflicting contract feature information by executing a smart contract, analyzing the factors that affect the concurrent execution of the smart contracts, and clustering the contract transaction. Second, in shards with high transaction frequency, considering the execution time, conflict rate, and available resources of contract transactions, finding a serializable schedule of contract transactions by redundant computation and a Variable Shadow Speculative Concurrency Control (SCC-VS) algorithm for smart contract scheduling is proposed. Finally, experimental results show that the strategy increases the concurrency of smart contract execution by 39% on average and the transaction throughput of the whole system by 21% on average.

scholarly journals Smart Contracts to Support the Advancement of Blockchain Technology in the Security Integrity

2020 ◽  
Vol 2 (11) ◽  
pp. 31-39
Author(s):  
Sulistiawati Wati
Keyword(s):  
Data Security ◽  
Financial Services ◽  
Energy Resources ◽  
Smart Contracts ◽  
Secure Storage ◽  
Blockchain Technology ◽  
Storage Media ◽  
Smart Contract ◽  
Problem Solvers ◽  
Effective Source

The development of technology today is used as a benchmark in the advancement of the industrial world where the development of technology has influenced various aspects in the life of today's society. Smart contracts as one form of blockchain technology that resembles a conventional contract can be used to bind agreements between one party and another. One difference between a smart contract and a conventional contract is the smart contract that is stored in the blockchain. With the presence of smart contracts on the blockchain has become one of the most sought-after technologies, because the number of users is high enough for each transaction within the company. In this case various features of smart contracts applications in various worlds, ranging from financial services, life sciences, energy resources and media voting. Smart contracts still pose a lot of challenges that overwhelm the interaction of some Parties, such as users, developers, and organizations built on smart contracts. Smart contracts are essentially a very effective source of problem solvers, where smart contracts on the blockchain make it easy to maintain data security, and save costs and time. In addition, in the absence of third parties strongly minimizes the fraud that is often done by irresponsible parties, this prevents conflicts between parties. Prone to cases of loss of a document is generated because there is no secure storage media. The advent of smart contracts on the blockchain is expected to be a solution to tackle most of the world's commercial and bureaucratic systems.  

scholarly journals Survey: (Blockchain-Based Solution for COVID-19 and Smart Contract Healthcare Certification)

2021 ◽  
pp. 1-8
Author(s):  
Noor Sabah ◽  
Ali Sagheer ◽  
Omar Dawood
Keyword(s):  
Health Care ◽  
Health Care System ◽  
Human Life ◽  
Vaccination Campaign ◽  
Data Provenance ◽  
Smart Contracts ◽  
Accurate Identification ◽  
Blockchain Technology ◽  
Future Work ◽  
Care System

The year 2020 has shown the quick spread and devastating effect of Coronavirus (COVID-19) on the world economy, health, and human life. Combating the COVID-19 pandemic is crucial. Blockchain technology can assist in the fight against the COVID-19 pandemic by assuring safe and reliable medical supplies, accurate identification of virus hot spots, and establishing data provenance to verify genuine personal protective equipment that is decentralized, reliable, traceable, and transparent. A major proportion of current healthcare systems are centralized and are short on privacy and information necessary for the detection of fraud connected to the certification by the COVID-19 vaccine. The quick vaccination rollout and the deployment of a global vaccination campaign are crucial and dependent on the availability of transparent and operational distribution chains, which may be audited by all the necessary parties. Blockchain technology might also be used to assure transparent monitoring, storage, and distribution of COVID19 vaccinations. Smart contracts are built for monitoring and tracking the proper circumstances of vaccine distribution in comparison to safe handling of vaccine producers, informing all network peers. This study aims to investigate the effectiveness of block chain and smart contracts in the health care system. The article presents a model of the decentralized infrastructure of the health care system. The blockchain and intelligent contract technology provided has shown promising results. The proposed solution is economically feasible and ensures data integrity, security, transparency, and traceability. Future work aims to expand the functionalities of smart contracts and the blockchain technology.

scholarly journals Blockchain technology as a regulatory technology: From code is law to law is code

First Monday ◽  
2016 ◽  
Author(s):  
Primavera De Filippi ◽  
Samer Hassan
Keyword(s):  
Digital Technology ◽  
Computer Code ◽  
The Internet ◽  
Smart Contracts ◽  
Legal Rules ◽  
Legal Code ◽  
Traditional Notion ◽  
Blockchain Technology ◽  
Smart Contract ◽  
Internet Users

“Code is law” refers to the idea that, with the advent of digital technology, code has progressively established itself as the predominant way to regulate the behavior of Internet users. Yet, while computer code can enforce rules more efficiently than legal code, it also comes with a series of limitations, mostly because it is difficult to transpose the ambiguity and flexibility of legal rules into a formalized language which can be interpreted by a machine. With the advent of blockchain technology and associated smart contracts, code is assuming an even stronger role in regulating people’s interactions over the Internet, as many contractual transactions get transposed into smart contract code. In this paper, we describe the shift from the traditional notion of “code is law” (i.e., code having the effect of law) to the new conception of “law is code” (i.e., law being defined as code).

scholarly journals Blockchain technology for accounting and distribution of contributions from a charitable foundation

2021 ◽  
Vol 5 (2(61)) ◽  
pp. 9-14
Author(s):  
Oksana Herasymenko ◽  
Valeriia Bachynska
Keyword(s):  
Web Application ◽  
Web Applications ◽  
Smart Contracts ◽  
Joint Work ◽  
Non Profit ◽  
Software Application ◽  
Blockchain Technology ◽  
Smart Contract ◽  
Seeking Help ◽  
The Cost

The object of research is software for financial accounting and distribution of funds in a non-profit charitable foundation using smart contracts of the Ethereum platform. The work is aimed at designing and implementing a software application for a charitable foundation, which allows to exclude the misuse of funds of a non-profit charitable foundation. The paper proposes an implementation of the Ethereum smart contract for the software of a charitable foundation. In the app, users can apply for financial aid or make a charitable donation. The request for financial support is confirmed by administrators to avoid abuse by those seeking help. Anyone who has a crypto wallet can become a sponsor by transferring funds from its account to a selected request. The sponsor remains incognito when making a charitable contribution. After collecting the entire declared amount, the funds are automatically transferred to the crypto wallet of the request’s owner. A smart contract and a corresponding decentralized web application for interacting with it were experimentally deployed, and their joint work was tested. To implement the smart contract, the Solidity programming language was chosen; developed smart contract converted to bytecode using remix. The resulting bytecode is ready to be deployed on the Ethereum platform. Decentralized web application for interacting with the contract is implemented using Web3.js, Vue.js. A rough estimate of the cost of deploying a project on the Ethereum platform has been made. The deployment and operation of smart contracts and web applications comes with a certain overhead, which is most dependent on the cost of ether. However, this is a justified price to pay for the transparency of transactions and the shadowing of the turnover of funds of the charitable foundation. The results of the research can be used as a basis for further transformation into full-fledged software with the ability to submit all reporting documents to the relevant government agencies and sponsors.

Sign in / Sign up

Export Citation Format

Share Document