WO2022108412A1 - 정형명세를 기반으로 하는 블록체인의 리카르디안 컨트랙트 생성 방법, 이를 수행하기 위한 기록 매체 및 장치 - Google Patents

정형명세를 기반으로 하는 블록체인의 리카르디안 컨트랙트 생성 방법, 이를 수행하기 위한 기록 매체 및 장치 Download PDF

Info

Publication number
WO2022108412A1
WO2022108412A1 PCT/KR2021/017207 KR2021017207W WO2022108412A1 WO 2022108412 A1 WO2022108412 A1 WO 2022108412A1 KR 2021017207 W KR2021017207 W KR 2021017207W WO 2022108412 A1 WO2022108412 A1 WO 2022108412A1
Authority
WO
WIPO (PCT)
Prior art keywords
contract
block
ricardian
programming language
formal specification
Prior art date
Application number
PCT/KR2021/017207
Other languages
English (en)
French (fr)
Inventor
인호
김현우
이승현
멜렉 므왐바음퍄나
Original Assignee
고려대학교 산학협력단
Priority date (The priority date is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the date listed.)
Filing date
Publication date
Priority claimed from KR1020210013438A external-priority patent/KR20220071084A/ko
Application filed by 고려대학교 산학협력단 filed Critical 고려대학교 산학협력단
Publication of WO2022108412A1 publication Critical patent/WO2022108412A1/ko

Links

Images

Classifications

    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F40/00—Handling natural language data
    • G06F40/10—Text processing
    • G06F40/12—Use of codes for handling textual entities
    • G06F40/14—Tree-structured documents
    • G06F40/143—Markup, e.g. Standard Generalized Markup Language [SGML] or Document Type Definition [DTD]
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F40/00—Handling natural language data
    • G06F40/10—Text processing
    • G06F40/12—Use of codes for handling textual entities
    • G06F40/151—Transformation
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F40/00—Handling natural language data
    • G06F40/10—Text processing
    • G06F40/166—Editing, e.g. inserting or deleting
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06Q—INFORMATION AND COMMUNICATION TECHNOLOGY [ICT] SPECIALLY ADAPTED FOR ADMINISTRATIVE, COMMERCIAL, FINANCIAL, MANAGERIAL OR SUPERVISORY PURPOSES; SYSTEMS OR METHODS SPECIALLY ADAPTED FOR ADMINISTRATIVE, COMMERCIAL, FINANCIAL, MANAGERIAL OR SUPERVISORY PURPOSES, NOT OTHERWISE PROVIDED FOR
    • G06Q10/00—Administration; Management
    • G06Q10/02—Reservations, e.g. for tickets, services or events
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06Q—INFORMATION AND COMMUNICATION TECHNOLOGY [ICT] SPECIALLY ADAPTED FOR ADMINISTRATIVE, COMMERCIAL, FINANCIAL, MANAGERIAL OR SUPERVISORY PURPOSES; SYSTEMS OR METHODS SPECIALLY ADAPTED FOR ADMINISTRATIVE, COMMERCIAL, FINANCIAL, MANAGERIAL OR SUPERVISORY PURPOSES, NOT OTHERWISE PROVIDED FOR
    • G06Q10/00—Administration; Management
    • G06Q10/10—Office automation; Time management

