CN108876610A - 智能合约实施方法、用户设备、存储介质及装置 - Google Patents

智能合约实施方法、用户设备、存储介质及装置 Download PDF

Info

Publication number
CN108876610A
CN108876610A CN201810553591.3A CN201810553591A CN108876610A CN 108876610 A CN108876610 A CN 108876610A CN 201810553591 A CN201810553591 A CN 201810553591A CN 108876610 A CN108876610 A CN 108876610A
Authority
CN
China
Prior art keywords
contract
intelligent
intelligent contract
target
parameter
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.)
Withdrawn
Application number
CN201810553591.3A
Other languages
English (en)
Inventor
张健
Current Assignee (The listed assignees may be inaccurate. Google has not performed a legal analysis and makes no representation or warranty as to the accuracy of the list.)
Shenzhen Lingdu Intelligent Control Technology Co Ltd
Original Assignee
Shenzhen Lingdu Intelligent Control Technology Co Ltd
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
Application filed by Shenzhen Lingdu Intelligent Control Technology Co Ltd filed Critical Shenzhen Lingdu Intelligent Control Technology Co Ltd
Priority to CN201810553591.3A priority Critical patent/CN108876610A/zh
Publication of CN108876610A publication Critical patent/CN108876610A/zh
Withdrawn legal-status Critical Current

Links

Classifications

    • GPHYSICS
    • G06COMPUTING; CALCULATING OR COUNTING
    • G06QINFORMATION 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
    • G06Q40/00Finance; Insurance; Tax strategies; Processing of corporate or income taxes
    • G06Q40/04Trading; Exchange, e.g. stocks, commodities, derivatives or currency exchange

Landscapes

  • Business, Economics & Management (AREA)
  • Accounting & Taxation (AREA)
  • Finance (AREA)
  • Engineering & Computer Science (AREA)
  • Development Economics (AREA)
  • Economics (AREA)
  • Marketing (AREA)
  • Strategic Management (AREA)
  • Technology Law (AREA)
  • Physics & Mathematics (AREA)
  • General Business, Economics & Management (AREA)
  • General Physics & Mathematics (AREA)
  • Theoretical Computer Science (AREA)
  • Management, Administration, Business Operations System, And Electronic Commerce (AREA)

Abstract

本发明公开了智能合约实施方法、用户设备、存储介质及装置。本发明中在监测到当前业务事件时,从当前业务事件中提取当前业务参数;对当前业务参数的参数类型进行组合,以获得目标参数类型集;根据目标参数类型集确定对应的目标智能合约;确定与目标智能合约对应的目标合约执行等级,并根据目标合约执行等级进行等级排序,以获得合约执行次序;在预设区块链中遍历所述合约执行次序中的各智能合约,并对遍历到的智能合约进行实施。在本发明中实现了在需要执行智能合约时可快速地确定待执行的目标智能合约,并同时通过合约执行等级有次序地完成多个智能合约之间的实施操作,也就解决了现有的智能合约在实施时存在着的稳定性较低的技术问题。

Description

