Intelligent contract engineering method

A smart contract and consistency technology, applied in instruments, electrical digital data processing, computing, etc., can solve problems such as high cost, limited system behavior, and difficulty in finding errors

Active Publication Date: 2018-03-09
BEIHANG UNIV
View PDF4 Cites 13 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

Simulation and testing are carried out on the abstract model of the system and the actual system respectively. The general method is to give input at a certain point of the system and ...

Method used

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
View more

Image

Smart Image Click on the blue labels to locate them in the text.
Viewing Examples
Smart Image
  • Intelligent contract engineering method
  • Intelligent contract engineering method

Examples

Experimental program
Comparison scheme
Effect test

Embodiment Construction

[0055] In view of this, the present invention designs a smart contract operation model based on formal methods and carrying proofs, and uses formal methods to model, verify, test and automatically generate codes for smart contracts. The entire life cycle of the contract.

[0056] Apply formal methods to smart contract descriptions, including steps:

[0057] According to the demand put forward by the user, this demand is described in natural language. In order to model and code the smart contract, the demand proposed by the user must be described in an informal specification (natural language) through a formal description. into a formalized specification;

[0058] The complexity of contract behavior increases the difficulty of behavior description, so it is necessary to use a language or a technology to accurately describe the system behavior. Although natural language has strong expressive power and is easy to understand, it is not strict, imprecise, and has dual However, fo...

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
Login to view more

PUM

No PUM Login to view more

Abstract

The invention provides an intelligent contract forming method. The method is characterized by comprising the following steps of converting a non-formalized intelligent contract description document into a description document in a formalized specification; according to the description document in the formalized specification of an intelligent contract, creating dynamic models of the intelligent contract; achieving conversion among different dynamic models of the intelligent contract; verifying the correctness of the dynamic models of the intelligent contract; after the correctness verificationis successful, automatically generating intelligent contract codes according to the dynamic models of the intelligent contract; conducting consistency detection on the description document in the formalized specification of the intelligent contract and the generated intelligent contract codes.

Description

technical field [0001] The invention relates to the field of smart contract verification, in particular to a method for generating smart contracts. Background technique [0002] Smart contract refers to the embedding of contract terms into software and hardware, and promotes the execution of contracts through contracts and user interfaces. It is the key to our safe and digital relationship on the Internet. The core of a smart contract is an algorithmic contract, that is, the parties agree to determine the content of the contract, conclude the contract, and perform the contract based on a certain computer algorithm. [0003] Smart contracts have the following main characteristics: [0004] Feature 1: All asset items stored in the smart contract must be legal and valid, and the operating unit or individual must have legal ownership in law. [0005] Feature 2: The program of the smart contract must be a legally recognized program so that it has legal effect. That is, the con...

Claims

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
Login to view more

Application Information

Patent Timeline
no application Login to view more
IPC IPC(8): G06F8/20G06F11/36
CPCG06F8/22G06F11/3684
Inventor 胡凯白晓敏黄洁华陈志东
Owner BEIHANG UNIV
Who we serve
  • R&D Engineer
  • R&D Manager
  • IP Professional
Why Eureka
  • Industry Leading Data Capabilities
  • Powerful AI technology
  • Patent DNA Extraction
Social media
Try Eureka
PatSnap group products

Browse by: Latest US Patents, China's latest patents, Technical Efficacy Thesaurus, Application Domain, Technology Topic.

© 2024 PatSnap. All rights reserved.Legal|Privacy policy|Modern Slavery Act Transparency Statement|Sitemap