Definitions

  • the present invention relates to a method for generating a Ricardian contract in a block chain based on a formal specification, a recording medium and an apparatus for performing the same, and more specifically, to various transaction parties to perform reliable transactions based on the block chain. It relates to a technology that implements the creation and execution of smart contract code.
  • a Ricardian contract defines the conditions and contents of two or more contracting parties, and is a digital document that is easy to read by humans and machines at the same time.
  • the concept was proposed by Ian Grigg and is currently being used by EOS, OpenBazaar, and Magic Leap.
  • a smart contract uses a programming language to create contract terms and outcomes and automatically fulfill them.
  • a programming language cannot be understood by a user without programming knowledge, and it is also impossible to visualize and understand such contract conditions and performance contents to the user.
  • the Ricardian contract supplements these limitations to create contract conditions and performance details in the same format as a general document that is easy for not only programs but also humans to decipher, and then supplements the limitations of smart contracts and develops them to provide a legal basis. It is a technology developed with
  • Ricardian contract defines the contract terms and performance of the contracting parties, and uses cryptographically signed and approved digital documents, files in a format that can be easily deciphered by both humans and programs, such as XML or JSON.
  • the block chain and the smart contract that performs programming based on it perform a reliable contract based on the integrity of the block chain.
  • the parties since it can be automatically executed according to conditions, the parties have the advantage of being able to sign a more secure and reliable contract.
  • Patent Document 1 KR 10-214268 B1
  • Patent Document 2 KR 10-2020-0120015 A
  • an object of the present invention is to provide a method of generating a Ricardian contract of a block chain based on a formal specification.
  • Another object of the present invention is to provide a recording medium in which a computer program for performing a method of generating a Ricardian contract of a block chain based on the formal specification is recorded.
  • Another object of the present invention is to provide an apparatus for performing a Ricardian contract creation method of a blockchain based on the formal specification.
  • a method for generating a Ricardian contract of a block chain based on a formal specification includes the steps of: converting an input contract into a programming language; converting the contract content included in the contract from the programming language to a grammar block of the programming language in which the logical structure is defined by the shape and color of the block; arranging the transformed block in a block menu list; logical editing by dragging and dropping a block from the block menu list list to a workspace; and generating the drag-and-dropped block as a natural language and smart contract source.
  • the programming language may be one of an XML file, a JSON file, and a digital document.
  • the converting into a grammar block of the programming language may insert and convert the form of a contract based on XML and the names and contract contents of contractual parties into the smart contract code.
  • the Ricardian contract creation method of the block chain based on the formal specification comprises: providing a screen providing a block menu list, a work space, a control tool bar, natural language and source code to a user; may further include.
  • a method for generating a Ricardian contract in a blockchain based on the formal specification includes: performing a smart contract through the generated natural language and smart contract source; and storing the contract contents of the performed smart contract in the block chain; may further include.
  • a computer program for performing a Ricardian contract creation method of a block chain based on the formal specification is recorded.
  • a Ricardian contract generating apparatus of a block chain based on a formal specification according to an embodiment for realizing another object of the present invention, a data conversion unit for converting an input contract into a programming language; a block generating unit that formally specifies the contract contents included in the contract from the programming language and converts the logical structure into a grammar block of the programming language defined by the shape and color of the block; a block arrangement unit for arranging the converted block in the block menu list; a logic editing unit for dragging and dropping blocks from the block menu list list to a workspace; and a code generator for generating the dragged-and-dropped block as a natural language and smart contract source.
  • the programming language may be one of an XML file, a JSON file, and a digital document.
  • the block generating unit may insert and convert the form of a contract based on XML and the names and contents of contracts in the contract into the smart contract code.
  • the logic editing unit may provide a screen providing a block menu list, a work space, a control tool bar, a natural language and a source code to the user.
  • the apparatus for generating a Ricardian contract of a block chain based on the formal specification includes: a smart contract execution unit for performing a smart contract through the generated natural language and smart contract source; and a block chain storage unit for storing the contract contents of the performed smart contract in a block chain; may further include.
  • undamaged online contracts can be viewed at any time as long as there is a device connected to the Internet, making it easy for contracting parties and related parties to check the facts.
  • FIG. 1 is a conceptual diagram for explaining the Ricardian contract creation of a block chain based on a formal specification according to the present invention.
  • FIG. 2 is a block diagram of an apparatus for generating Ricardian contracts of a blockchain based on formal specifications according to an embodiment of the present invention.
  • FIG 3 is an exemplary screen of a block-based code generator provided according to the present invention.
  • FIG. 4 is a block diagram of an apparatus for generating Ricardian contracts of a blockchain based on formal specifications according to another embodiment of the present invention.
  • FIG. 5 is a flowchart of a Ricardian contract creation method of a blockchain based on a formal specification according to an embodiment of the present invention.
  • 1 is a conceptual diagram for explaining the Ricardian contract creation of a block chain based on a formal specification according to the present invention.
  • 2 is a block diagram of an apparatus for generating Ricardian contracts of a blockchain based on formal specifications according to an embodiment of the present invention.
  • the present invention provides a technology for automatically creating and editing Ricardian contracts based on the XML-converted contract.
  • the core of the Ricardian contract is that contracts that can be easily deciphered by humans and machines are executed through smart contracts and binding is guaranteed.
  • the present invention provides a Ricardian contract automatic creation technology that executes data in XML format defined by users as a smart contract. This is performed by the Ricardian contract creation device of the blockchain based on the formal specification according to the present invention.
  • the Ricardian contract creation device (10, hereinafter device) of the block chain based on the formal specification according to the present invention recognizes the contract content included in the input XML-based contract and defines the contract content by the shape and color of the block. It is an automatic contract generator.
  • the apparatus 10 includes a data conversion unit 110 , a block generation unit 130 , a block arrangement unit 150 , a logic editing unit 170 , and a code generation unit 190 . do.
  • software (application) for performing Ricardian contract generation of a block chain based on formal specifications may be installed and executed, and the data conversion unit 110, the block generation unit ( 130), the configuration of the block arrangement unit 150, the logic editing unit 170, and the code generation unit 190 is a Ricardian contract creation of a block chain based on the formal specification executed in the device 10 can be controlled by software to perform
  • the device 10 may be a separate terminal or may be a part of a module of the terminal.
  • the configuration of the data conversion unit 110 , the block generation unit 130 , the block arrangement unit 150 , the logic editing unit 170 , and the code generation unit 190 is formed as an integrated module or one It may consist of more than one module. However, on the contrary, each configuration may be formed of a separate module.
  • the device 10 may be movable or stationary.
  • the apparatus 10 may be in the form of a server or an engine, and may be a device, an application, a terminal, a user equipment (UE), a mobile station (MS), or a wireless device. (wireless device), may be called other terms such as a handheld device (handheld device).
  • the device 10 may execute or manufacture various software based on an operating system (OS), that is, the system.
  • OS operating system
  • the operating system is a system program for software to use the hardware of the device, and is a mobile computer operating system such as Android OS, iOS, Windows Mobile OS, Bada OS, Symbian OS, Blackberry OS and Windows series, Linux series, Unix series, It can include all computer operating systems such as MAC, AIX, and HP-UX.
  • the data conversion unit 110 converts the input contract into a programming language.
  • the data conversion unit 110 receives the contract nature and the related natural language contract that users actually use during the contract, and converts it into XML-based data.
  • the above format is only a format for defining any data and the like, and is not a programming language for implementing logic and operations on a computer.
  • a smart contract that will add binding to the document is additionally required.
  • the core of the Ricardian contract is that it uses the document to perform a smart contract that can be easily deciphered by humans using the smart contract and its binding force.
  • the block generating unit 130 formally specifies the contract contents included in the contract from the programming language, and converts it into a grammar block of the programming language in which the logical structure is defined by the shape and color of the block.
  • the block generating unit 130 When the block generating unit 130 receives the generated XML-based data (contract), it recognizes the form of the contract and the names and contents of the contract in the contract based on XML, and inserts and transforms such contents into the smart contract code. do.
  • This code conversion function is included in the Ricardian contract auto generator, and will be described in detail in the section below.
  • the block arrangement unit 150 arranges the converted block in the block menu list.
  • the logical editing unit 170 drags and drops a block from the block menu list list to a workspace.
  • an XML-type document for automatic generation of Ricardian contracts is performed with a block-based code generator.
  • the block-based code generator is a technique for writing the code you want to actually write through drag-and-drop-based programming logic editing (language writing). Since it is defined by shape and color, it supports code development more intuitively and conveniently.
  • FIG. 3 it is an example screen of the block-based code generator of the present invention, which provides a title 31, a control tool bar 32, a block menu list 33, a work space 34, natural language and source code.
  • the screens 35 and 36 may be provided to the user.
  • the block-based code generator of the present invention can automatically generate natural language and smart contract sources by dragging and dropping blocks existing in the block menu list to the workspace.
  • the code generator 190 generates a drag-and-dropped block as a natural language and smart contract source.
  • FIG. 4 is a block diagram of an apparatus for generating Ricardian contracts of a blockchain based on formal specifications according to another embodiment of the present invention.
  • the device 20 of FIG. 4 is the same as the device 10 of FIG. 2 except that it further includes a smart contract execution unit 210 and a block chain storage unit 230, the repeated configuration and description thereof will be omitted. do.
  • the smart contract execution unit 210 performs a smart contract through the generated natural language and smart contract source.
  • the block chain storage unit 230 can ensure integrity by storing the contract details of the performed smart contract in the block chain.
  • the code generator of the present invention can automatically generate natural language and smart contract sources by dragging and dropping blocks existing in the block menu list to the workspace. Developed blocks are written based on formal specifications, enabling clearer contracts to be executed.
  • the usability is improved so that the general public can use the Ricardian contract, and the stability problem caused by the overflow of the smart contract is solved at the same time.
  • users can create a Ricardian contract without awareness of the smart contract and execute it as a smart contract to perform the Ricardian contract with improved usability and stability.
  • FIG. 5 is a flowchart of a Ricardian contract creation method of a blockchain based on a formal specification according to an embodiment of the present invention.
  • the Ricardian contract creation method of the block chain based on the formal specification according to the present embodiment may proceed in substantially the same configuration as the device 10 of FIG. 2 . Accordingly, the same components as those of the device 10 of FIG. 2 are given the same reference numerals, and repeated descriptions are omitted.
  • the Ricardian contract creation method of the blockchain based on the formal specification can be executed by software (application) for performing the Ricardian contract creation of the blockchain based on the formal specification.
  • the Ricardian contract creation method of the block chain based on the formal specification according to the present invention provides a Ricardian contract automatic creation technology that executes the XML format data defined by the users as a smart contract.
  • the automatic creation of Ricardian contracts allows you to write the code you want to actually write through drag-and-drop-based programming logic editing (language writing).
  • the Ricardian contract creation method of the block chain based on the formal specification converts the input contract into a programming language (step S10).
  • the programming language may be an XML file, a JSON file, a digital document, or the like.
  • the contract content included in the contract is formally specified from the programming language, and the logical structure is converted into a grammar block of the programming language defined by the shape and color of the block (step S20).
  • the step of converting into the grammar block of the programming language inserts and transforms the form of the contract based on XML, the names of the contractors in the contract, and the contract contents into the smart contract code.
  • the transformed block is placed in the block menu list (step S30).
  • Block-based code generation allows you to write the code you want to actually write through drag-and-drop-based programming logic editing (language writing).
  • a screen providing a block menu list, a work space, a control tool bar, a natural language and a source code may be provided to the user.
  • a block is logically edited by dragging and dropping a block from the block menu list list to a workspace (step S40).
  • the present invention can automatically create natural language and smart contract sources by dragging and dropping blocks existing in the block menu list to the workspace.
  • Drag and drop blocks are created as natural language and smart contract sources (step S50).
  • the Ricardian contract creation method of the block chain based on the formal specification includes the steps of performing a smart contract through the generated natural language and smart contract source, and storing the contract contents of the performed smart contract in the block chain It may include further steps.
  • undamaged online contracts can be viewed at any time as long as there is a device connected to the Internet, making it easy for contracting parties and related parties to check the facts.
  • the Ricardian contract creation method of the block chain based on the formal specification may be implemented as an application or implemented in the form of program instructions that can be executed through various computer components and recorded in a computer-readable recording medium.
  • the computer-readable recording medium may include program instructions, data files, data structures, etc. alone or in combination.
  • the program instructions recorded on the computer readable recording medium are specially designed and configured for the present invention, and may be known and used by those skilled in the art of computer software.
  • Examples of the computer-readable recording medium include hard disks, magnetic media such as floppy disks and magnetic tapes, optical recording media such as CD-ROMs and DVDs, and magneto-optical media such as floppy disks. media), and hardware devices specially configured to store and execute program instructions, such as ROM, RAM, flash memory, and the like.
  • Examples of program instructions include not only machine language codes such as those generated by a compiler, but also high-level language codes that can be executed by a computer using an interpreter or the like.
  • the hardware device may be configured to operate as one or more software modules for carrying out the processing according to the present invention, and vice versa.
  • the present invention makes it possible to perform Ricardian contracts with improved usability and stability in electronic contract related markets such as real estate.
  • various contracts can be supported through system transformations and additions.

