CN109614093A - 可视化智能合约系统以及智能合约的处理方法 - Google Patents

可视化智能合约系统以及智能合约的处理方法 Download PDF

Info

Publication number
CN109614093A
CN109614093A CN201811292379.2A CN201811292379A CN109614093A CN 109614093 A CN109614093 A CN 109614093A CN 201811292379 A CN201811292379 A CN 201811292379A CN 109614093 A CN109614093 A CN 109614093A
Authority
CN
China
Prior art keywords
contract
intelligent contract
visual
template
intelligent
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.)
Granted
Application number
CN201811292379.2A
Other languages
English (en)
Other versions
CN109614093B (zh
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.)
Broadcasting Information Technology (shanghai) Co Ltd
Original Assignee
Broadcasting Information Technology (shanghai) 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 Broadcasting Information Technology (shanghai) Co Ltd filed Critical Broadcasting Information Technology (shanghai) Co Ltd
Priority to CN201811292379.2A priority Critical patent/CN109614093B/zh
Publication of CN109614093A publication Critical patent/CN109614093A/zh
Application granted granted Critical
Publication of CN109614093B publication Critical patent/CN109614093B/zh
Active legal-status Critical Current
Anticipated expiration legal-status Critical

Links

Classifications

    • GPHYSICS
    • G06COMPUTING; CALCULATING OR COUNTING
    • G06FELECTRIC DIGITAL DATA PROCESSING
    • G06F8/00Arrangements for software engineering
    • G06F8/30Creation or generation of source code
    • G06F8/34Graphical or visual programming
    • GPHYSICS
    • G06COMPUTING; CALCULATING OR COUNTING
    • G06FELECTRIC DIGITAL DATA PROCESSING
    • G06F8/00Arrangements for software engineering
    • G06F8/30Creation or generation of source code
    • G06F8/33Intelligent editors

Landscapes

  • Engineering & Computer Science (AREA)
  • Software Systems (AREA)
  • General Engineering & Computer Science (AREA)
  • Theoretical Computer Science (AREA)
  • Physics & Mathematics (AREA)
  • General Physics & Mathematics (AREA)
  • Management, Administration, Business Operations System, And Electronic Commerce (AREA)

Abstract

本申请提供一种高效智能的可视化智能合约系统以及智能合约的处理方法。该种可视化智能合约系统,包括:合约构件生成装置;合约构件探测装置;合约模版构造装置,用于根据所述合约构件生成至少一种类型的智能合约的模版;智能合约封装装置,用于根据所述智能合约的模版的种类生成可视化的流程配置框体,并且还用于通过所述流程配置框体来生成可视化流程图;以及合约处理装置,用于根据所述可视化流程图来执行所述智能合约。本申请利用图形化的智能合约系统不需要开发,降低了技术要求限制,智能合约参与者根据现实世界对于合约的理解都可以实施,降低了使用门坎。

Description

