作者：吴栋淦cidx区块链智能合约模型检测
摘要：化工企业使用基于工作流技术的化学工业数据交换（Chemical Industry Data Exchange）进行实时订单处理,但是在应用过程中还是暴露出一些不足之处.提出一种区块链技术在化学工业数据交换中的应用方案,拟利用区块链技术对化学工业数据交换进行方案改良,并以订单管理为应用场景采用Promela语言建模,用SPIN对智能合约进行形式化验证.
注：因版权方要求，不能公开全文，如需全文，请咨询杂志社
《嘉应学院学报》（双月刊）创刊于1983年，由嘉应学院主管，嘉应学院主办，CN刊号为：44-1602/Z，自创刊以来，颇受业界和广大读者的关注和好评。 《嘉应学院学报》以刊登有独创性的学术论文为主，侧重于发表具有理论创新、实践探索的新观点、新资料、新方法的文章。坚持“以质量求生存，以特色促发展”的办刊思路，贯彻“百花齐放、百家争鸣”的办刊方针，反映各学科科学研究成果，促进学术交流和学科建设，推动我院教学和科研工作的不断发展。近几年来在国内的被引用率、因子影响等在综合类学术期刊中都不断取得进步。
省级期刊
人气 536301 评论 49
人气 400518 评论 51
人气 383405 评论 44
人气 362840 评论 56