Landscapes

  • Engineering & Computer Science (AREA)
  • Theoretical Computer Science (AREA)
  • Business, Economics & Management (AREA)
  • General Physics & Mathematics (AREA)
  • Physics & Mathematics (AREA)
  • Strategic Management (AREA)
  • Audiology, Speech & Language Pathology (AREA)
  • General Engineering & Computer Science (AREA)
  • General Health & Medical Sciences (AREA)
  • Computational Linguistics (AREA)
  • Entrepreneurship & Innovation (AREA)
  • Human Resources & Organizations (AREA)
  • Artificial Intelligence (AREA)
  • Tourism & Hospitality (AREA)
  • Health & Medical Sciences (AREA)
  • General Business, Economics & Management (AREA)
  • Economics (AREA)
  • Quality & Reliability (AREA)
  • Operations Research (AREA)
  • Marketing (AREA)
  • Data Mining & Analysis (AREA)
  • Development Economics (AREA)
  • Management, Administration, Business Operations System, And Electronic Commerce (AREA)

Abstract

정형명세를 기반으로 하는 블록체인의 리카르디안 컨트랙트 생성 방법은, 입력된 계약서를 프로그래밍 언어로 변환하는 단계; 프로그래밍 언어로부터 계약서에 포함된 계약 내용을 정형명세하여 논리 구조가 블록의 형태 및 색상에 의해 정의되는 프로그래밍 언어의 문법 블록으로 변환하는 단계; 변환된 블록을 블록 메뉴 리스트에 배치하는 단계; 상기 블록 메뉴 리스트리스트에서 블록을 워크스페이스로 드래그앤드롭(Drag-and-Drop)하여 논리 편집하는 단계; 및 드래그앤드롭된 블록을 자연어 및 스마트 컨트랙트 소스로 생성하는 단계;를 포함한다. 이에 따라, 사용자들은 사용성 및 안정성이 향상된 리카르디안 컨트랙트 수행이 가능하다. [대표도] 도 1

Description