可视化智能合约系统以及智能合约的处理方法
技术领域
本申请涉及区块链领域,特别的,涉及可视化智能合约系统以及一种智能合约的处理方法。
背景技术
当前,区块链技术逐渐被大家所认知,并应用于社会生产的各个领域与环节,智能合约作为区块链技术领域的关键技术,在整个区块链技术与应用范畴中占有相当大的比重,而现有社会中存在或展现出来的智能合约与技术应用落地却都还只处在技术发展的雏型阶段,不仅在科学技术层面的物理应用与实施方面,在与现实社会观念融合与视角方面,还都存在着很大的差距,现今的智能合约在真实应用与理论层面还有待很大的提高与完善。
基于尼克萨博(Nick Szabo)提出的“智能合约”概念,目前在智能合约领域,人们所实现的智能合约都采用的是代码编程语言+配套运行环境的方式,不同的智能合约都有各自不同的编程语言,而这些程序语言普遍都存在覆盖面小,技术面还未成熟,还存在着各种不足与缺馅,这为智能合约的实践带来了高昂的语言学习和开发实施成本,造成智能合约运用技能要求高、应用实施周期长,极为复杂且不直观,调试、部署及运用对环境依赖程度高,不可移植、应用场景固化、可变因素多造成安全性不可预期等诸多问题。
公开于本申请背景技术部分的信息仅仅旨在加深对本申请的一般背景技术的理解,而不应当被视为承认或以任何形式暗示该信息构成已为本领域技术人员所公知的现有技术。
发明内容
本申请的主要目的在于提供一种高效智能的可视化智能合约系统。
为了解决上述问题,本申请涉及一种可视化智能合约系统,包括:合约构件生成装置,用于生成智能合约中的信息要素;合约构件探测装置,用于根据生成的信息要素的标签在区块链平台中查找与信息要素对应的合约构件;合约模版构造装置,用于根据所述合约构件生成至少一种类型的智能合约的模版;智能合约封装装置,用于根据所述智能合约的模版的种类生成可视化的流程配置框体,并且还用于通过所述流程配置框体来生成可视化流程图;以及合约处理装置,用于根据所述可视化流程图来执行所述智能合约。
进一步的,所述可视化智能合约系统还包括:合约构件存储装置,用于存储生成的信息要素;以及合约模版存储装置,用于存储生成的智能合约的模版。
更进一步的,所述合约构件存储装置和合约模版存储装置为本地数据库或者分布式数据库。
进一步的,所述可视化智能合约系统还包括:合约状态检测装置,其设置在所述可视化流程图中的各个节点,用于检测各个节点的工作状态。
进一步的,所述可视化智能合约系统还包括:消息事件分发装置,其设置在所述可视化流程图中的各个节点,用于分发从各个节点生成的消息事件。
进一步的,所述可视化智能合约系统还包括:合约数据采集装置,用于采集用户输入的数据,并且将该数据输入至所述合约处理装置,以根据用户输入的数据和所述可视化流程图来执行所述智能合约。
进一步的,所述可视化智能合约系统还包括:智能合约网关装置,设置在所述合约处理装置与区块链平台之间,用于将智能合约的工作环境与区块链平台之间进行隔离。
进一步的,所述可视化智能合约系统还包括:合约编译装置,设置在所述智能合约封装装置与合约处理装置之间,用于将所述可视化流程图编译为合约处理装置能够执行和处理的指令集合。
进一步的,所述智能合约封装装置进一步地用于,通过响应用户的对于所述流程配置框体的移动来生成所述可视化流程图。
本申请还涉及一种智能合约的处理方法,包括:生成智能合约中的信息要素;根据生成的信息要素的标签在区块链平台中查找与信息要素对应的合约构件;根据所述合约构件生成至少一种类型的智能合约的模版;根据所述智能合约的模版的种类生成可视化的流程配置框体,并且通过所述流程配置框体来生成可视化流程图;根据所述可视化流程图来执行所述智能合约。
本申请的有益效果是:
本申请利用图形化的智能合约系统不需要开发,降低了技术要求限制,智能合约参与者根据现实世界对于合约的理解都可以实施,降低了使用门坎。
并且由于对智能合约的具体实现不再是程序代码,同时行为接触的方式也不再是用手敲代码,只需要拖、拉、拽构建合约及流程即可以实现智能合约。因此,本申请不涉及代码开发,降低了智能合约学习、实践的成本与应用部署周期,并且技术问题都由本发明自身解决,提高了智能合约应用的健壮性与安全性。
本申请基于图形化与抽象的智能合约构建的方式,智能合约的应用不与具体业务场景进行绑定,提高了智能合约应用的通用性、兼容性与复用性。
附图说明
构成本申请的一部分的附图用来提供对本申请的进一步理解,使得本申请的其它特征、目的和优点变得更明显。本申请的示意性实施例附图及其说明用于解释本申请,并不构成对本申请的不当限定。在附图中:
图1是根据本申请实施例的可视化智能合约系统的架构图;
图2是根据本申请实施例的智能合约的处理方法的流程图。
具体实施方式
为了使本技术领域的人员更好地理解本申请方案,下面将结合本申请实施例中的附图,对本申请实施例中的技术方案进行清楚、完整地描述,显然,所描述的实施例仅仅是本申请一部分的实施例,而不是全部的实施例。基于本申请中的实施例,本领域普通技术人员在没有做出创造性劳动前提下所获得的所有其他实施例,都应当属于本申请保护的范围。
此外,术语“安装”、“设置”、“设有”、“连接”、“配置为”应做广义理解。例如,可以是固定连接,可拆卸连接,或整体式构造;可以是机械连接,或电连接;可以是直接相连,或者是通过中间媒介间接相连,又或者是两个装置、元件或组成部分之间内部的连通。对于本领域普通技术人员而言,可以根据具体情况理解上述术语在本申请中的具体含义。
需要说明的是,在不冲突的情况下,本申请中的实施例及实施例中的特征可以相互组合。下面将参考附图并结合实施例来详细说明本申请。其中,图1是根据本申请实施例的可视化智能合约系统的架构图,图2是根据本申请实施例的智能合约的处理方法的流程图。
如图1所示,本申请的一种可视化智能合约系统,包括:合约构件生成装置1、合约构件存储装置2、合约构件探测装置3、合约模版构造装置4、合约模版存储装置5、智能合约封装装置6和合约处理装置9。
所述合约构件生成装置1用于生成智能合约中的信息要素,所述智能合约中的信息要素可以包括但不限于与合同相关的项目数。具体的,所述构件生成装置1可以包括一个完整的合约构件制作与生成工具,并且具有可视化的构件制作界面与源代码编辑界面,负责完成初始构件的创建、修改、删除、导入、导出等构件的功能。
进一步的,所述合约构件生成装置1可以理解为合约中的信息要素,即现实社会中具体体现的零部件,在合约中可能体现为合约参与方,如甲方、乙方等,每一项要素在合约内容未产生前都是未知的,构件生成器就类似于一张白纸,由用户在白纸上设计并制作出智能合约中可能涉及到的单一信息要素,并与计算机中的物理要素建立关联关系,逐一保存,形成整个智能合约中的信息要素集,即合约中的信息项。
所述合约构件存储装置2可以是设置在本地的数据库也可以是分布式数据库,并且用于存储生成的信息要素,进一步的,合约构件存储装置2用于存储智能合约中信息要素项的集合(也可以是构件的存储集合),其用于维护不同合约中的所有信息项,其可以是单一的构件,也可以是合约信息项的构件组合,合约构件存储装置2在初始阶段会预置部分基础构件。需要说明的是,在采用下面所描述的智能合约网关的情况下,所述信息要素的数据将存在本地数据库,而对于不存在智能合约网关的其它的情况下,所述信息要素的数据都存储于区块链上。所述合约构件探测装置3用于根据生成的信息要素的标签在区块链平台中查找与信息要素对应的合约构件。具体的,所述合约构件探测装置3用于发现并自动生成与平台相关联的构件,通过对底层区块链平台进行探测,搜索区块链提供的基础业务逻辑与控测接口,自动发现就生成与底层平台配套的构件,从而实现了平台化的“即插即用”,即平台化的UPnP构件技术,发现及探测到的构件将自动添加到构建库中。
所述合约模版构造装置4设置在合约构件生成装置1与智能合约封装装置6之间,并且用于根据所述合约构件生成至少一种类型的智能合约的模版。具体的,所述合约模版构造装置4作为一个完整的合约模板生成工具,具有可视化的模板构建界面,模板构造器用于生成不同类型的智能合约模板。就好比于现实社会中的建筑楼房一样,需要先建立打地基,再建框架,然后是设计房屋结构,最后是水电安装及装修等,但可能楼房是建立在水中的,也可能是建设在高山上的,所以需要区分对待,智能合约的具体体现可能存在着多种不同的类型合约,比如合同、法律文书、协议或票据等,各种不同的合约都可能有不同的针对性或内容需求,因此这就需要将他整合在一起,形成模板,就如现实世界中的劳动合同或银行存单、存据,工商税务中的发票一样。
所述合约模版存储装置5可以是设置在本地的数据库也可以是分布式数据库,并且用于存储由合约模版构造装置4生成的所述智能合约的模版。具体的,合约模版存储装置是所有合约模板的集合,负责合约模板的分类与维护,实现合约模板的标签化,我们需要预置不同类型的合约模板,以针对不同的业务类型,并且能够对模板进行管理,如备份存贮、不同平台间的共享或转移等,合约模板是高度抽象化的,在计算机环境中就是通用性较高的抽象接口,在现实世界则是一份合约,不同类型的模板可能应用于不同的场景,就像发票一样,有第一、二、三联,第一联发给客户,第二联自己留着做帐,第三联留底一样,智能合约的模板也是如此,有些可能只用于显示,而有些可能是用来在区块链中运行,模板库则负责对这些进行区分整理,并实现标签化,就类似于将不同的文件装进不同的文件夹中一样。类似的,在采用下面所描述的智能合约网关的情况下,所述智能合约的模版数据将存在本地数据库,而对于不存在智能合约网关的其它的情况下,所述智能合约的模版数据都存储于区块链上。
智能合约封装装置6设置在合约模版构造装置4与合约处理装置9之间,并且用于根据所述智能合约的模版的种类生成可视化的流程配置框体,并且还用于通过用户的对于所述流程配置框体的移动来生成可视化流程图。
具体的,所述智能合约封装装置6确定智能合约所需要经历的环节,负责制定智能合约所需要执行的操作与流程规则,例如,可以类似于办公OA领域公文流转中的工作流一样,并且可能涉及到时序,可能涉及到接口,它是一个更加底层的流程定义与环境定义工具,有一部分可视化的操作过程类似工作流,但它是一个环境封装器。
通过智能合约封装器我们可以形成可视化的智能合约视图,可以直观的分析与判定智能合约可能存的风险与问题,这将使智能合约的实践过程从智能合约的技术面向智能合约的业务面转变,图形化的全景展示智能合约的场景与过程,便于更贴近实际应用与受众面,真正体现了以技术基础为业务服务的本质特征。
所述合约处理装置9用于根据所述可视化流程图来执行所述智能合约。具体的,所述合约处理装置9是智能合约的运行核心,负责智能合约的具体执行与反馈,就像人的手和脚一样,智能合约处理器是智能合约的运行与计算环境,其功能类似于计算机中的CPU。
此外,所述可视化智能合约系统还包括:合约状态检测装置10,其设置在所述可视化流程图中的各个节点,用于检测各个节点的工作状态。合约状态检测装置10用于采集或控制智能合约在执行过程中的相关状态,就如汽车的仪表盘,飞机的驾驶舱一样,用于接收及控制智能合约整个生命周期的运行过程,可以决定智能合约有效的被执行,也同样可以决定智能合约有效的被停止,但却不能有效的介入智能合约的运作过程,智能合约是基础区块链之上,区块链的共识特征决定了这一点,并且智能合约执行的结果不可逆,不可篡改。
此外,所述可视化智能合约系统还包括:消息事件分发装置11,其设置在所述可视化流程图中的各个节点,用于分发从各个节点生成的消息事件。消息事件分发装置11是智能合约体系中的触发器,用于执行与智能合约相关联的操作,如当智能合约的某某事件到达时,向第三方发送通知,并触发终端传感器或计算机声卡播放一段语音或警报,事件消息分发器负责事件的管理、外置接口及资源调度的管理,事件消息分发器是消息中转的队列,接收并传送事件消息给其它模块。
此外,所述可视化智能合约系统还包括:合约数据采集装置8,用于采集用户输入的数据,并且将该数据输入至所述合约处理装置,以根据用户输入的数据和所述可视化流程图来执行所述智能合约。合约数据采集装置8是智能合约面向用户的终端,负责展示智能合约的可视化要素采集界面,用户可在界面上录入智能合约所需要的实际数据,完成合约数据的采集,合约数据的终端界面可能是以H5为基础的网页,也可能是以接口形式存在的传输接口,如HTTP、HTTPS、FTP或Socket等。
进一步的,本申请还包括:智能合约网关装置12,其设置在所述合约处理装置9与区块链平台13之间,用于将智能合约的工作环境与区块链平台之间进行隔离。智能合约网关装置12是智能合约运行环境的前置,只面向于高负载、高安全要求的大型应用,负责完成多合约环境的负载接入与网络隔离,智能合约网关是独立的系统,是在大型应用场景下的应用解决方案,与之配套的智能合约系统都将是独立的系统。
此外,所述可视化智能合约系统还包括:合约编译装置7,设置在所述智能合约封装装置与合约处理装置之间,用于将所述可视化流程图编译为合约处理装置能够执行和处理的指令集合。合约编译装置7是一个将可视化智能合约视图转化为智能合约处理器可接受并执行的编译环境,通过合约编译器可将可视化智能合约编译为目标程序,并在智能合约处理中得到执行,这一切都是自动完成的,合约编译装置7类似于现实感观世界与计算机环境中的翻译机,负责完成不同空间之间的转换。
如图2所示,本申请还涉及一种智能合约的处理方法,该方法可以包括以下步骤S1至步骤S5:
在步骤S1,生成智能合约中的信息要素。
在步骤S2,根据生成的信息要素的标签在区块链平台中查找与信息要素对应的合约构件。
在步骤S3,根据所述合约构件生成至少一种类型的智能合约的模版。
在步骤S4,根据所述智能合约的模版的种类生成可视化的流程配置框体,并且通过所述流程配置框体来生成可视化流程图。
在步骤S5,根据所述可视化流程图来执行所述智能合约。
本申请所涉及的计算机程序可以存储于计算机可读存储介质中,所述计算机可读存储介质可以包括:能够携带计算机程序代码的任何实体装置、虚拟装置、优盘、移动硬盘、磁碟、光盘、计算机存储器、只读计算机存储器(Read-Only Memory,ROM)、随机存取计算机存储器(Random Access Memory,RAM)、电载波信号、电信信号以及其他软件分发介质等。
显然,本领域的技术人员应该明白,上述的本发明的各模块或各步骤可以用通用的计算装置来实现,它们可以集中在单个的计算装置上,或者分布在多个计算装置所组成的网络上,可选地,它们可以用计算装置可执行的程序代码来实现,从而,可以将它们存储在存储装置中由计算装置来执行,或者将它们分别制作成各个集成电路模块,或者将它们中的多个模块或步骤制作成单个集成电路模块来实现。这样,本发明不限制于任何特定的硬件和软件结合。
以上所述仅为本申请的优选实施例而已,并不用于限制本申请,对于本领域的技术人员来说,本申请可以有各种更改和变化。凡在本申请的精神和原则之内,所作的任何修改、等同替换、改进等,均包含在本申请的保护范围之内。

