基于Pi-演算的無線自動售貨機系統(tǒng)建模與應用.pdf

1、無線自動售貨機系統(tǒng)通過無線網(wǎng)絡實現(xiàn)了對自動售貨機的遠程監(jiān)視和控制，便于企業(yè)內部物流管理及向顧客提供方便的手機購物。為了對這一復雜系統(tǒng)形成一致的理解，分析系統(tǒng)的正確性和可靠性，進而定量評估系統(tǒng)的績效，需要建立一種嚴謹?shù)目赡M系統(tǒng)動態(tài)運行的模型。 由于無線自動售貨機系統(tǒng)屬于離散動態(tài)系統(tǒng)，本文采用了描述分布式并發(fā)系統(tǒng)的Pi-演算過程代數(shù)方法為系統(tǒng)建模。分別對系統(tǒng)的交易流程和物流配送過程建立了Pi-演算模型。對無線自動售貨機系統(tǒng)的交易流

2、程的建模采用自頂向下的建模方法，首先建立系統(tǒng)的主要活動模塊的頂層Pi-演算模型，然后對這些模塊進行細化，最后得出系統(tǒng)交易流程完整的Pi-演算模型；并用Pi-演算的形式化輔助工具MWB驗證其正確性。為了能夠對無線自動售貨機系統(tǒng)物流配送過程進行建模，本文定義了一種帶時間因素的Pi-演算，對無線自動售貨機系統(tǒng)的物流配送過程建立了含有時間因素的Pi-演算模型；考慮到績效分析的需要，還在不同的缺貨情況下同時模擬兩種系統(tǒng)物流配送過程的運行，通過選擇