정형명세를 기반으로 하는 블록체인의 리카르디안 컨트랙트 생성 방법, 이를 수행하기 위한 기록 매체 및 장치
본 발명은 정형명세를 기반으로 하는 블록체인의 리카르디안 컨트랙트 생성 방법, 이를 수행하기 위한 기록 매체 및 장치에 관한 것으로서, 더욱 상세하게는 각종 거래 당사자들이 블록체인을 기반으로 신뢰성 있는 거래를 수행할 수 있도록 스마트 컨트랙트 코드의 생성 및 수행을 구현하는 기술에 관한 것이다.
리카르디안 컨트랙트(Ricardian Contract)는 둘 이상의 계약 당사자들의 행동 조건 및 내용을 정의하고, 인간과 동시에 기계가 읽기에 용이한 디지털 문서로, 블록체인 기반의 키쌍 알고리즘을 이용한 암호화 서명을 통해 구속력을 가진다. Ian Grigg에 의해 개념이 제시되었으며, 현재는 EOS, OpenBazaar, 매직리프에서 이를 이용하고 있다.
스마트 컨트랙트는 프로그래밍 언어를 이용하여 계약 조건 및 결과를 작성하고 이를 자동으로 이행하도록 만든다. 하지만, 이와 같은 프로그래밍 언어는 프로그래밍 지식이 없는 사용자라면 이해할 수 없으며, 이와 같은 계약 조건 및 이행 내용 등을 시각화하여 사용자에게 이해하는 것 또한 불가능한 일이다.
리카르디안 컨트랙트는 이와 같은 한계를 보완하여, 프로그램뿐만 아니라 인간 또한 해독이 용이한 일반 문서와 같은 형태로 계약 조건 및 이행 내용을 작성한 뒤, 이를 법적 근거로 마련하고자 스마트 컨트랙트의 한계점을 보완하고 발전된 형태로 개발한 기술이다.
이는 리카르디안 컨트랙트가 계약 당사자들의 계약 조건 및 이행 내용을 정의하고, 암호에 의해 서명 및 승인된 디지털 문서, XML이나 JSON과 같이 인간 및 프로그램 모두 해독이 용이한 형태의 파일을 이용하기 때문이다.
즉, 계약서의 규격을 가진 뒤 사용자 간의 암호화 된 서명을 담은 채 암호화 된 XML, JSON 파일을 이용하여 스마트 컨트랙트를 수행하므로, 일반인 입장에서의 사용성이 향상되고, 보다 법적 구속력을 가지는 것이다.
스마트 컨트랙트가 보다 영리한 형태의 계약을 진행하여 자동화된 효율성을 추구하였다면, 리카르디안 컨트랙트는 이에 사용자 입장의 사용성 또한 추구한 형태인 것이다.
이와 같이, 블록체인과 이를 기반으로 프로그래밍을 수행하는 스마트 컨트랙트는 블록체인의 무결성을 기반으로 신뢰성을 가지는 계약을 수행하도록 한다. 또한, 조건에 따라 자동 실행될 수 있으므로 당사자들은 보다 안전하고 확실한 계약이 가능하다는 장점이 있다.
그러나, 블록체인과 스마트 컨트랙트는 각종 컴퓨터 공학 지식 및 프로그래밍 언어 활용 능력을 요구하므로, 실세계에서 계약을 수행하는 일반인들이 이를 이용하는 것은 매우 어렵다는 단점이 존재한다.
[선행기술문헌]
[특허문헌]
(특허문헌 1) KR 10-214268 B1
(특허문헌 2) KR 10-2020-0120015 A
이에, 본 발명의 기술적 과제는 이러한 점에서 착안된 것으로 본 발명의 목적은 정형명세를 기반으로 하는 블록체인의 리카르디안 컨트랙트 생성 방법을 제공하는 것이다.
본 발명의 다른 목적은 상기 정형명세를 기반으로 하는 블록체인의 리카르디안 컨트랙트 생성 방법을 수행하기 위한 컴퓨터 프로그램이 기록된 기록 매체를 제공하는 것이다.
본 발명의 또 다른 목적은 상기 정형명세를 기반으로 하는 블록체인의 리카르디안 컨트랙트 생성 방법을 수행하기 위한 장치를 제공하는 것이다.
상기한 본 발명의 목적을 실현하기 위한 일 실시예에 따른 정형명세를 기반으로 하는 블록체인의 리카르디안 컨트랙트 생성 방법은, 입력된 계약서를 프로그래밍 언어로 변환하는 단계; 프로그래밍 언어로부터 계약서에 포함된 계약 내용을 정형명세하여 논리 구조가 블록의 형태 및 색상에 의해 정의되는 프로그래밍 언어의 문법 블록으로 변환하는 단계; 변환된 블록을 블록 메뉴 리스트에 배치하는 단계; 상기 블록 메뉴 리스트리스트에서 블록을 워크스페이스로 드래그앤드롭(Drag-and-Drop)하여 논리 편집하는 단계; 및 드래그앤드롭된 블록을 자연어 및 스마트 컨트랙트 소스로 생성하는 단계;를 포함한다.
본 발명의 실시예에서, 상기 프로그래밍 언어는, XML 파일, JSON 파일 및 디지털 문서 중 하나일 수 있다.
본 발명의 실시예에서, 상기 프로그래밍 언어의 문법 블록으로 변환하는 단계는, XML을 기초로 계약서의 형태 및 계약서 상 계약인들의 이름과 계약 내용을 스마트 컨트랙트 코드에 삽입 및 변환할 수 있다.
본 발명의 실시예에서, 상기 정형명세를 기반으로 하는 블록체인의 리카르디안 컨트랙트 생성 방법은, 블록 메뉴 리스트, 워크 스페이스, 제어 툴 바, 자연어 및 소스 코드를 제공하는 화면을 사용자에게 제공하는 단계;를 더 포함할 수 있다.
본 발명의 실시예에서, 상기 정형명세를 기반으로 하는 블록체인의 리카르디안 컨트랙트 생성 방법은, 생성된 자연어 및 스마트 컨트랙트 소스를 통해 스마트 컨트랙트를 수행하는 단계; 및 수행된 스마트 컨트랙트의 계약 내용을 블록 체인에 저장하는 단계;를 더 포함할 수 있다.
상기한 본 발명의 다른 목적을 실현하기 위한 일 실시예에 따른 컴퓨터로 판독 가능한 저장 매체에는, 상기 정형명세를 기반으로 하는 블록체인의 리카르디안 컨트랙트 생성 방법을 수행하기 위한 컴퓨터 프로그램이 기록되어 있다.
상기한 본 발명의 또 다른 목적을 실현하기 위한 일 실시예에 따른 정형명세를 기반으로 하는 블록체인의 리카르디안 컨트랙트 생성 장치는, 입력된 계약서를 프로그래밍 언어로 변환하는 데이터 변환부; 프로그래밍 언어로부터 계약서에 포함된 계약 내용을 정형명세하여 논리 구조가 블록의 형태 및 색상에 의해 정의되는 프로그래밍 언어의 문법 블록으로 변환하는 블록 생성부; 변환된 블록을 블록 메뉴 리스트에 배치하는 블록 배치부; 상기 블록 메뉴 리스트리스트에서 블록을 워크스페이스로 드래그앤드롭(Drag-and-Drop)하는 논리 편집부; 및 드래그앤드롭된 블록을 자연어 및 스마트 컨트랙트 소스로 생성하는 코드 생성부;를 포함한다.
본 발명의 실시예에서, 상기 프로그래밍 언어는, XML 파일, JSON 파일 및 디지털 문서 중 하나일 수 있다.
본 발명의 실시예에서, 상기 블록 생성부는, XML을 기초로 계약서의 형태 및 계약서 상 계약인들의 이름과 계약 내용을 스마트 컨트랙트 코드에 삽입 및 변환할 수 있다.
본 발명의 실시예에서, 상기 논리 편집부는, 블록 메뉴 리스트, 워크 스페이스, 제어 툴 바, 자연어 및 소스 코드를 제공하는 화면을 사용자에게 제공할 수 있다.
본 발명의 실시예에서, 상기 정형명세를 기반으로 하는 블록체인의 리카르디안 컨트랙트 생성 장치는, 생성된 자연어 및 스마트 컨트랙트 소스를 통해 스마트 컨트랙트를 수행하는 스마트 컨트랙트 수행부; 및 수행된 스마트 컨트랙트의 계약 내용을 블록 체인에 저장하는 블록 체인 저장부;를 더 포함할 수 있다.
이와 같은 정형명세를 기반으로 하는 블록체인의 리카르디안 컨트랙트 생성 방법에 따르면, 사용자들이 실제로 계약 중 사용하는 계약 성격 및 관련 자연어를 정형명세하여 쉽게 계약을 맺을 수 있는 블록을 만들고, 이를 다양한 블록체인 스마트 컨트랙트 코드의 언어로 변환할 수 있다.
이를 통해, 인간이 이해하기 용이한 형태의 자연어를 이용하는 정형명세 된 블록을 통해 컴퓨터 및 블록체인 비전문가들이 이에 대한 개념이 없어도 사용성 및 안정성이 향상된 스마트 컨트랙트를 생성하고 수행할 수 있다.
따라서, 실세계에서 발생할 수 있는 모호한 계약을 방지할 수 있으며, 계약 내용은 블록체인에 기록되므로 스마트 컨트랙트를 통해 단순한 계약 내용만 주고 받더라도 사용자들은 블록체인에 의해 훼손되지 않는 계약서를 작성할 수 있다.
또한, 훼손되지 않는 온라인의 계약서는 인터넷이 연결된 기기만 있다면 언제든 조회 가능하여, 계약 당사자 및 관계자들이 사실 관계를 확인하기에 용이하다.
도 1은 본 발명에 따른 정형명세를 기반으로 하는 블록체인의 리카르디안 컨트랙트 생성을 설명하기 위한 개념도이다.
도 2는 본 발명의 일 실시예에 따른 정형명세를 기반으로 하는 블록체인의 리카르디안 컨트랙트 생성 장치의 블록도이다.
도 3은 본 발명에 따라 제공하는 블록 기반 코드 생성기의 예시 화면이다.
도 4는 본 발명의 다른 실시예에 따른 정형명세를 기반으로 하는 블록체인의 리카르디안 컨트랙트 생성 장치의 블록도이다.
도 5는 본 발명의 일 실시예에 따른 정형명세를 기반으로 하는 블록체인의 리카르디안 컨트랙트 생성 방법의 흐름도이다.
후술하는 본 발명에 대한 상세한 설명은, 본 발명이 실시될 수 있는 특정 실시예를 예시로서 도시하는 첨부 도면을 참조한다. 이들 실시예는 당업자가 본 발명을 실시할 수 있기에 충분하도록 상세히 설명된다. 본 발명의 다양한 실시예는 서로 다르지만 상호 배타적일 필요는 없음이 이해되어야 한다. 예를 들어, 여기에 기재되어 있는 특정 형상, 구조 및 특성은 일 실시예에 관련하여 본 발명의 정신 및 범위를 벗어나지 않으면서 다른 실시예로 구현될 수 있다. 또한, 각각의 개시된 실시예 내의 개별 구성요소의 위치 또는 배치는 본 발명의 정신 및 범위를 벗어나지 않으면서 변경될 수 있음이 이해되어야 한다. 따라서, 후술하는 상세한 설명은 한정적인 의미로서 취하려는 것이 아니며, 본 발명의 범위는, 적절하게 설명된다면, 그 청구항들이 주장하는 것과 균등한 모든 범위와 더불어 첨부된 청구항에 의해서만 한정된다. 도면에서 유사한 참조부호는 여러 측면에 걸쳐서 동일하거나 유사한 기능을 지칭한다.
이하, 도면들을 참조하여 본 발명의 바람직한 실시예들을 보다 상세하게 설명하기로 한다.
도 1은 본 발명에 따른 정형명세를 기반으로 하는 블록체인의 리카르디안 컨트랙트 생성을 설명하기 위한 개념도이다. 도 2는 본 발명의 일 실시예에 따른 정형명세를 기반으로 하는 블록체인의 리카르디안 컨트랙트 생성 장치의 블록도이다.
도 1을 참조하면, 본 발명은 XML로 변환된 계약서를 기반으로 리카르디안 컨트랙트 자동으로 생성하고 편집하는 기술을 제공한다.
리카르디안 컨트랙트의 핵심은 인간 및 기계가 해독하기 용이한 계약서 등을 스마트 컨트랙트를 통해 실행하고, 구속력을 보장받는다는 것에 있다.
즉, 해독이 용이한 계약서를 스마트 컨트랙트로 변환하는 것이 핵심으로, 본 발명에서는 사용자들에 의해 정의된 XML 형태의 데이터를 스마트 컨트랙트로 실행하는 리카르디안 컨트랙트 자동 생성 기술을 제공한다. 이는 본 발명에 따른 정형명세를 기반으로 하는 블록체인의 리카르디안 컨트랙트 생성 장치에 의해 수행된다.
본 발명에 따른 정형명세를 기반으로 하는 블록체인의 리카르디안 컨트랙트 생성 장치(10, 이하 장치)는 입력된 XML 기반 계약서에 포함된 계약 내용을 인식하여 계약 내용을 블록의 형태 및 색상에 의해 정의하는 컨트랙트 자동 생성기이다.
도 2를 참조하면, 본 발명에 따른 장치(10)는 데이터 변환부(110), 블록 생성부(130), 블록 배치부(150), 논리 편집부(170) 및 코드 생성부(190)를 포함한다.
본 발명의 상기 장치(10)는 정형명세를 기반으로 하는 블록체인의 리카르디안 컨트랙트 생성을 수행하기 위한 소프트웨어(애플리케이션)가 설치되어 실행될 수 있으며, 상기 데이터 변환부(110), 상기 블록 생성부(130), 상기 블록 배치부(150), 상기 논리 편집부(170) 및 상기 코드 생성부(190)의 구성은 상기 장치(10)에서 실행되는 상기 정형명세를 기반으로 하는 블록체인의 리카르디안 컨트랙트 생성을 수행하기 위한 소프트웨어에 의해 제어될 수 있다.
상기 장치(10)는 별도의 단말이거나 또는 단말의 일부 모듈일 수 있다. 또한, 상기 데이터 변환부(110), 상기 블록 생성부(130), 상기 블록 배치부(150), 상기 논리 편집부(170) 및 상기 코드 생성부(190)의 구성은 통합 모듈로 형성되거나, 하나 이상의 모듈로 이루어 질 수 있다. 그러나, 이와 반대로 각 구성은 별도의 모듈로 이루어질 수도 있다.
상기 장치(10)는 이동성을 갖거나 고정될 수 있다. 상기 장치(10)는, 서버(server) 또는 엔진(engine) 형태일 수 있으며, 디바이스(device), 기구(apparatus), 단말(terminal), UE(user equipment), MS(mobile station), 무선기기(wireless device), 휴대기기(handheld device) 등 다른 용어로 불릴 수 있다.
상기 장치(10)는 운영체제(Operation System; OS), 즉 시스템을 기반으로 다양한 소프트웨어를 실행하거나 제작할 수 있다. 상기 운영체제는 소프트웨어가 장치의 하드웨어를 사용할 수 있도록 하기 위한 시스템 프로그램으로서, 안드로이드 OS, iOS, 윈도우 모바일 OS, 바다 OS, 심비안 OS, 블랙베리 OS 등 모바일 컴퓨터 운영체제 및 윈도우 계열, 리눅스 계열, 유닉스 계열, MAC, AIX, HP-UX 등 컴퓨터 운영체제를 모두 포함할 수 있다.
상기 데이터 변환부(110)는 입력된 계약서를 프로그래밍 언어로 변환한다.
상기 데이터 변환부(110)는 사용자들이 실제로 계약 중 사용하는 계약 성격 및 관련 자연어의 계약서를 입력받아, XML 기반 데이터로 변환한다.
XML과 JSON의 경우, 포맷의 규격을 이해하지 못한 채 읽게 되면 <> 및 {}와 같은 기호에 의해 전문 지식이 요구되는 컴퓨터 언어처럼 보이지만, 이를 상세하게 읽었을 때 문서의 내용이 인간의 언어로 순차적으로 담겨있으며, 이는 프로그래밍 언어에 의해 쉽게 파싱(Parsing)되므로 인간 및 프로그램 모두 해독이 용이하다.
하지만, 위 포맷은 어떠한 데이터 등을 정의하는 포맷일 뿐, 컴퓨터 상에서 논리 구현 및 작동을 구현하는 프로그래밍 언어는 아니다. 즉, 문서에 구속력을 더할 스마트 컨트랙트가 추가로 요구된다. 즉, 리카르디안 컨트랙트의 핵심은 해당 문서를 이용하여 스마트 컨트랙트 및 이에 의한 구속력을 이용하여 인간이 쉽게 해독 가능한 스마트 컨트랙트를 수행한다는 점에 있다.
상기 블록 생성부(130)는 프로그래밍 언어로부터 계약서에 포함된 계약 내용을 정형명세하여 논리 구조가 블록의 형태 및 색상에 의해 정의되는 프로그래밍 언어의 문법 블록으로 변환한다.
상기 블록 생성부(130)는 생성된 XML 기반 데이터(계약서)를 받게 되면, XML을 토대로 계약서의 형태 및 계약서 상 계약인들의 이름과 계약 내용을 인식하여 이와 같은 내용을 스마트 컨트랙트 코드에 삽입 및 변환한다. 이와 같은 코드 변환 기능은 리카르디안 컨트랙트 자동 생성기에 포함되어 있어, 아래의 단에서 상세히 서술한다.
상기 블록 배치부(150)는 변환된 블록을 블록 메뉴 리스트에 배치한다. 상기 논리 편집부(170)는 상기 블록 메뉴 리스트리스트에서 블록을 워크스페이스로 드래그앤드롭(Drag-and-Drop)한다.
본 발명에서는 리카르디안 컨트랙트 자동 생성을 위한 XML 형태의 문서를 블록 기반 코드 생성기로 수행한다. 블록 기반 코드 생성기는 드래그앤드롭(Drag-and-Drop) 기반의 프로그래밍 논리 편집(언어 작성)을 통해 실제로 작성하고자 하는 코드를 작성하는 기법으로, 프로그래밍 언어의 문법 블록으로 정의되고 논리 구조가 블록의 형태 및 색상에 의해 정의되므로, 보다 직관적이고 편리하게 코드를 개발을 지원한다.
사용자가 이를 이용하여 코드를 개발하며 블록의 형태를 완벽하게 갖춘다면, 일반적인 코드 개발에 의해 다양한 형태의 오류를 적게 접할 수 있으며, 문법이 블록에 의해 한층 더 자연어에 가깝게 표현되므로 일반인도 직관적인 코드 이해가 가능하다.
도 3을 참조하면, 본 발명의 블록 기반 코드 생성기의 예시 화면으로, 타이틀(31), 제어 툴 바(32), 블록 메뉴 리스트(33), 워크 스페이스(34), 자연어 및 소스 코드를 제공하는 화면(35, 36)을 사용자에게 제공할 수 있다.
본 발명의 블록 기반 코드 생성기는 블록 메뉴 리스트에 존재하는 블록을 워크스페이스로 드래그앤드롭하여, 자연어 및 스마트 컨트랙트 소스를 자동으로 생성할 수 있다.
상기 코드 생성부(190)는 드래그앤드롭된 블록을 자연어 및 스마트 컨트랙트 소스로 생성한다.
도 4는 본 발명의 다른 실시예에 따른 정형명세를 기반으로 하는 블록체인의 리카르디안 컨트랙트 생성 장치의 블록도이다.
도 4의 장치(20)는 스마트 컨트랙트 수행부(210) 및 블록 체인 저장부(230)를 더 포함하는 것을 제외하고 도 2의 장치(10)와 동일하므로, 반복되는 구성 및 그에 대한 설명은 생략한다.
상기 스마트 컨트랙트 수행부(210)는 생성된 생성된 자연어 및 스마트 컨트랙트 소스를 통해 스마트 컨트랙트를 수행한다. 상기 블록 체인 저장부(230)는 수행된 스마트 컨트랙트의 계약 내용을 블록 체인에 저장하여 무결성을 보장할 수 있다.
본 발명의 코드 생성기는 블록 메뉴 리스트에 존재하는 블록을 워크스페이스로 드래그앤드롭하여, 자연어 및 스마트 컨트랙트 소스를 자동으로 생성할 수 있다. 개발 된 블록들은 정형명세 기반으로 작성되어, 보다 명확한 계약을 수행할 수 있다.
본 발명에서는 리카르디안 컨트랙트를 일반인도 사용이 가능하도록 사용성 향상과 동시에 스마트 컨트랙트의 오버플로우 등으로 발생하는 안정성 문제를 동시에 해결하였다. 이를 위해 사용자가 리카르디안 컨트랙트를 생성하는 프레임워크를 개발하였으며, 리카르디안 컨트랙트를 스마트 컨트랙트로 변환하고 검증하는 기술을 개발하였다.
본 발명을 통해, 사용자들은 스마트 컨트랙트에 대한 인지 없이도 리카르디안 컨트랙트를 생성하고, 이를 스마트 컨트랙트로 실행하여 사용성 및 안정성이 향상된 리카르디안 컨트랙트 수행이 가능하다.
도 5는 본 발명의 일 실시예에 따른 정형명세를 기반으로 하는 블록체인의 리카르디안 컨트랙트 생성 방법의 흐름도이다.
본 실시예에 따른 정형명세를 기반으로 하는 블록체인의 리카르디안 컨트랙트 생성 방법은, 도 2의 장치(10)와 실질적으로 동일한 구성에서 진행될 수 있다. 따라서, 도 2의 장치(10)와 동일한 구성요소는 동일한 도면부호를 부여하고, 반복되는 설명은 생략한다.
또한, 본 실시예에 따른 정형명세를 기반으로 하는 블록체인의 리카르디안 컨트랙트 생성 방법은 정형명세를 기반으로 하는 블록체인의 리카르디안 컨트랙트 생성을 수행하기 위한 소프트웨어(애플리케이션)에 의해 실행될 수 있다.
본 발명에 따른 정형명세를 기반으로 하는 블록체인의 리카르디안 컨트랙트 생성 방법은 사용자들에 의해 정의된 XML 형태의 데이터를 스마트 컨트랙트로 실행하는 리카르디안 컨트랙트 자동 생성 기술을 제공한다. 리카르디안 컨트랙트 자동 생성은 드래그앤드롭(Drag-and-Drop) 기반의 프로그래밍 논리 편집(언어 작성)을 통해 실제로 작성하고자 하는 코드를 작성할 수 있다.
이에 따라, 프로그래밍 언어의 문법 블록으로 정의되고 논리 구조가 블록의 형태 및 색상에 의해 정의되므로, 보다 직관적이고 편리하게 코드를 개발을 지원할 수 있다.
도 5를 참조하면, 본 실시예에 따른 정형명세를 기반으로 하는 블록체인의 리카르디안 컨트랙트 생성 방법은, 입력된 계약서를 프로그래밍 언어로 변환한다(단계 S10).
상기 프로그래밍 언어는, XML 파일, JSON 파일 및 디지털 문서 등일 수 있다.
프로그래밍 언어로부터 계약서에 포함된 계약 내용을 정형명세하여 논리 구조가 블록의 형태 및 색상에 의해 정의되는 프로그래밍 언어의 문법 블록으로 변환한다(단계 S20).
상기 프로그래밍 언어의 문법 블록으로 변환하는 단계는, XML을 기초로 계약서의 형태 및 계약서 상 계약인들의 이름과 계약 내용을 스마트 컨트랙트 코드에 삽입 및 변환한다.
변환된 블록을 블록 메뉴 리스트에 배치한다(단계 S30).
블록 기반 코드 생성은 드래그앤드롭(Drag-and-Drop) 기반의 프로그래밍 논리 편집(언어 작성)을 통해 실제로 작성하고자 하는 코드를 작성할 수 있다.
이에 따라, 프로그래밍 언어의 문법 블록으로 정의되고 논리 구조가 블록의 형태 및 색상에 의해 정의되므로, 보다 직관적이고 편리하게 코드를 개발을 지원할 수 있다.
사용자가 이를 이용하여 코드를 개발하며 블록의 형태를 완벽하게 갖춘다면, 일반적인 코드 개발에 의해 다양한 형태의 오류를 적게 접할 수 있으며, 문법이 블록에 의해 한층 더 자연어에 가깝게 표현되므로 일반인도 직관적인 코드 이해가 가능하다.
본 발명의 블록 기반 코드 생성을 위해 블록 메뉴 리스트, 워크 스페이스, 제어 툴 바, 자연어 및 소스 코드를 제공하는 화면을 사용자에게 제공할 수 있다.
상기 블록 메뉴 리스트리스트에서 블록을 워크스페이스로 드래그앤드롭(Drag-and-Drop)하여 논리 편집한다(단계 S40). 본 발명은 블록 메뉴 리스트에 존재하는 블록을 워크스페이스로 드래그앤드롭하여, 자연어 및 스마트 컨트랙트 소스를 자동으로 생성할 수 있다.
드래그앤드롭된 블록을 자연어 및 스마트 컨트랙트 소스로 생성한다(단계 S50).
본 실시예에 따른 정형명세를 기반으로 하는 블록체인의 리카르디안 컨트랙트 생성 방법은, 생성된 자연어 및 스마트 컨트랙트 소스를 통해 스마트 컨트랙트를 수행하는 단계 및 수행된 스마트 컨트랙트의 계약 내용을 블록 체인에 저장하는 단계를 더 포함할 수 있다.
이와 같은 정형명세를 기반으로 하는 블록체인의 리카르디안 컨트랙트 생성 방법에 따르면, 사용자들이 실제로 계약 중 사용하는 계약 성격 및 관련 자연어를 정형명세하여 쉽게 계약을 맺을 수 있는 블록을 만들고, 이를 다양한 블록체인 스마트 컨트랙트 코드의 언어로 변환할 수 있다.
이를 통해, 인간이 이해하기 용이한 형태의 자연어를 이용하는 정형명세 된 블록을 통해 컴퓨터 및 블록체인 비전문가들이 이에 대한 개념이 없어도 사용성 및 안정성이 향상된 스마트 컨트랙트를 생성하고 수행할 수 있다.
따라서, 실세계에서 발생할 수 있는 모호한 계약을 방지할 수 있으며, 계약 내용은 블록체인에 기록되므로 스마트 컨트랙트를 통해 단순한 계약 내용만 주고 받더라도 사용자들은 블록체인에 의해 훼손되지 않는 계약서를 작성할 수 있다.
또한, 훼손되지 않는 온라인의 계약서는 인터넷이 연결된 기기만 있다면 언제든 조회 가능하여, 계약 당사자 및 관계자들이 사실 관계를 확인하기에 용이하다.
이와 같은, 정형명세를 기반으로 하는 블록체인의 리카르디안 컨트랙트 생성 방법은 애플리케이션으로 구현되거나 다양한 컴퓨터 구성요소를 통하여 수행될 수 있는 프로그램 명령어의 형태로 구현되어 컴퓨터 판독 가능한 기록 매체에 기록될 수 있다. 상기 컴퓨터 판독 가능한 기록 매체는 프로그램 명령어, 데이터 파일, 데이터 구조 등을 단독으로 또는 조합하여 포함할 수 있다.
상기 컴퓨터 판독 가능한 기록 매체에 기록되는 프로그램 명령어는 본 발명을 위하여 특별히 설계되고 구성된 것들이거니와 컴퓨터 소프트웨어 분야의 당업자에게 공지되어 사용 가능한 것일 수도 있다.
컴퓨터 판독 가능한 기록 매체의 예에는, 하드 디스크, 플로피 디스크 및 자기 테이프와 같은 자기 매체, CD-ROM, DVD와 같은 광기록 매체, 플롭티컬 디스크(floptical disk)와 같은 자기-광 매체(magneto-optical media), 및 ROM, RAM, 플래시 메모리 등과 같은 프로그램 명령어를 저장하고 수행하도록 특별히 구성된 하드웨어 장치가 포함된다.
프로그램 명령어의 예에는, 컴파일러에 의해 만들어지는 것과 같은 기계어 코드뿐만 아니라 인터프리터 등을 사용해서 컴퓨터에 의해서 실행될 수 있는 고급 언어 코드도 포함된다. 상기 하드웨어 장치는 본 발명에 따른 처리를 수행하기 위해 하나 이상의 소프트웨어 모듈로서 작동하도록 구성될 수 있으며, 그 역도 마찬가지이다.
이상에서는 실시예들을 참조하여 설명하였지만, 해당 기술 분야의 숙련된 당업자는 하기의 특허 청구의 범위에 기재된 본 발명의 사상 및 영역으로부터 벗어나지 않는 범위 내에서 본 발명을 다양하게 수정 및 변경시킬 수 있음을 이해할 수 있을 것이다.
본 발명은 부동산 등의 전자계약 관련 시장에서 사용성 및 안정성이 향상된 리카르디안 컨트랙트 수행을 가능하게 한다. 또한, 시스템 변형 및 추가를 통해 다양한 계약을 지원할 수 있다.
[부호의 설명]
10, 20: 블록체인의 리카르디안 컨트랙트 생성 장치
110: 데이터 변환부
130: 블록 생성부
150: 블록 배치부
170: 논리 편집부
190: 코드 생성부
210: 스마트 컨트랙트 수행부
230: 블록 체인 저장부