智能合约实施方法、用户设备、存储介质及装置
技术领域
本发明涉及区块链技术领域,尤其涉及智能合约实施方法、用户设备、存储介质及装置。
背景技术
随着区块链技术的兴起,有关区块链的底层基础技术以及商业应用方式也处于快速的更新迭代中。
其中,区块链的底层基础技术主要包括分布式数据存储、点对点传输、共识机制、智能合约(smart contract)以及加密算法等,简言之,区块链就是一种分布式账本,通过分布式数据存储来分布式地部署账本,然后,通过点对点传输以及共识机制来完成数据之间的交互以及账本的修改和同步,而在这之中,智能合约就是实现了上述“完成数据之间的交互以及账本的修改和同步”操作的自动化脚本。
由于智能合约是一种自动化的脚本,其实施与否将由区块链中随时生成的事件自动触发,无需第三方的介入,也就保证了区块链技术的公正性。在这一点上,可将智能合约类比地理解为现实生活中的法律条文以及合同条款,但是,当满足智能合约中预先规定的触发条件时,智能合约将被自动触发并自动执行,这优于现实生活中的法律条文以及合同条款还需要第三方人员进行条款的讨论以及条款的实际执行。
但是,现有的智能合约作为一种数字形式定义的协议,在区块链的应用过程中,还未存在一个较为完整且体系化的合约实施方式。并且,处于运行状态的智能合约往往并非单个,多个智能合约之间可能还存在着合约内容的交叉,这也易导致智能合约之间的实施冲突,从而导致了实施智能合约的实施过程稳定性较差。所以,可认为,当前的智能合约实施方式存在着实施稳定性较差的技术问题。
上述内容仅用于辅助理解本发明的技术方案,并不代表承认上述内容是现有技术。
发明内容
本发明的主要目的在于提供智能合约实施方法、用户设备、存储介质及装置,旨在解决现有的智能合约在实施时存在着的稳定性较低的技术问题。
为实现上述目的,本发明提供一种智能合约实施方法,所述智能合约实施方法包括以下步骤:
在监测到当前业务事件时,从所述当前业务事件中提取当前业务参数;
根据预设参数组合方式对所述当前业务参数的参数类型进行组合,以获得目标参数类型集;
根据所述目标参数类型集在预设映射关系中确定对应的目标智能合约,所述预设映射关系中包括参数类型集与智能合约的对应关系;
确定与所述目标智能合约对应的目标合约执行等级,并根据所述目标合约执行等级的等级大小进行等级排序,以获得合约执行次序,所述合约执行次序中包括按照等级排序的各目标智能合约;
在预设区块链中遍历所述合约执行次序中的各智能合约,并对遍历到的智能合约进行实施。
优选地,所述在监测到当前业务事件时,从所述当前业务事件中提取当前业务参数之前,所述智能合约实施方法还包括:
在接收到合约部署请求时,从所述合约部署请求中提取待部署智能合约;
确定与所述待部署智能合约对应的待部署参数类型集,并建立所述待部署智能合约与所述待部署参数类型集的对应关系,将所述对应关系添加至预设映射关系中;
在预设区块链中对所述待部署智能合约进行部署。
优选地,所述在预设区块链中对所述待部署智能合约进行部署之后,所述智能合约实施方法还包括:
对所述待部署智能合约与所述预设区块链中的已部署智能合约进行运行冲突检测,以获得冲突检测事件;
在所述冲突检测事件的事件类型为第一冲突类型时,根据所述冲突检测事件生成对应的第一冲突解决策略;基于所述第一冲突解决策略对所述待部署智能合约的合约执行等级进行修改;
将修改后的合约执行等级作为与所述待部署智能合约对应的新的合约执行等级,并对当前业务事件进行监测;
在所述冲突检测事件的事件类型为第二冲突类型时,生成与所述已部署智能合约对应的待授权信息;
在接收到用户输入的与所述待授权信息对应的授权指令时,从所述授权指令中提取第二冲突解决策略,并对当前业务事件进行监测,所述第二冲突解决策略用于在所述待部署智能合约与所述已部署智能合约同时运行时处理合约间的冲突。
优选地,所述在接收到合约部署请求时,从所述合约部署请求中提取待部署智能合约,包括:
在接收到合约部署请求时,从所述合约部署请求中提取待部署智能合约和编译器标识;
所述在预设区块链中对所述待部署智能合约进行部署,包括:
根据所述编译器标识确定对应的目标合约编译器;
基于所述目标合约编译器对所述待部署智能合约按照预设编译方式进行编译,以获得编译后的合约文件;
并将编译后的合约文件存储于在预设区块链中的预设存储地址处;
所述在预设区块链中遍历所述合约执行次序中的智能合约,并对遍历到的智能合约进行实施,包括:
在所述预设区块链中遍历所述合约执行次序中的智能合约,确定与遍历到的智能合约对应的目标存储地址;
从所述目标存储地址中提取并实施目标合约文件。
优选地,所述在预设区块链中遍历所述合约执行次序中的各智能合约,并对遍历到的智能合约进行实施,包括:
在预设区块链中遍历所述合约执行次序中的智能合约,确定与遍历到的智能合约对应的目标引擎标识;
根据所述目标引擎标识查询对应的目标合约执行引擎,所述目标合约执行引擎为实施所述目标智能合约的实施环境;
在预设通用引擎框架搭建所述目标合约执行引擎,并基于所述目标合约执行引擎实施遍历到的智能合约。
优选地,所述根据所述目标参数类型集在预设映射关系中确定对应的目标智能合约之后,所述智能合约实施方法还包括:
记录与所述目标智能合约对应的待修改参数,并确定与所述待修改参数对应的待修改参数类型;
所述在预设区块链中遍历所述合约执行次序中的各智能合约,并对遍历到的智能合约进行实施之后,所述智能合约实施方法还包括:
监测是否生成停机事件;
在监测到所述停机事件时,判断所述停机事件的事件类型是否为正常停机事件;
在所述停机事件的事件类型不为所述正常停机事件时,将与所述待修改参数类型对应的参数恢复为所述待修改参数,并返回执行所述在预设区块链中遍历所述合约执行次序中的各智能合约,并对遍历到的智能合约进行实施的步骤。
优选地,所述在预设区块链中遍历所述合约执行次序中的各智能合约,并对遍历到的智能合约进行实施之后,所述智能合约实施方法还包括:
在检测到与所述当前业务事件对应的交易结束事件时,记录与所述当前业务事件对应的交易回执,并生成与所述交易回执对应的哈希值;
将所述交易回执与所述哈希值对应地添加至预设区块中;
在接收到用户输入的交易查询指令时,从所述交易查询指令中提取待查询哈希值;
根据所述待查询哈希值在所述预设区块中查询对应的待查询交易回执,并展示所述待查询交易回执。
此外,为实现上述目的,本发明还提出一种用户设备,所述用户设备包括存储器、处理器及存储在所述存储器上并可在所述处理器上运行的智能合约实施程序,所述智能合约实施程序配置为实现如上文所述的智能合约实施方法的步骤。
此外,为实现上述目的,本发明还提出一种存储介质,所述存储介质上存储有智能合约实施程序,所述智能合约实施程序被处理器执行时实现如上文所述的智能合约实施方法的步骤。
此外,为实现上述目的,本发明还提出一种智能合约实施装置,所述智能合约实施装置包括:参数提取模块、类型集获取模块、合约确定模块、次序确定模块以及合约实施模块;
所述参数提取模块,用于在监测到当前业务事件时,从所述当前业务事件中提取当前业务参数;
所述类型集获取模块,用于根据预设参数组合方式对所述当前业务参数的参数类型进行组合,以获得目标参数类型集;
所述合约确定模块,用于根据所述目标参数类型集在预设映射关系中确定对应的目标智能合约,所述预设映射关系中包括参数类型集与智能合约的对应关系;
所述次序确定模块,用于确定与所述目标智能合约对应的目标合约执行等级,并根据所述目标合约执行等级的等级大小进行等级排序,以获得合约执行次序,所述合约执行次序中包括按照等级排序的各目标智能合约;
所述合约实施模块,用于在预设区块链中遍历所述合约执行次序中的各智能合约,并对遍历到的智能合约进行实施。
在本发明中通过预先为参数类型集与智能合约建立预设映射关系,并为不同的智能合约制定对应的合约执行等级,实现了在需要执行智能合约时可以通过预设映射关系快速地确定待执行的目标智能合约,并同时通过合约执行等级有次序地完成多个智能合约之间的实施操作,从而保证了智能合约实施过程的稳定性,降低了实施智能合约的过程中出现合约间冲突的机率,也就解决了现有的智能合约在实施时存在着的稳定性较低的技术问题。
附图说明
图1是本发明实施例方案涉及的硬件运行环境的用户设备结构示意图;
图2为本发明智能合约实施方法第一实施例的流程示意图;
图3为本发明智能合约实施方法第二实施例的流程示意图;
图4为本发明智能合约实施方法第三实施例的流程示意图;
图5为本发明智能合约实施装置第一实施例的结构框图。
本发明目的的实现、功能特点及优点将结合实施例,参照附图做进一步说明。
具体实施方式
应当理解,此处所描述的具体实施例仅仅用以解释本发明,并不用于限定本发明。
参照图1,图1为本发明实施例方案涉及的硬件运行环境的用户设备结构示意图。
如图1所示,该用户设备可以包括:处理器1001,例如CPU,通信总线1002、用户接口1003,网络接口1004,存储器1005。其中,通信总线1002用于实现这些组件之间的连接通信。用户接口1003可以包括显示屏(Display),可选用户接口1003还可以包括标准的有线接口、无线接口,对于用户接口1003的有线接口在本发明中可为USB接口。网络接口1004可选的可以包括标准的有线接口、无线接口(如WI-FI接口)。存储器1005可以是高速RAM存储器,也可以是稳定的存储器(non-volatile memory),例如磁盘存储器。存储器1005可选的还可以是独立于前述处理器1001的存储装置。
本领域技术人员可以理解,图1中示出的结构并不构成对用户设备的限定,可以包括比图示更多或更少的部件,或者组合某些部件,或者不同的部件布置。
如图1所示,作为一种计算机存储介质的存储器1005中可以包括操作***、网络通信模块、用户接口模块以及智能合约实施程序。
在图1所示的用户设备中,网络接口1004主要用于连接后台服务器,与所述后台服务器进行数据通信;用户接口1003主要用于连接外设;所述用户设备通过处理器1001调用存储器1005中存储的智能合约实施程序,并执行本发明实施例提供的智能合约实施方法。
基于上述硬件结构,提出本发明智能合约实施方法的实施例。
参照图2,图2为本发明智能合约实施方法第一实施例的流程示意图。
在第一实施例中,所述智能合约实施方法包括以下步骤:
步骤S10:在监测到当前业务事件时,从所述当前业务事件中提取当前业务参数;
可以理解的是,由于透明且不可篡改的区块链技术可被应用于多种行业,则服务于不同行业的智能合约的合约内容也将存在着区别,比如,若区块链技术应用于物流行业,物流行业的智能合约可能涉及到物流信息的流转以及包裹的签收与派发方式等,金融行业的智能合约可能涉及证券类产品的买卖方式以及限制条件等。
在具体实现中,比如,A公司为金融类公司,A公司应用到的智能合约也将为金融类合约,该金融类合约可能涉及资产的购入与卖出、对账、审查以及清算等方向的条款。其中,智能合约实质上就是一段记录有多个参与方的权利以及义务的自动化执行代码。
比如,若监测到A公司发起了一项业务请求,该业务请求的内容为“金融账户:B1账户,业务操作员:C用户,执行操作:购入价值为5万的证券”,该请求的含义为“由C用户操作账户B1,购入价值为5万的证券”,由于事先已与B用户签订了多项智能合约,将通过已签订且合法的智能合约来执行该业务请求,以保证业务执行过程的公正性。
当然,虽然本实施例描述的业务事件(event)为A公司主动发起的业务请求,但是,业务事件不限于是主动发起的业务请求,也可为自动生成的***事件。当监测到生成的特定事件时,相关的智能合约可被自动触发,整个过程都处于无需第三方介入的状态下。
步骤S20:根据预设参数组合方式对所述当前业务参数的参数类型进行组合,以获得目标参数类型集;
可以理解的是,由于同时存在着大量的处于运行状态下的智能合约,可先挑选出实施该A公司的业务请求的相关智能合约。由于不同的智能合约将约束不同方向上的合约内容,所以,可预先建立与参数类型相关的预设映射关系,以快速地锁定待启用的目标智能合约。
在具体实现中,由于该业务请求的内容为“金融账户:B1账户,业务操作员:C用户,执行操作:购入价值为5万的证券”,其中存在着多种参数类型,包括金融账户参数、业务操作员参数以及执行操作参数等。考虑到不同的智能合约可能会处理不同的参数类型,并且,可能一个智能合约会对应多种参数类型,可先对参数类型自行组合。
应当理解的是,用于实现参数类型的自行组合的预设参数组合方式可为,先取出所有的单个参数类型,再将单个参数类型进行组合以得到参数类型集,参数类型集中可能包括一个参数类型、两个参数类型的组合、三个参数类型的组合等,比如,可为“金融账户”、“金融账户、业务操作员”以及“金融账户、执行操作”等。
当然,预设参数组合方式中也可保留固有且使用频次较高的智能合约对应的参数类型集,以提高合约的查询速度。比如,先通过预设参数组合方式将当前业务参数的参数类型组合为预先保存的固定参数类型集,再对当前业务参数的参数类型自行自由组合,以得到未保存的参数类型集。
步骤S30:根据所述目标参数类型集在预设映射关系中确定对应的目标智能合约,所述预设映射关系中包括参数类型集与智能合约的对应关系;
可以理解的是,而与这些参数类型集对应的智能合约,可能同时包括有关B用户的账户使用权限的合约,可简称D1合约;有关B用户的证券配置计划的合约,可简称D2合约;以及金融行业规定的基础性证券购入卖出的合约,可简称D3合约等。其中,“金融账户、业务操作员以及执行操作”的类型集对应的合约有D1合约与D2合约,“金融账户”的类型集对应的合约为D3合约。
应当理解的是,可能在预设映射关系中查询到的与该业务请求的实施相关的智能合约分别有,D1合约、D2合约以及D3合约。
需要说明的是,本实施例仅为解释性内容,并不对保护范围进行限定。
步骤S40:确定与所述目标智能合约对应的目标合约执行等级,并根据所述目标合约执行等级的等级大小进行等级排序,以获得合约执行次序,所述合约执行次序中包括按照等级排序的各目标智能合约;
可以理解的是,由于智能合约中存在着众多的合约条款,而海量的智能合约中难免存在着交叉的合约条款,可通过为各合约制定合约执行等级,按照合约执行等级来依次执行合约,以提高合约执行的效率,以规避掉发生合约执行冲突的现象。
在具体实现中,比如,D 1合约中约定仅B1账户可进行证券的购买以及卖出,而D 2合约中约定B1账户一次性最高可购入的证券金额需小于或等于6万,可将D1合约的合约执行等级制定为一级,D2合约的合约执行等级制定为二级,先执行一级的合约再执行二级的合约,以此类推。明显地,本次业务请求同时满足D1合约与D2合约,可成功实施B1账户下的证券购入操作;但是,若本次操作是针对的B2账户,由于不满足C1合约,则可停止执行,并向操作者进行报错提醒,也就不必流向C2合约,可以较好地提高业务执行的效率。
步骤S50:在预设区块链中遍历所述合约执行次序中的各智能合约,并对遍历到的智能合约进行实施。
在本实施例中通过预先为参数类型集与智能合约建立预设映射关系,并为不同的智能合约制定对应的合约执行等级,实现了在需要执行智能合约时可以通过预设映射关系快速地确定待执行的目标智能合约,并同时通过合约执行等级有次序地完成多个智能合约之间的实施操作,从而保证了智能合约实施过程的稳定性,降低了实施智能合约的过程中出现合约间冲突的机率,也就解决了现有的智能合约在实施时存在着的稳定性较低的技术问题。
参照图3,图3为本发明智能合约实施方法第二实施例的流程示意图,基于上述图2所示的第一实施例,提出本发明智能合约实施方法的第二实施例。
在第二实施例中,所述步骤S10之前,所述智能合约实施方法还包括:
步骤S01:在接收到合约部署请求时,从所述合约部署请求中提取待部署智能合约;
可以理解的是,对于智能合约实施方法第一实施例中实施的智能合约将被预先部署于预设区块链中,而本实施例将详细地介绍智能合约的部署过程。
步骤S02:确定与所述待部署智能合约对应的待部署参数类型集,并建立所述待部署智能合约与所述待部署参数类型集的对应关系,将所述对应关系添加至预设映射关系中;
在具体实现中,比如,当用户欲部署D4合约时,将先确定触发D4合约实施的参数类型集,并建立D4合约与该参数类型集的对应关系,同时将该对应关系保存至预设映射关系中。
此外,对于预设映射关系的存储位置,可将预设映射关系保存至预设区块链中,也可不保存于预设区块链中,而将预设映射关系缓存至本地,这样在处理业务事件时,可以更快地查找到与业务执行对应的智能合约,并跳转至预设区块链中去找到该智能合约并实施。
步骤S03:在预设区块链中对所述待部署智能合约进行部署。
进一步地,所述在预设区块链中对所述待部署智能合约进行部署之后,所述智能合约实施方法还包括:
对所述待部署智能合约与所述预设区块链中的已部署智能合约进行运行冲突检测,以获得冲突检测事件;
在所述冲突检测事件的事件类型为第一冲突类型时,根据所述冲突检测事件生成对应的第一冲突解决策略;
基于所述第一冲突解决策略对所述待部署智能合约的合约执行等级进行修改;
将修改后的合约执行等级作为与所述待部署智能合约对应的新的合约执行等级,并对当前业务事件进行监测;
在所述冲突检测事件的事件类型为第二冲突类型时,生成与所述已部署智能合约对应的待授权信息;
在接收到用户输入的与所述待授权信息对应的授权指令时,从所述授权指令中提取第二冲突解决策略,并对当前业务事件进行监测,所述第二冲突解决策略用于在所述待部署智能合约与所述已部署智能合约同时运行时处理合约间的冲突。
可以理解的是,预设区块链中将部署有大量的处于运行状态的智能合约,比如,预设区块链中可能预先部署有合约D1、合约D2与合约D3,而待部署智能合约为合约D4,但是,合约D4可能与合约D2存在着冲突,具体而言,可能合约D2的合约内容为“执行时间:2018年11月11日之后,执行操作:B3账户禁止一次性购入金额大于20万的证券”,而合约D4的合约内容为“执行时间:2018年11月12日,执行操作:B3账户一次性购入30万的证券,合法操作者:A级业务员”。明显地,由于预先部署的合约D2已经规定了2018年11月11日之后禁止B3账户一次性购入金额大于20万的证券,而合约D4的执行时间以及执行操作的金额均不满足合约D2的要求,则在后续合约的运行环节中,合约D2与合约D4之间存在着运行冲突的风险。
应当理解的是,为了规避掉该运行风险,从而进一步地提高合约运行的稳定性,可预先设置不同等级的冲突类型以及多种类型的冲突解决策略。比如,可针对合约运行时发生的冲突生成冲突检测事件,并对冲突检测事件进行分类,以区别化地解决合约冲突问题,尽量地减少对于智能合约的运行改动。比如,从冲突的剧烈程度以及影响正常运行的影响力度,从低到高分为,第一冲突类别、第二冲突类别等。
在具体实现中,比如,将为第一冲突类别预先设置对应的第一冲突解决策略即“修改待部署智能合约的执行等级”,以防止因为待部署智能合约的执行等级过低导致的合约冲突。当然,前提是部署待部署智能合约的用户账户具有调高合约等级的操作权限。并且,处于运行状态的默认合约执行规则可为,当高等级的智能合约与低等级的智能合约发生冲突时,优先采用高等级的智能合约的执行结果。
此外,至于第二冲突类别由于影响力度较大,可向已部署智能合约的管理者请求授权签名,并由管理者生成第二冲突解决策略。其中,待授权信息由待部署智能合约的部署者生成,而授权指令由已部署智能合约的管理者输入,而第二冲突解决策略为已部署智能合约的管理者制定的冲突解决策略,比如,第二冲突解决策略可为管理者修订已部署智能合约的合约内容的修订操作,管理者可修改已部署智能合约的合约等级的等级修改操作等。
应当理解的是,已部署的智能合约是不能由用户单方向进行篡改的,这也是区块链技术的优势之一。
进一步地,所述在接收到合约部署请求时,从所述合约部署请求中提取待部署智能合约,包括:
在接收到合约部署请求时,从所述合约部署请求中提取待部署智能合约和编译器标识;
所述在预设区块链中对所述待部署智能合约进行部署,包括:
根据所述编译器标识确定对应的目标合约编译器;
基于所述目标合约编译器对所述待部署智能合约按照预设编译方式进行编译,以获得编译后的合约文件;
并将编译后的合约文件存储于在预设区块链中的预设存储地址处;
所述在预设区块链中遍历所述合约执行次序中的智能合约,并对遍历到的智能合约进行实施,包括:
在所述预设区块链中遍历所述合约执行次序中的智能合约,确定与遍历到的智能合约对应的目标存储地址;
从所述目标存储地址中提取并实施目标合约文件。
可以理解的是,对于在区块链中部署待部署智能合约的具体部署方式,通常会在区块链中存储编译后的合约文件,而该编译后的合约文件代码将被存储于特定的存储地址中,编译后的合约文件实则为一串指令集。而对于智能合约的编译,还将涉及到编译器以及编译方式等方面。
可以理解的是,常见的智能合约的撰写语言为Solidity,与Solidity语言对应的常规编译器为solc编译器,这是一种命令行编译器。但是,虽然Solidity语言为以太坊推荐的高级语言,但是,这未考虑到实际应用环境下的学习成本。
在具体实现中,为了使得智能合约的实施环境具有更高的兼容性,本实施例将同时设置多种针对不同语言的合约编译器以供用户调用,不限于用户使用的撰写语言必为Solidity,也可为C++以及Python等语言。故而,将预先设置开放式编译环境以同时接入多种合约编译器。
应当理解的是,针对编译方式,智能合约的编译方式也会存在多种,比如,静态编译与动态编译,静态编译是考虑到编译后的合约文件在实际运行时可能需要与部分的链接库进行协同工作,以完成合约文件的正常执行,所以,在静态编译的过程中将同时编译进该部分的链接库,使得静态编译获得的合约文件可脱离链接库完成独立的运行;而动态编译则不编译进该部分的链接库,所以,动态编译得到的合约文件在执行时需要链接库的协同工作,如此编译效率更高。
在具体实现中,预设编译方式可为静态编译方式,也可为动态编译方式。当然,预设编译方式也可同时结合静态编译方式与动态编译方式的优点,比如,预设编译方式可通过命令行的方式进行静态编译,并将编译后的逐条指令进行缓存,当在执行该编译后的合约文件时可直接调用缓存中的指令,从而兼顾了编译结果的独立性以及执行过程的高效性。
在本实施例中在部署智能合约时预先建立预设映射关系,实现了在执行业务事件时可以在预设映射关系中快速地查找到对应的智能合约,提高了合约实施的效率。
参照图4,图4为本发明智能合约实施方法第三实施例的流程示意图,基于上述图2所示的第一实施例,提出本发明智能合约实施方法的第三实施例。
在第三实施例中,所述步骤S50,包括:
步骤S501:在预设区块链中遍历所述合约执行次序中的智能合约,确定与遍历到的智能合约对应的目标引擎标识;
可以理解的是,智能合约可运行于合约执行引擎建立的实施环境中,现有的合约执行引擎,比如,超级账本(Hyperledger)以及由中国开发的HyperVM等。而实质上,可将合约执行引擎理解为,对于与智能合约有关的应用程序接口(Application ProgrammingInterface,API)的封装,通过调用该封装来完成对于智能合约的实施。
在具体实现中,考虑到区块链技术目前正处于不断的迭代过程中,各厂商为各自的区块链产品可能设计了差异性的合约执行引擎,为了提高***运行的兼容性以及智能合约执行过程的稳定性,本实施例可预先搭建一个预设通用引擎框架,该预设通用引擎框架中可同时接入多种不同的合约执行引擎,以使得用户可同时使用多个厂商的区块链产品。
步骤S502:根据所述目标引擎标识查询对应的目标合约执行引擎,所述目标合约执行引擎为实施所述目标智能合约的实施环境;
应当理解的是,智能合约在实施之前都将通过已记录的引擎标识来确定执行该合约的执行引擎类别。
步骤S503:在预设通用引擎框架搭建所述目标合约执行引擎,并基于所述目标合约执行引擎实施遍历到的智能合约。
在具体实现中,在确定执行引擎类别后,将在已搭建的预设通用引擎框架中实施合约执行引擎的运行环境,从而在该合约执行引擎的运行环境中完成智能合约的实施。
应当理解的是,预设通用引擎框架与智能合约的具体实施过程无关,主要用于管理计算资源以及存储资源等,可近似地理解为开源管理框架Kubernates;但是,本实施例中的预设通用引擎框架可向上兼容各类的合约执行引擎。
进一步地,所述根据所述目标参数类型集在预设映射关系中确定对应的目标智能合约之后,所述智能合约实施方法还包括:
记录与所述目标智能合约对应的待修改参数,并确定与所述待修改参数对应的待修改参数类型;
所述在预设区块链中遍历所述合约执行次序中的各智能合约,并对遍历到的智能合约进行实施之后,所述智能合约实施方法还包括:
监测是否生成停机事件;
在监测到所述停机事件时,判断所述停机事件的事件类型是否为正常停机事件;
在所述停机事件的事件类型不为所述正常停机事件时,将与所述待修改参数类型对应的参数恢复为所述待修改参数,并返回执行所述在预设区块链中遍历所述合约执行次序中的各智能合约,并对遍历到的智能合约进行实施的步骤。
可以理解的是,考虑到智能合约的执行过程中可能出现停机现象,停机现象可能为编译器停机、虚拟机运行停机以及容错机制异常导致的停机等,当然,也包括由于智能合约处理业务处理完毕导致的正常停机。为了防止因为非正常停机导致的***异常,可在触发智能合约处理业务之前,对智能合约的执行可能影响的参数类型进行保存,比如,目标智能合约为合约E,合约E的执行开始需要输入参数类型E1以及E2的参数内容,执行结束将改动参数类型E3以及E4的参数内容,则待修改参数为参数类型E3以及E4。
在具体实现中,合约E的合约内容为“第一季度项目分配方案”,未执行合约E之前,参数类型E3的参数内容为“项目执行人:甲”,参数类型E4的参数内容为“项目类型:日常运维”。在监测到出现非正常的停机事件时,由于已进行了合约E的实施,可能参数类型E3与参数类型E4的参数内容已经发生了变化,故而,可将参数类型E3的参数内容回复为“项目执行人:甲”,而将参数类型E4的参数内容回复为“项目类型:日常运维”,通过这种数据的回滚机制从而保证了数据不会出现异常,保证了数据的安全性。
进一步地,所述在预设区块链中遍历所述合约执行次序中的各智能合约,并对遍历到的智能合约进行实施之后,所述智能合约实施方法还包括:
在检测到与所述当前业务事件对应的交易结束事件时,记录与所述当前业务事件对应的交易回执,并生成与所述交易回执对应的哈希值;
将所述交易回执与所述哈希值对应地添加至预设区块中;
在接收到用户输入的交易查询指令时,从所述交易查询指令中提取待查询哈希值;
根据所述待查询哈希值在所述预设区块中查询对应的待查询交易回执,并展示所述待查询交易回执。
应当理解的是,当监测到当前业务事件触发的相关智能合约执行完毕时,可在预设区块链记录该次执行过程以及执行结果,以便于用户之后可以对此次执行过程进行回溯。
在具体实现中,当每次业务事件执行完毕时,将生成对应的交易回执,交易回执用于记录在该次交易的过程中改动了的参数内容以及对应的参数类型,并对该交易回执生成对应的哈希值,以保证交易回执不被轻易篡改。同时,在后续的交易记录溯源的过程中,可通过哈希值快速地查找到对应的交易回执,以便于审查人员以及相关交易人员迅速地查询到该次交易的相关信息。
在本实施例中通过预先搭建预设通用引擎框架以兼容各种不同的合约执行引擎,从而可以良好地克服执行引擎以及智能合约之间的差异性。
此外,本发明实施例还提出一种存储介质,所述存储介质上存储有智能合约实施程序,所述智能合约实施程序被处理器执行时实现如上文所述的智能合约实施方法的步骤。
此外,参照图5,本发明实施例还提出一种智能合约实施装置,所述智能合约实施装置包括:参数提取模块10、类型集获取模块20、合约确定模块30、次序确定模块40以及合约实施模块50;
所述参数提取模块10,用于在监测到当前业务事件时,从所述当前业务事件中提取当前业务参数;
所述类型集获取模块20,用于根据预设参数组合方式对所述当前业务参数的参数类型进行组合,以获得目标参数类型集;
所述合约确定模块30,用于根据所述目标参数类型集在预设映射关系中确定对应的目标智能合约,所述预设映射关系中包括参数类型集与智能合约的对应关系;
所述次序确定模块40,用于确定与所述目标智能合约对应的目标合约执行等级,并根据所述目标合约执行等级的等级大小进行等级排序,以获得合约执行次序,所述合约执行次序中包括按照等级排序的各目标智能合约;
所述合约实施模块50,用于在预设区块链中遍历所述合约执行次序中的各智能合约,并对遍历到的智能合约进行实施。
在本实施例中通过预先为参数类型集与智能合约建立预设映射关系,并为不同的智能合约制定对应的合约执行等级,实现了在需要执行智能合约时可以通过预设映射关系快速地确定待执行的目标智能合约,并同时通过合约执行等级有次序地完成多个智能合约之间的实施操作,从而保证了智能合约实施过程的稳定性,降低了实施智能合约的过程中出现合约间冲突的机率,也就解决了现有的智能合约在实施时存在着的稳定性较低的技术问题。
需要说明的是,在本文中,术语“包括”、“包含”或者其任何其他变体意在涵盖非排他性的包含,从而使得包括一系列要素的过程、方法、物品或者***不仅包括那些要素,而且还包括没有明确列出的其他要素,或者是还包括为这种过程、方法、物品或者***所固有的要素。在没有更多限制的情况下,由语句“包括一个……”限定的要素,并不排除在包括该要素的过程、方法、物品或者***中还存在另外的相同要素。
上述本发明实施例序号仅仅为了描述,不代表实施例的优劣。
在列举了若干装置的单元权利要求中,这些装置中的若干个可以是通过同一个硬件项来具体体现。词语第一、第二、以及第三等的使用不表示任何顺序,可将这些词语解释为名称。
通过以上的实施方式的描述,本领域的技术人员可以清楚地了解到上述实施例方法可借助软件加必需的通用硬件平台的方式来实现,当然也可以通过硬件,但很多情况下前者是更佳的实施方式。基于这样的理解,本发明的技术方案本质上或者说对现有技术做出贡献的部分可以以软件产品的形式体现出来,该计算机软件产品存储在一个存储介质(如ROM/RAM、磁碟、光盘)中,包括若干指令用以使得一台终端设备(可以是手机,计算机,服务器,空调器,或者网络设备等)执行本发明各个实施例所述的方法。
以上仅为本发明的优选实施例,并非因此限制本发明的专利范围,凡是利用本发明说明书及附图内容所作的等效结构或等效流程变换,或直接或间接运用在其他相关的技术领域,均同理包括在本发明的专利保护范围内。

