CA3022425C - Modelisation d'actif numerique - Google Patents

Modelisation d'actif numerique

Info

Publication number
CA3022425C
CA3022425C CA3022425A CA3022425A CA3022425C CA 3022425 C CA3022425 C CA 3022425C CA 3022425 A CA3022425 A CA 3022425A CA 3022425 A CA3022425 A CA 3022425A CA 3022425 C CA3022425 C CA 3022425C
Authority
CA
Canada
Prior art keywords
ledger
function
parties
daml
choice
Prior art date
Legal status (The legal status 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 status listed.)
Active
Application number
CA3022425A
Other languages
English (en)
Other versions
CA3022425A1 (fr
Inventor
Vincent Peikert
Ratko Veprek
Johan Sjodin
James Litsios
Alexander Bernauer
Darko Pilav
Robin Krom
Simon Meier
Shaul Kfir
Original Assignee
Digital Asset Switzerland GmbH
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 US15/181,144 external-priority patent/US10810583B2/en
Application filed by Digital Asset Switzerland GmbH filed Critical Digital Asset Switzerland GmbH
Publication of CA3022425A1 publication Critical patent/CA3022425A1/fr
Application granted granted Critical
Publication of CA3022425C publication Critical patent/CA3022425C/fr
Active legal-status Critical Current
Anticipated expiration legal-status Critical

Links

Abstract

L'invention concerne un système (2000 - 3300, 4200 - 4300) et un procédé (100, 3900, 4300) permettant de modéliser et d'interpréter un actif numérique modélisé ainsi que son évolution par rapport aux droits d'une pluralité de parties, ledit procédé consistant à : exécuter une instance de fonction d'attente (1200, 4320) une seule fois à l'aide d'au moins un choix défini dans celle-ci pour la mise à disposition de l'actif numérique par rapport aux droits d'au moins une partie de la pluralité de parties, ladite instance de fonction d'attente étant intégrée lorsque les parties affectées consentent à remplir une instance de fonction configurée associée au(x) choix; exécuter une instance de fonction d'accord (1300, 3900) qui requiert le consentement d'au moins une partie de la pluralité de parties pour l'exécution; et stocker (410 4370) les résultats des instances de fonctions exécutées dans un grand livre en ajout seulement (4000, 4312 - 4314).
CA3022425A 2016-04-29 2017-04-28 Modelisation d'actif numerique Active CA3022425C (fr)

Applications Claiming Priority (5)

Application Number Priority Date Filing Date Title
US201662329888P 2016-04-29 2016-04-29
US62/329,888 2016-04-29
US15/181,144 US10810583B2 (en) 2016-04-29 2016-06-13 Digital asset modeling
US15/181,144 2016-06-13
PCT/IB2017/052462 WO2017187394A1 (fr) 2016-04-29 2017-04-28 Modélisation d'actif numérique

Publications (2)

Publication Number Publication Date
CA3022425A1 CA3022425A1 (fr) 2017-11-02
CA3022425C true CA3022425C (fr) 2025-09-23

Family

ID=

Similar Documents

Publication Publication Date Title
US11983706B2 (en) Digital asset modeling
US20250167995A1 (en) Trust-But-Verify Blockchain System
Egelund-Müller et al. Automated execution of financial contracts on blockchains
Cohney et al. Transactional scripts in contract stacks
De Kruijff et al. Understanding the blockchain using enterprise ontology
Zhu et al. TA-SPESC: Toward asset-driven smart contract language supporting ownership transaction and rule-based generation on blockchain
Nehaï et al. Deductive proof of industrial smart contracts using Why3
Dumas et al. Blockchain technology for collaborative information systems (dagstuhl seminar 18332)
Colombo et al. Smart derivative contracts in datalogmtl
Kolb A language-based approach to smart contract engineering
Sharma Rust for Blockchain Application Development: Learn to build decentralized applications on popular blockchain technologies using Rust
CA3022425C (fr) Modelisation d'actif numerique
HK40110121A (zh) 数字资产建模
Tolmach Securing smart contracts with formal verification and automated program repair
Malsa et al. Blockchain-enabled smart contract optimization for healthcare monitoring systems
Qureshi et al. Auto-generation of blockchain-based distributed applications using ontologies
Staynov A Blockchain-driven approach for secure and scalable provenance management in open data systems
Nelaturu Verification and Optimization of Smart Contracts using Model Checking Framework
FRIGERIO et al. Model Driven Development of Blockchain Applications
Sharma et al. Smart Contract and Distributed Ledger for Healthcare Informatics
Malsa et al. 14 Blockchain-EnabledSmart
Grannan Simpler specifications for resource-manipulating programs
da Corte Smart Types for Smart Contracts Validation
CN117075931A (zh) 智能合约的更新方法、区块链运行设备、存储介质