Claims (11)

  1. 입력된 계약서를 프로그래밍 언어로 변환하는 단계;
    프로그래밍 언어로부터 계약서에 포함된 계약 내용을 정형명세하여 논리 구조가 블록의 형태 및 색상에 의해 정의되는 프로그래밍 언어의 문법 블록으로 변환하는 단계;
    변환된 블록을 블록 메뉴 리스트에 배치하는 단계;
    상기 블록 메뉴 리스트리스트에서 블록을 워크스페이스로 드래그앤드롭(Drag-and-Drop)하여 논리 편집하는 단계; 및
    드래그앤드롭된 블록을 자연어 및 스마트 컨트랙트 소스로 생성하는 단계;를 포함하는, 정형명세를 기반으로 하는 블록체인의 리카르디안 컨트랙트 생성 방법.
  2. 제1항에 있어서,
    상기 프로그래밍 언어는, XML 파일, JSON 파일 및 디지털 문서 중 하나인, 정형명세를 기반으로 하는 블록체인의 리카르디안 컨트랙트 생성 방법.
  3. 제1항에 있어서, 상기 프로그래밍 언어의 문법 블록으로 변환하는 단계는,
    XML을 기초로 계약서의 형태 및 계약서 상 계약인들의 이름과 계약 내용을 스마트 컨트랙트 코드에 삽입 및 변환하는, 정형명세를 기반으로 하는 블록체인의 리카르디안 컨트랙트 생성 방법.
  4. 제1항에 있어서,
    블록 메뉴 리스트, 워크 스페이스, 제어 툴 바, 자연어 및 소스 코드를 제공하는 화면을 사용자에게 제공하는 단계;를 더 포함하는, 정형명세를 기반으로 하는 블록체인의 리카르디안 컨트랙트 생성 방법.
  5. 제1항에 있어서,
    생성된 자연어 및 스마트 컨트랙트 소스를 통해 스마트 컨트랙트를 수행하는 단계; 및
    수행된 스마트 컨트랙트의 계약 내용을 블록 체인에 저장하는 단계;를 더 포함하는, 정형명세를 기반으로 하는 블록체인의 리카르디안 컨트랙트 생성 방법.
  6. 제1항에 따른 상기 정형명세를 기반으로 하는 블록체인의 리카르디안 컨트랙트 생성 방법을 수행하기 위한 컴퓨터 프로그램이 기록된 컴퓨터로 판독 가능한 저장 매체.
  7. 입력된 계약서를 프로그래밍 언어로 변환하는 데이터 변환부;
    프로그래밍 언어로부터 계약서에 포함된 계약 내용을 정형명세하여 논리 구조가 블록의 형태 및 색상에 의해 정의되는 프로그래밍 언어의 문법 블록으로 변환하는 블록 생성부;
    변환된 블록을 블록 메뉴 리스트에 배치하는 블록 배치부;
    상기 블록 메뉴 리스트리스트에서 블록을 워크스페이스로 드래그앤드롭(Drag-and-Drop)하는 논리 편집부; 및
    드래그앤드롭된 블록을 자연어 및 스마트 컨트랙트 소스로 생성하는 코드 생성부;를 포함하는, 정형명세를 기반으로 하는 블록체인의 리카르디안 컨트랙트 생성 장치.
  8. 제7항에 있어서,
    상기 프로그래밍 언어는, XML 파일, JSON 파일 및 디지털 문서 중 하나인, 정형명세를 기반으로 하는 블록체인의 리카르디안 컨트랙트 생성 장치.
  9. 제7항에 있어서, 상기 블록 생성부는,
    XML을 기초로 계약서의 형태 및 계약서 상 계약인들의 이름과 계약 내용을 스마트 컨트랙트 코드에 삽입 및 변환하는, 정형명세를 기반으로 하는 블록체인의 리카르디안 컨트랙트 생성 장치.
  10. 제7항에 있어서, 상기 논리 편집부는,
    블록 메뉴 리스트, 워크 스페이스, 제어 툴 바, 자연어 및 소스 코드를 제공하는 화면을 사용자에게 제공하는, 정형명세를 기반으로 하는 블록체인의 리카르디안 컨트랙트 생성 장치.
  11. 제7항에 있어서,
    생성된 자연어 및 스마트 컨트랙트 소스를 통해 스마트 컨트랙트를 수행하는 스마트 컨트랙트 수행부; 및
    수행된 스마트 컨트랙트의 계약 내용을 블록 체인에 저장하는 블록 체인 저장부;를 더 포함하는, 정형명세를 기반으로 하는 블록체인의 리카르디안 컨트랙트 생성 장치.
