Modeling And Application Of Wireless Vending Machine System Based On Pi-Calculus

Wireless vending machine system realizes the long-distance control, it is convenient for enterprise to manage the distribution, also easy to be shopping by phone for customers. To reach an agreement on the complicated system unanimously, analyze reliability and the efficiency amelioration of wireless system, finding an accurate model that can model the system dynamically is a necessary.Wireless vending machine system belongs to the discrete event dynamic system, Pi-Calculus which is a kind of the process algebra can analyze and model the system that has characteristics as concurrent and resource sharing usefully. Pi-Calculus modeling technology is applied to model and research the wireless vending machine system to model the business process and the logistics distribution process. The modeling method called "from top to bottom" is to model business process. The top Pi-Calculus model is built aiming at the main activities modules of the system. And then the integrated Pi-Calculus model of business process is found, at one time, through executing on the simulator MWB to prove the changed structure of the serve. A timed Pi-Calculus model with time is defined to model the logistics distribution process of the wireless system in a definite distribution environment. Considered the need of performance analysis, the model of the logistics distribution process of the traditional vending machine system is found too. These two models are simulated in different situations.In this paper an accurate Pi-Calculus model is built for the business process of the system, can make the personnel of the system to form a uniform and exact comprehend and ground a well foundation for the analysis and improvement of the system. The modeling for the logistics distribution process of the wireless system quantifies the efficiency amelioration of wireless system and realizes the time performance analysis of the wireless vending machine system.