Claims (10)

1.一种智能合约实施方法,其特征在于,所述智能合约实施方法包括以下步骤:
在监测到当前业务事件时,从所述当前业务事件中提取当前业务参数;
根据预设参数组合方式对所述当前业务参数的参数类型进行组合,以获得目标参数类型集;
根据所述目标参数类型集在预设映射关系中确定对应的目标智能合约,所述预设映射关系中包括参数类型集与智能合约的对应关系;
确定与所述目标智能合约对应的目标合约执行等级,并根据所述目标合约执行等级的等级大小进行等级排序,以获得合约执行次序,所述合约执行次序中包括按照等级排序的各目标智能合约;
在预设区块链中遍历所述合约执行次序中的各智能合约,并对遍历到的智能合约进行实施。
2.如权利要求1所述的智能合约实施方法,其特征在于,所述在监测到当前业务事件时,从所述当前业务事件中提取当前业务参数之前,所述智能合约实施方法还包括:
在接收到合约部署请求时,从所述合约部署请求中提取待部署智能合约;
确定与所述待部署智能合约对应的待部署参数类型集,并建立所述待部署智能合约与所述待部署参数类型集的对应关系,将所述对应关系添加至预设映射关系中;
在预设区块链中对所述待部署智能合约进行部署。
3.如权利要求2所述的智能合约实施方法,其特征在于,所述在预设区块链中对所述待部署智能合约进行部署之后,所述智能合约实施方法还包括:
对所述待部署智能合约与所述预设区块链中的已部署智能合约进行运行冲突检测,以获得冲突检测事件;
在所述冲突检测事件的事件类型为第一冲突类型时,根据所述冲突检测事件生成对应的第一冲突解决策略;
基于所述第一冲突解决策略对所述待部署智能合约的合约执行等级进行修改;
将修改后的合约执行等级作为与所述待部署智能合约对应的新的合约执行等级,并对当前业务事件进行监测;
在所述冲突检测事件的事件类型为第二冲突类型时,生成与所述已部署智能合约对应的待授权信息;
在接收到用户输入的与所述待授权信息对应的授权指令时,从所述授权指令中提取第二冲突解决策略,并对当前业务事件进行监测,所述第二冲突解决策略用于在所述待部署智能合约与所述已部署智能合约同时运行时处理合约间的冲突。
4.如权利要求2所述的智能合约实施方法,其特征在于,所述在接收到合约部署请求时,从所述合约部署请求中提取待部署智能合约,包括:
在接收到合约部署请求时,从所述合约部署请求中提取待部署智能合约和编译器标识;
所述在预设区块链中对所述待部署智能合约进行部署,包括:
根据所述编译器标识确定对应的目标合约编译器;
基于所述目标合约编译器对所述待部署智能合约按照预设编译方式进行编译,以获得编译后的合约文件;
并将编译后的合约文件存储于在预设区块链中的预设存储地址处;
所述在预设区块链中遍历所述合约执行次序中的智能合约,并对遍历到的智能合约进行实施,包括:
在所述预设区块链中遍历所述合约执行次序中的智能合约,确定与遍历到的智能合约对应的目标存储地址;
从所述目标存储地址中提取并实施目标合约文件。
5.如权利要求1至3中任一项所述的智能合约实施方法,其特征在于,所述在预设区块链中遍历所述合约执行次序中的各智能合约,并对遍历到的智能合约进行实施,包括:
在预设区块链中遍历所述合约执行次序中的智能合约,确定与遍历到的智能合约对应的目标引擎标识;
根据所述目标引擎标识查询对应的目标合约执行引擎,所述目标合约执行引擎为实施所述目标智能合约的实施环境;
在预设通用引擎框架搭建所述目标合约执行引擎,并基于所述目标合约执行引擎实施遍历到的智能合约。
6.如权利要求1至4中任一项所述的智能合约实施方法,其特征在于,所述根据所述目标参数类型集在预设映射关系中确定对应的目标智能合约之后,所述智能合约实施方法还包括:
记录与所述目标智能合约对应的待修改参数,并确定与所述待修改参数对应的待修改参数类型;
所述在预设区块链中遍历所述合约执行次序中的各智能合约,并对遍历到的智能合约进行实施之后,所述智能合约实施方法还包括:
监测是否生成停机事件;
在监测到所述停机事件时,判断所述停机事件的事件类型是否为正常停机事件;
在所述停机事件的事件类型不为所述正常停机事件时,将与所述待修改参数类型对应的参数恢复为所述待修改参数,并返回执行所述在预设区块链中遍历所述合约执行次序中的各智能合约,并对遍历到的智能合约进行实施的步骤。
7.如权利要求1至4中任一项所述的智能合约实施方法,其特征在于,所述在预设区块链中遍历所述合约执行次序中的各智能合约,并对遍历到的智能合约进行实施之后,所述智能合约实施方法还包括:
在检测到与所述当前业务事件对应的交易结束事件时,记录与所述当前业务事件对应的交易回执,并生成与所述交易回执对应的哈希值;
将所述交易回执与所述哈希值对应地添加至预设区块中;
在接收到用户输入的交易查询指令时,从所述交易查询指令中提取待查询哈希值;
根据所述待查询哈希值在所述预设区块中查询对应的待查询交易回执,并展示所述待查询交易回执。
8.一种用户设备,其特征在于,所述用户设备包括:存储器、处理器及存储在所述存储器上并可在所述处理器上运行智能合约实施程序,所述智能合约实施程序被所述处理器执行时实现如权利要求1至7中任一项所述的智能合约实施方法的步骤。
9.一种存储介质,其特征在于,所述存储介质上存储有智能合约实施程序,所述智能合约实施程序被处理器执行时实现如权利要求1至7中任一项所述的智能合约实施方法的步骤。
10.一种智能合约实施装置,其特征在于,所述智能合约实施装置包括:参数提取模块、类型集获取模块、合约确定模块、次序确定模块以及合约实施模块;
所述参数提取模块,用于在监测到当前业务事件时,从所述当前业务事件中提取当前业务参数;
所述类型集获取模块,用于根据预设参数组合方式对所述当前业务参数的参数类型进行组合,以获得目标参数类型集;
所述合约确定模块,用于根据所述目标参数类型集在预设映射关系中确定对应的目标智能合约,所述预设映射关系中包括参数类型集与智能合约的对应关系;
所述次序确定模块,用于确定与所述目标智能合约对应的目标合约执行等级,并根据所述目标合约执行等级的等级大小进行等级排序,以获得合约执行次序,所述合约执行次序中包括按照等级排序的各目标智能合约;
所述合约实施模块,用于在预设区块链中遍历所述合约执行次序中的各智能合约,并对遍历到的智能合约进行实施。
CN201810553591.3A 2018-05-31 2018-05-31 智能合约实施方法、用户设备、存储介质及装置 Withdrawn CN108876610A (zh)