PCT/KR2021/017207 2020-11-23 2021-11-23 정형명세를 기반으로 하는 블록체인의 리카르디안 컨트랙트 생성 방법, 이를 수행하기 위한 기록 매체 및 장치 WO2022108412A1 (ko)

Applications Claiming Priority (4)

Application Number Priority Date Filing Date Title
KR10-2020-0157754 2020-11-23
KR20200157754 2020-11-23
KR1020210013438A KR20220071084A (ko) 2020-11-23 2021-01-29 정형명세를 기반으로 하는 블록체인의 리카르디안 컨트랙트 생성 방법, 이를 수행하기 위한 기록 매체 및 장치
KR10-2021-0013438 2021-01-29

Publications (1)

Publication Number Publication Date
WO2022108412A1 true WO2022108412A1 (ko) 2022-05-27

Family

ID=81709557

Family Applications (1)

Application Number Title Priority Date Filing Date
PCT/KR2021/017207 WO2022108412A1 (ko) 2020-11-23 2021-11-23 정형명세를 기반으로 하는 블록체인의 리카르디안 컨트랙트 생성 방법, 이를 수행하기 위한 기록 매체 및 장치

Country Status (1)

Country Link
WO (1) WO2022108412A1 (ko)

Citations (5)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
KR20150099175A (ko) * 2014-02-21 2015-08-31 주식회사 넥스다임 애플리케이션 개발 환경 제공 방법과 이를 위한 기록매체
KR20150134713A (ko) * 2014-05-22 2015-12-02 황수진 소프트웨어 코드의 시각적 구현 방법 및 장치
US20200104796A1 (en) * 2018-09-28 2020-04-02 ShelterZoom Smart Contracts
KR20200099790A (ko) * 2019-02-15 2020-08-25 리걸테크 주식회사 데이터 관리 시스템 및 데이터 관리 방법
KR20200120015A (ko) * 2019-04-11 2020-10-21 황성재 인스턴트 메세지의 자연어 인식을 통한 스마트 계약 장치 및 그 방법

