-
题名基于区块链的应用系统开发方法研究
被引量：272
- 1
-
-
作者
蔡维德
郁莲
王荣
刘娜
邓恩艳
-
机构
软件开发环境国家重点实验室(北京航空航天大学)数字社会与区块链实验室
北京大学软件与微电子学院
沈阳工程学院信息学院
北京天德科技有限公司
-
出处
《软件学报》
EI
CSCD
北大核心
2017年第6期1474-1487,共14页
-
基金
国家自然科学基金(61690200
60973001)~~
-
文摘
从区块链的技术层面及应用层面分析其特征,并给出区块链的分类.挖掘区块链的设计需求,针对区块链的一致性和可扩展性的应用需求进行深入分析.对区块链的应用系统开发方法及区块链建模进行研究,提出了账户区块链(account blockchain,简称ABC)和交易区块链(trading blockchain,简称TBC)的双链设计模型.对智能合约进行深入剖析,提出了链上代码并行执行模型应用原则.最后,对区块链应用技术进行总结和展望.
-
关键词
区块链
ABC/TBC
链上代码
区块链应用需求
-
Keywords
Blockchain
ABC/TBC
chaincode
blockchain application requirements
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
-
题名法律智能合约平台模型的研究与设计
被引量：6
- 2
-
-
作者
向伟静
蔡维德
-
机构
北京航空航天大学数字社会与区块链实验室
北京天德科技有限公司
天民国际沙盒研究院
国家大数据综合试验区区块链互联网实验室
-
出处
《应用科学学报》
CAS
CSCD
北大核心
2021年第1期109-122,共14页
-
基金
国家自然科学基金(No.61672075,61690202)
科技部重大项目基金(No.2018YFB1402700)
山东省2018年重点研发计划基金(No.2018CXGC0703)资助。
-
文摘
现有的智能合约技术本质上只是一段链上代码,而真正的智能合约应是法律合约的数字化,可以实现合约条款的自动执行。为此,介绍了法律智能合约的重要科技,包括法律考量、预言机、事件模型等基础设施,在分析相关机构工作的基础上提出了法律智能合约的5个标准开发步骤,通过对法律流程标准的研究提出了设计智能合约模版的方法。为解决智能合约模版上数据预处理的问题,还设计了基于预言机技术的安全多管道事件模型。基于上述理论和模型,可进一步实现法律智能合约的开发和自动化处理。
-
关键词
预言机
智能合约
法律
安全多管道事件模型
-
Keywords
oracle machine
smart contract
law
secure multi-channel event model
-
分类号
TP391
[自动化与计算机技术—计算机应用技术]
-