Priority Applications (1)

Application Number Priority Date Filing Date Title
CN201810553591.3A CN108876610A (zh) 2018-05-31 2018-05-31 智能合约实施方法、用户设备、存储介质及装置

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
CN201810553591.3A CN108876610A (zh) 2018-05-31 2018-05-31 智能合约实施方法、用户设备、存储介质及装置

Publications (1)

Publication Number Publication Date
CN108876610A true CN108876610A (zh) 2018-11-23

Family

ID=64336326

Family Applications (1)

Application Number Title Priority Date Filing Date
CN201810553591.3A Withdrawn CN108876610A (zh) 2018-05-31 2018-05-31 智能合约实施方法、用户设备、存储介质及装置

Country Status (1)

Country Link
CN (1) CN108876610A (zh)

Cited By (21)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN109710235A (zh) * 2018-12-29 2019-05-03 杭州趣链科技有限公司 一种基于Java智能合约业务逻辑的事务实现***及方法
CN109933404A (zh) * 2018-12-12 2019-06-25 阿里巴巴集团控股有限公司 一种基于区块链智能合约的编解码方法及***
CN109951467A (zh) * 2019-03-11 2019-06-28 你好现在(北京)科技股份有限公司 一种基于区块链的数据交互***、方法和设备
CN109949156A (zh) * 2019-02-28 2019-06-28 矩阵元技术(深圳)有限公司 一种区块链合约的数据处理方法及服务器
CN110097364A (zh) * 2019-04-30 2019-08-06 翟红鹰 区块链智能合约模块化生成方法、***、终端及存储介质
CN110602227A (zh) * 2019-09-19 2019-12-20 腾讯科技(深圳)有限公司 一种智能合约管理的方法以及相关装置
CN110990346A (zh) * 2019-11-28 2020-04-10 中国建设银行股份有限公司 基于区块链的文件数据处理方法、装置、设备及存储介质
WO2020108126A1 (zh) * 2018-11-28 2020-06-04 阿里巴巴集团控股有限公司 一种资源转移事件的记录方法、装置及电子设备
CN111356102A (zh) * 2018-12-21 2020-06-30 西安佰才邦网络技术有限公司 一种基于区块链购买业务的方法及设备
CN111355754A (zh) * 2018-12-21 2020-06-30 西安佰才邦网络技术有限公司 一种基于区块链购买业务的方法及设备
CN111400303A (zh) * 2020-01-13 2020-07-10 复旦大学 智能合约数据提取和同步方法、***和平台
CN111857892A (zh) * 2020-09-22 2020-10-30 支付宝(杭州)信息技术有限公司 通过区块链进行业务处理的方法及装置
CN112019617A (zh) * 2020-08-26 2020-12-01 支付宝(杭州)信息技术有限公司 一种数据存储方法、装置及设备
CN112150282A (zh) * 2020-05-07 2020-12-29 北京天德科技有限公司 一种基于事件库的智能合约处理机制
CN112465117A (zh) * 2020-11-25 2021-03-09 平安科技(深圳)有限公司 合约生成模型构建方法、装置、设备及存储介质
CN112651738A (zh) * 2019-10-12 2021-04-13 富士通株式会社 信息处理装置和信息处理方法
CN113542435A (zh) * 2021-09-15 2021-10-22 支付宝(杭州)信息技术有限公司 一种用户服务使用方法及装置
US11278175B2 (en) 2015-04-09 2022-03-22 Irobot Corporation Wall following robot
CN114297119A (zh) * 2021-12-30 2022-04-08 北京百度网讯科技有限公司 智能合约执行方法、装置、设备以及存储介质
WO2023185052A1 (zh) * 2022-03-30 2023-10-05 蚂蚁区块链科技(上海)有限公司 基于智能合约的计算、更新、读取方法及装置、电子设备
CN116880857A (zh) * 2023-09-07 2023-10-13 中国民航信息网络股份有限公司 一种跨区块链引擎的智能合约生成方法及***