Claims (10)

1.一种可视化智能合约系统,其特征在于,包括:
合约构件生成装置,用于生成智能合约中的信息要素;
合约构件探测装置,用于根据生成的信息要素的标签在区块链平台中查找与信息要素对应的合约构件;
合约模版构造装置,用于根据所述合约构件生成至少一种类型的智能合约的模版;
智能合约封装装置,用于根据所述智能合约的模版的种类生成可视化的流程配置框体,并且还用于凭借所述流程配置框体来生成可视化流程图;以及
合约处理装置,用于根据所述可视化流程图来执行所述智能合约。
2.根据权利要求1所述的可视化智能合约系统,其特征在于,还包括:
合约构件存储装置,用于存储生成的信息要素;以及
合约模版存储装置,用于存储生成的智能合约的模版。
3.根据权利要求2所述的可视化智能合约系统,其特征在于,所述合约构件存储装置和合约模版存储装置为本地数据库或者分布式数据库。
4.根据权利要求1或2所述的可视化智能合约系统,其特征在于,还包括:
合约状态检测装置,其设置在所述可视化流程图中的各个节点,用于检测各个节点的工作状态。
5.根据权利要求1或2所述的可视化智能合约系统,其特征在于,还包括:
消息事件分发装置,其设置在所述可视化流程图中的各个节点,用于分发从各个节点生成的消息事件。
6.根据权利要求1或2所述的可视化智能合约系统,其特征在于,还包括:
合约数据采集装置,用于采集用户输入的数据,并且将该数据输入至所述合约处理装置,以根据用户输入的数据和所述可视化流程图来执行所述智能合约。
7.根据权利要求1或2所述的可视化智能合约系统,其特征在于,还包括:
智能合约网关装置,设置在所述合约处理装置与区块链平台之间,用于将智能合约的工作环境与区块链平台之间进行隔离。
8.根据权利要求1或2所述的可视化智能合约系统,其特征在于,还包括:
合约编译装置,设置在所述智能合约封装装置与合约处理装置之间,用于将所述可视化流程图编译为合约处理装置能够执行和处理的指令集合。
9.根据权利要求1或2所述的可视化智能合约系统,其特征在于,所述智能合约封装装置进一步地用于,通过响应用户的对于所述流程配置框体的移动来生成所述可视化流程图。
10.一种智能合约的处理方法,其特征在于,包括:
生成智能合约中的信息要素;
根据生成的信息要素的标签在区块链平台中查找与信息要素对应的合约构件;
根据所述合约构件生成至少一种类型的智能合约的模版;
根据所述智能合约的模版的种类生成可视化的流程配置框体,并且凭借所述流程配置框体来生成可视化流程图;
根据所述可视化流程图来执行所述智能合约。
CN201811292379.2A 2018-11-01 2018-11-01 可视化智能合约系统以及智能合约的处理方法 Active CN109614093B (zh)

