基于Pi演算的药品云物流业务流程建模分析  

Analysis of Business Process Modeling of Drug Cloud Logistics Based on Pi Calculus

作　　者：刘峰 LIU Feng(Fenyang College of Shanxi Medical University,Shanxi 032200,China.)

机构地区：[1]山西医科大学汾阳学院,山西032200

出　　处：《电子技术（上海）》2023年第5期64-66,共3页Electronic Technology

摘　　要：阐述Pi演算来推演药品云物流系统的交互行为,形式化验证了交互行为的可靠性及安全性。设计出的模型可为实际系统的设计开发提供参考和依据。使用药品云物流系统可以提高效率、降低成本。This paper describes Pi calculus to deduce the interaction behavior of the pharmaceutical cloud logistics system,and formally verifies the reliability and security of the interaction behavior.The designed model can provide reference and basis for the design and development of the actual system.The use of pharmaceutical cloud logistics system can improve efficiency and reduce costs.

关 键 词：药品云物流系统 PI 演算 形式化验证 

分 类 号：TP311.13[自动化与计算机技术—计算机软件与理论] TP18[自动化与计算机技术—计算机科学与技术]