Cited By (32)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US11278175B2 (en) 2015-04-09 2022-03-22 Irobot Corporation Wall following robot
WO2020108126A1 (zh) * 2018-11-28 2020-06-04 阿里巴巴集团控股有限公司 一种资源转移事件的记录方法、装置及电子设备
CN109933404B (zh) * 2018-12-12 2020-05-12 阿里巴巴集团控股有限公司 一种基于区块链智能合约的编解码方法及***
CN109933404A (zh) * 2018-12-12 2019-06-25 阿里巴巴集团控股有限公司 一种基于区块链智能合约的编解码方法及***
CN111356102B (zh) * 2018-12-21 2022-07-19 西安佰才邦网络技术有限公司 一种基于区块链购买业务的方法及设备
CN111356102A (zh) * 2018-12-21 2020-06-30 西安佰才邦网络技术有限公司 一种基于区块链购买业务的方法及设备
CN111355754A (zh) * 2018-12-21 2020-06-30 西安佰才邦网络技术有限公司 一种基于区块链购买业务的方法及设备
CN111355754B (zh) * 2018-12-21 2023-06-27 西安佰才邦网络技术有限公司 一种基于区块链购买业务的方法及设备
CN109710235A (zh) * 2018-12-29 2019-05-03 杭州趣链科技有限公司 一种基于Java智能合约业务逻辑的事务实现***及方法
CN109710235B (zh) * 2018-12-29 2022-04-01 杭州趣链科技有限公司 一种基于Java智能合约业务逻辑的事务实现***及方法
CN109949156B (zh) * 2019-02-28 2024-03-01 矩阵元技术(深圳)有限公司 一种区块链合约的数据处理方法及服务器
CN109949156A (zh) * 2019-02-28 2019-06-28 矩阵元技术(深圳)有限公司 一种区块链合约的数据处理方法及服务器
CN109951467A (zh) * 2019-03-11 2019-06-28 你好现在(北京)科技股份有限公司 一种基于区块链的数据交互***、方法和设备
CN109951467B (zh) * 2019-03-11 2021-09-28 苏州缓流科技有限公司 一种基于区块链的数据交互***、方法和设备
CN110097364A (zh) * 2019-04-30 2019-08-06 翟红鹰 区块链智能合约模块化生成方法、***、终端及存储介质
CN110602227A (zh) * 2019-09-19 2019-12-20 腾讯科技(深圳)有限公司 一种智能合约管理的方法以及相关装置
CN112651738A (zh) * 2019-10-12 2021-04-13 富士通株式会社 信息处理装置和信息处理方法
CN110990346A (zh) * 2019-11-28 2020-04-10 中国建设银行股份有限公司 基于区块链的文件数据处理方法、装置、设备及存储介质
CN111400303A (zh) * 2020-01-13 2020-07-10 复旦大学 智能合约数据提取和同步方法、***和平台
CN111400303B (zh) * 2020-01-13 2023-07-21 复旦大学 智能合约数据提取和同步方法、***
CN112150282A (zh) * 2020-05-07 2020-12-29 北京天德科技有限公司 一种基于事件库的智能合约处理机制
CN112019617A (zh) * 2020-08-26 2020-12-01 支付宝(杭州)信息技术有限公司 一种数据存储方法、装置及设备
CN112019617B (zh) * 2020-08-26 2022-09-27 蚂蚁胜信(上海)信息技术有限公司 一种数据存储方法、装置及设备
US11381383B2 (en) 2020-09-22 2022-07-05 Alipay (Hangzhou) Information Technology Co., Ltd. Methods and apparatuses for processing service using blockchain
CN111857892A (zh) * 2020-09-22 2020-10-30 支付宝(杭州)信息技术有限公司 通过区块链进行业务处理的方法及装置
CN112465117A (zh) * 2020-11-25 2021-03-09 平安科技(深圳)有限公司 合约生成模型构建方法、装置、设备及存储介质
CN112465117B (zh) * 2020-11-25 2024-05-07 平安科技(深圳)有限公司 合约生成模型构建方法、装置、设备及存储介质
CN113542435A (zh) * 2021-09-15 2021-10-22 支付宝(杭州)信息技术有限公司 一种用户服务使用方法及装置
CN114297119A (zh) * 2021-12-30 2022-04-08 北京百度网讯科技有限公司 智能合约执行方法、装置、设备以及存储介质
WO2023185052A1 (zh) * 2022-03-30 2023-10-05 蚂蚁区块链科技(上海)有限公司 基于智能合约的计算、更新、读取方法及装置、电子设备
CN116880857A (zh) * 2023-09-07 2023-10-13 中国民航信息网络股份有限公司 一种跨区块链引擎的智能合约生成方法及***
CN116880857B (zh) * 2023-09-07 2024-01-26 中国民航信息网络股份有限公司 一种跨区块链引擎的智能合约生成方法及***

