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