Patent Citations (5)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
KR20150099175A (ko) * 2014-02-21 2015-08-31 주식회사 넥스다임 애플리케이션 개발 환경 제공 방법과 이를 위한 기록매체
KR20150134713A (ko) * 2014-05-22 2015-12-02 황수진 소프트웨어 코드의 시각적 구현 방법 및 장치
US20200104796A1 (en) * 2018-09-28 2020-04-02 ShelterZoom Smart Contracts
KR20200099790A (ko) * 2019-02-15 2020-08-25 리걸테크 주식회사 데이터 관리 시스템 및 데이터 관리 방법
KR20200120015A (ko) * 2019-04-11 2020-10-21 황성재 인스턴트 메세지의 자연어 인식을 통한 스마트 계약 장치 및 그 방법

Similar Documents

Publication Publication Date Title
CN111241454B (zh) 一种生成网页代码的方法、系统和装置
WO2013157678A1 (ko) 웹페이지의 동적 변환 시스템, 방법 및 컴퓨터 판독 가능한 기록 매체
WO2020134633A1 (zh) 一种应用程序的开发方法、装置及集成开发工具
WO2018212484A1 (ko) 객체의 서식을 유지하는 문서 편집 장치 및 그의 동작 방법
CN112149399A (zh) 基于rpa及ai的表格信息抽取方法、装置、设备及介质
WO2015178605A1 (ko) 소프트웨어 코드의 시각적 구현 방법 및 장치
WO2006136055A1 (fr) Procédé d&#39;exploration de données texte
WO2015037802A1 (ko) 메타모델링 통합시스템
KR20220071084A (ko) 정형명세를 기반으로 하는 블록체인의 리카르디안 컨트랙트 생성 방법, 이를 수행하기 위한 기록 매체 및 장치
US20120282586A1 (en) User customizable queries to populate model diagrams
WO2022108412A1 (ko) 정형명세를 기반으로 하는 블록체인의 리카르디안 컨트랙트 생성 방법, 이를 수행하기 위한 기록 매체 및 장치
WO2015037803A1 (ko) 메타모델링 통합방법
WO2014185627A1 (ko) 데이터 프로세싱 시스템 보안 장치와 보안방법
WO2010002185A2 (ko) 응용프로그램에서 사용되는 임시 파일의 자동 완전 삭제 방법
WO2024090932A1 (ko) 수집 데이터 자동 처리를 위한 데이터 적재 프로파일링 장치 및 방법
WO2015037801A1 (ko) 메타 모델링 변환시스템
WO2023200060A1 (ko) 획득 가능 자원을 관리하는 방법 및 이를 이용한 장치
US9262128B2 (en) Information processing apparatus, information processing method and computer program
CN113608727B (zh) 可视化编程的代码处理方法、装置、系统
WO2020145591A1 (ko) 자연 언어 기반 블록 체인 스마트 계약 생성방법 및 그를 위한 장치
Floch Supporting evolution and maintenance by using a flexible automatic code generator
WO2016032234A1 (ko) 소스 코드 분석 장치, 이를 위한 컴퓨터 프로그램, 그 기록매체
WO2015020285A1 (ko) 음성 기반 재생정보 생성 및 인식 방법 및 기록 매체
EP3519964A1 (en) Electronic apparatus for recording debugging information and control method thereof
Treharne Supplementing a UML development process with B

Legal Events

Date Code Title Description
121 Ep: the epo has been informed by wipo that ep was designated in this application

Ref document number: 21895179

Country of ref document: EP

Kind code of ref document: A1

NENP Non-entry into the national phase

Ref country code: DE

122 Ep: pct application non-entry in european phase

Ref document number: 21895179

Country of ref document: EP

Kind code of ref document: A1