Priority Applications (1)

Application Number Priority Date Filing Date Title
CN201811292379.2A CN109614093B (zh) 2018-11-01 2018-11-01 可视化智能合约系统以及智能合约的处理方法

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
CN201811292379.2A CN109614093B (zh) 2018-11-01 2018-11-01 可视化智能合约系统以及智能合约的处理方法

Publications (2)

Publication Number Publication Date
CN109614093A true CN109614093A (zh) 2019-04-12
CN109614093B CN109614093B (zh) 2022-02-22

Family

ID=66002105

Family Applications (1)

Application Number Title Priority Date Filing Date
CN201811292379.2A Active CN109614093B (zh) 2018-11-01 2018-11-01 可视化智能合约系统以及智能合约的处理方法

Country Status (1)

Country Link
CN (1) CN109614093B (zh)

Cited By (5)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN110163572A (zh) * 2019-05-21 2019-08-23 东软集团股份有限公司 一种链码函数处理方法、装置及设备
CN110532115A (zh) * 2019-09-04 2019-12-03 北京海益同展信息科技有限公司 用于开发智能合约的系统、方法和装置
CN111865936A (zh) * 2020-06-30 2020-10-30 深圳前海益链网络科技有限公司 一种智能合约实现方法、装置、计算机设备和存储介质
CN111951109A (zh) * 2020-08-10 2020-11-17 神话科技传媒(深圳)有限公司上海分公司 一种具有图灵完备智能合约的区块链的执行方法
CN113486915A (zh) * 2021-04-26 2021-10-08 深圳前海移联科技有限公司 一种基于多平台的智能合约分类方法、系统及电子设备

