首页 > 《嘉应学院学报》 > 2018年8期 > 区块链技术在化学工业数据交换中的应用

区块链技术在化学工业数据交换中的应用

在线阅读下载PDF 导出详情

摘要化工企业使用基于工作流技术的化学工业数据交换（ChemicalIndustryDataExchange）进行实时订单处理,但是在应用过程中还是暴露出一些不足之处.提出一种区块链技术在化学工业数据交换中的应用方案,拟利用区块链技术对化学工业数据交换进行方案改良,并以订单管理为应用场景采用Promela语言建模,用SPIN对智能合约进行形式化验证.

DOI kd2zprkrd6/1858714

作者吴栋淦

机构地区不详

出处《嘉应学院学报》 2018年8期

关键词 CIDX 区块链智能合约模型检测

分类 [文化科学][高等教育学]

出版日期 2018年08月18日（中国期刊网平台首次上网日期，不代表论文的发表时间）