64电子技术第52卷第5期（总第558期）2023年5月ComputerEngineering计算机工程0引言云物流是将所有管理机构、代理商、物流公司等都集中云整合成资源池，在各个资源之间根据需求进行交流，从而达到提高效率、降低成本的目的，实现物流配送的效率最大化。1研究背景防疫优化措施出台，对于科学精准抓好疫情常态化防控提出了更高的要求。每个公民要自觉服从防控需要，做好自身防护。同时，如果出现咳嗽、发热等症状，我们就需要居家并对症处置或口服药物治疗。符合《居家医疗指南》居家的，凭借在线开具的处方，并鼓励符合条件的第三方配送药品。疫情常态化防控阶段对药品物流提出了更高的要求。长期以来，我国的药品物流主要由大型医药流通企业建设医药物流配送中心，或者由有资质的第三方医药物流企业来承担物流配送服务[1]。但由于信息技术应用投入缺乏，药品物流信息不能及时共享，导致成本高，运营效率低。目前，众多学者已对云物流和医药物流问题进行了研究，文献[2]建立药品云配送平台，并提出了云物流网络配送模式。文献[3]将“云计算”和“物联网”相结合，构建了“云计算”智慧医药物流体系。文献[4]对云物流应用于快递行业的依据做出详细的解析。2Pi演算理论Pi演算由RobinMilner在1990年提出的一种形式化模型的方法[5]。Pi演算可以传递通道名、变量及值，常用于描述具有并行性、交互性的系统。因此，使用Pi演算来对药品云物流系统这种需要并发运算的系统进行描述是非常适合的。进程及名字是Pi演算中最基本的两个实体单位，可以用x、y、z等英文字母表示名字，用X、Y、Z等来指代进程。常见的进程表达式如下。（1）P::=0，表示空进程。（2）P，表示如果变量x和变量y匹配就执行后续进程P。（3）(!P)，表示连续执行进程P。（4）P1|P2，表示进程P1和进程P2可以单独执行，也可以同时运行。（5）P1+P2，仅执行进程P1或者进程P2。（6），通道y发送名字x，再执行进程P。（7），通道y接收名字x，再执行进程P。（8），表示进程P中的变量x是进程P的约束名。作者简介：刘峰，山西医科大学汾阳学院；研究方向：智能算法应用。收稿日期：2022-12-20；修回日期：2023-05-12。摘要：阐述Pi演算来推演药品云物流系统的交互行为，形式化验证了交互行为的可靠性及安全性。设计出的模型可为实际系统的设计开发提供参考和依据。使用药品云物流系统可以提高效率、降低成本。关键词：药品云物流系统，Pi演算，形式化验证。中图分类号：TP311.13，TP18文章编号：1000-07...