Citations (4)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN106651303A (zh) * 2016-12-02 2017-05-10 北京轻信科技有限公司 一种基于模板的智能合约处理方法和系统
FR3049137A1 (fr) * 2016-03-21 2017-09-22 Sebastien Dupont Procede permettant de gerer des contrats intelligents associes ou non a une identite digitale a travers un reseau informatique decentralise
CN107491933A (zh) * 2017-08-01 2017-12-19 中国联合网络通信集团有限公司 合约的处理方法及装置
CN108257000A (zh) * 2018-02-26 2018-07-06 北京阿尔山金融科技有限公司 智能合约实现系统、方法及电子设备

Patent Citations (4)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
FR3049137A1 (fr) * 2016-03-21 2017-09-22 Sebastien Dupont Procede permettant de gerer des contrats intelligents associes ou non a une identite digitale a travers un reseau informatique decentralise
CN106651303A (zh) * 2016-12-02 2017-05-10 北京轻信科技有限公司 一种基于模板的智能合约处理方法和系统
CN107491933A (zh) * 2017-08-01 2017-12-19 中国联合网络通信集团有限公司 合约的处理方法及装置
CN108257000A (zh) * 2018-02-26 2018-07-06 北京阿尔山金融科技有限公司 智能合约实现系统、方法及电子设备

