摘要
在应用Pi-演算对移动自助服务系统的缴费流程建模时,采用自顶向下的方法,首先建立了顶层的缴费流程模型,然后将主要的活动逐层细化,最终得到移动自助服务系统缴费流程的完整模型,同时在Pi-演算专业仿真软件工具MWB中验证了该模型的正确性。
In payment process modeling with Pi-calculus in mobile self-service system, using the top-down method, a top level model of payment process was established firstly, then the main activity layer was refined, and ultimately, the payment process model of mobile self-service system was completed. The model was verified its correctness in MWB(Pi- calculus professional simulation software tools).
出处
《宁夏工程技术》
CAS
2016年第2期102-105,109,共5页
Ningxia Engineering Technology
