基于PI-演算的无线自动售货机物流配送研究.PDFVIP

基于PI-演算的无线自动售货机物流配送研究 王丽超，顾宏 大连理工大学电子与信息工程学院, 辽宁大连 (116024) E-mail：fengzhengwlc@163.com 摘 要：形式化方法是商务过程设计与分析时达成共识和检验正确性的重要途径。Pi-演算 具有面向交互、可描述结构动态变化及分布并发的表达优势，适于描述移动商务过程的交互 频繁、过程结构随环境动态变化的柔性及局部自治性。通过在时间方面扩展 Pi-演算，提供 了一种移动商务过程建模方法，分析无线自动售货机物流配送过程并对其进行时间 Pi-演算 建模，证明了该方法的有效性同时对系统进行了绩效分析。 关键词：无线自动售货机，物流配送，过程代数，PI-演算，绩效分析 中图分类号：C94 文献标识码: A 1 引言 随着无线通信技术的不断发展，无线自动售货机系统逐渐在市场上出现。这种无线自动 售货机系统通过无线网络实现了对自动售货机的远程控制、销售信息的查询和反馈、缺货和 故障信息