Cited By (7)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN110163572A (zh) * 2019-05-21 2019-08-23 东软集团股份有限公司 一种链码函数处理方法、装置及设备
CN110163572B (zh) * 2019-05-21 2022-04-15 东软集团股份有限公司 一种链码函数处理方法、装置及设备
CN110532115A (zh) * 2019-09-04 2019-12-03 北京海益同展信息科技有限公司 用于开发智能合约的系统、方法和装置
CN110532115B (zh) * 2019-09-04 2021-03-05 北京海益同展信息科技有限公司 用于开发智能合约的系统、方法和装置
CN111865936A (zh) * 2020-06-30 2020-10-30 深圳前海益链网络科技有限公司 一种智能合约实现方法、装置、计算机设备和存储介质
CN111951109A (zh) * 2020-08-10 2020-11-17 神话科技传媒(深圳)有限公司上海分公司 一种具有图灵完备智能合约的区块链的执行方法
CN113486915A (zh) * 2021-04-26 2021-10-08 深圳前海移联科技有限公司 一种基于多平台的智能合约分类方法、系统及电子设备

Also Published As

Publication number Publication date
CN109614093B (zh) 2022-02-22

Similar Documents

Publication Publication Date Title
CN109614093A (zh) 可视化智能合约系统以及智能合约的处理方法
Pena et al. The internet of things: The role of reconfigurable platforms
Jensen et al. Colored Petri nets: a graphical language for formal modeling and validation of concurrent systems
CN108509185B (zh) 用于任意软件逻辑建模的系统和方法
CN106951694A (zh) 一种电力系统二次设备在线监测系统自适应建模方法
CN103617066A (zh) 一种工作流引擎及其实现方法
CN102270137B (zh) 一种获取体系结构描述语言的方法和一种建模工具
CN111460621B (zh) 一种组件化仿真建模方法及系统
CN113721892A (zh) 领域建模方法、装置、计算机设备和存储介质
CN111142845A (zh) 一种基于模型的任务系统需求开发方法
CN104461572A (zh) 一种需求变更波及效应分析方法
CN108563951A (zh) 病毒检测方法及装置
CN110020834A (zh) 一种建模和调试融合的在线智能大数据开发方法
Quek et al. The conundrum in smart city governance: Interoperability and compatibility in an ever-growing ecosystem of digital twins
Brdjanin et al. Automated synthesis of initial conceptual database model based on collaborative business process model
CN109656635A (zh) 基于平台和插件的电力仿真应用软件组装开发方法及系统
KR102188044B1 (ko) 뉴로모픽 아키텍처 기반 지능형 응용 개발을 위한 프레임워크 시스템
Zhang et al. Representation of Petri net with OWL DL ontology
CN113449444B (zh) 面向领域工程的仿真方法、计算机设备和存储介质
CN103399746B (zh) 一种便于二次开发的信息管理系统及开发方法
Kerkouche et al. On the Use of Graph Transformation in the Modeling and Verification of Dynamic Behavior in UML Models.
Barbosa et al. Checking semantics equivalence of mda transformations in concurrent systems.
CN113590112A (zh) 工业ai项目开发平台
Man et al. SC2SCFL: Automated SystemC to Translation
Zhang et al. Data-driven system-level design framework for responsible cyber-physical-social systems

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
GR01 Patent grant
GR01 Patent grant