Similar Documents

Publication Publication Date Title
CN108876610A (zh) 智能合约实施方法、用户设备、存储介质及装置
Li et al. Blockchain-enabled logistics finance execution platform for capital-constrained E-commerce retail
US9298759B2 (en) Smart containers
Van Der Aalst et al. Inheritance of workflows: an approach to tackling problems related to change
CN108536445A (zh) 面向区块链智能合约的高度自动化形式化验证***及方法
US20190243629A1 (en) Systems and methods for entry point-based code analysis and transformation
US20080294480A1 (en) Creating a privacy policy from a process model and verifying the compliance
CN101201753A (zh) 一种多状态机管理引擎的配置管理方法
US11113266B2 (en) Detecting inconsistencies in semantics of business vocabulary and business rules (SBVR) using many-sorted logic
CN109992285A (zh) 区块链代码块独立升级方法、装置及电子设备
He et al. TokenCat: detect flaw of authentication on ERC20 tokens
Novikov et al. Attribute-based approach of defining the secure behavior of automata objects
Günay et al. Promoca: Probabilistic modeling and analysis of agents in commitment protocols
Göttmann et al. Static analysis techniques for efficient consistency checking of real-time-aware dspl specifications
US20140149186A1 (en) Method and system of using artifacts to identify elements of a component business model
CN107315678A (zh) 调试工具的调用方法及装置
Shin et al. Transformation of UML-based system model to design/CPN model for validating system behavior
Shou et al. Llm4fuzz: Guided fuzzing of smart contracts with large language models
CN114493493A (zh) 决策引擎及决策引擎实现方法
Liu [Retracted] Software Vulnerability Mining Techniques Based on Data Fusion and Reverse Engineering
CN110221952A (zh) 业务数据的处理方法及装置、业务数据处理***
Huth et al. Risk engineering and blockchain: Anticipating and mitigating risks
Filho et al. Customizing the common variability language semantics for your domain models
Logesh et al. Supply Chain Data Management for Web Services
Olivieri et al. Applications of Linear Defeasible Logic: combining resource consumption and exceptions to energy management and business processes

Legal Events

Date Code Title Description
PB01 Publication
PB01 Publication
SE01 Entry into force of request for substantive examination
SE01 Entry into force of request for substantive examination
WW01 Invention patent application withdrawn after publication

Application publication date: 20181123

WW01 Invention patent application withdrawn after publication