-
公开(公告)号:CN115291840A
公开(公告)日:2022-11-04
申请号:CN202210905266.5
申请日:2022-07-29
Applicant: 南京大学
Abstract: 本发明公开了一种模型驱动的区块链开发生命周期方法,包括:模型驱动的需求分析、设计、编码、测试以及部署,需求分析部分,包括建模目标模型图,并进行目标模型图到XML的转换和验证;设计部分,包括将设计模型图和应用程序类图绑定,并进行绑定后的模型到智能合约类图模型的转换;编码部分,包括将类图自动转换为结构代码,将时序图自动转换为行为代码;测试部分,包括实现用例时序图到测试体系结构模型和测试用例行为模型的转换、测试模型到代码的转换;部署部分,包括部署模型到部署脚本的转换。该方案有效利用模型实现区块链开发生命周期中模型到模型的转换和模型到代码的转换,可以有效生成开发中所需的代码或脚本,帮助区块链开发人员降低开发门槛和工作量,实现模型的复用。
-
公开(公告)号:CN119691712A
公开(公告)日:2025-03-25
申请号:CN202311823929.X
申请日:2023-12-27
Applicant: 华为云计算技术有限公司 , 南京大学
Abstract: 本申请提供了,一种区块链的智能合约的处理方法及处理装置,该处理方法包括:获取源合约对应的第一语法树;在第一语法树中识别风险节点,风险节点涉及风险操作;对第一语法树执行以下至少一项处理,以得到第二语法树:将风险节点中的第一风险节点替换为第一安全节点,第一风险节点涉及第一风险操作,第一安全节点涉及第一安全操作,第一安全操作用于替换第一风险操作;或者,为风险节点中的第二风险节点添加权限检测条件,权限检测条件用于在第二风险节点指示的函数被调用时判断调用者的身份。本申请实施例的方案有利于提高智能合约的安全性。
-
公开(公告)号:CN116319986A
公开(公告)日:2023-06-23
申请号:CN202310268395.2
申请日:2023-03-20
Applicant: 南京大学
IPC: H04L67/562 , H04L67/563 , H04L67/133 , H04L67/104 , G06F16/2453 , G06F16/27 , G06F9/54
Abstract: 本发明提供了一种基于中继机制的可信高效的跨区块链数据并行转移模型,使用该方法可以支持能够支持键值对读写操作的同构或异构区块链之间高效的信息转移。包括但不限于:Hyperledger Fabric和Hyperledger Fabric之间,Hyperledger Fabric和Hyperledger Sawtooth之间,以太坊和Hyperledger之间。本发明相较于传统的跨链数据转移的方法,通过RPC调用来将跨链相关组件和具体应用链解耦,使得理论上可以支持所有能够读写的应用链。为了提高性能,引入了并行传输和多线程并行查询等方式,能够更快的将目标链中的数据转移到源链上来,并且由中继链对转移事件进行记录,防止双方对于转移事件发生的事实产生抵赖。
-
-