基于UML與Petri網(wǎng)的倉儲管理系統(tǒng)建模與分析.pdf

1、隨著我國近些年來經(jīng)濟(jì)的突飛猛進(jìn)，我國物流業(yè)也隨之得到了極大的發(fā)展。而物流活動的日益頻繁，倉庫的儲量日益增加，貨物出庫入庫頻率越來越高，如何高效的利用管理倉庫成為了亟待解決的問題。而信息技術(shù)的引入以及倉儲管理系統(tǒng)的發(fā)展使得物流成本得以降低，整合了優(yōu)勢的資源，提高了物流的效率，優(yōu)化了供應(yīng)鏈的管理。
　　 由于倉儲管理系統(tǒng)屬于數(shù)據(jù)流動性較高的系統(tǒng)。因此，倉儲管理系統(tǒng)當(dāng)下流行的開發(fā)方式是面向?qū)ο箝_發(fā)。而UML是當(dāng)下最主流的面向?qū)ο蠼ＵZ

2、言。使用UML對倉儲管理系統(tǒng)進(jìn)行分析與建模的優(yōu)點(diǎn)在于，UML提供了圖形化的可視模型，使得系統(tǒng)建模更加便捷，也方便了系統(tǒng)開發(fā)人員之間、開發(fā)人員與用戶之間的交流。但是使用UML建模也存在一定的不足，UML的語義部分的描述是采用自然語言描述，這使得UML所建立的模型分析與驗(yàn)證相對比較困難，從而在一定程度上制約了UML模型的有效性。因此，在形式化方面對UML進(jìn)行一定程度的拓展是十分有必要的。
　　 而本文正是在使用UML對倉儲管理系統(tǒng)分

3、析與建模的基礎(chǔ)之上，引入了Petri網(wǎng)作為UML的形式化規(guī)約，從而既能夠利用UML的優(yōu)點(diǎn)，也有效的彌補(bǔ)了使用UML建模所存在的不足，從而使得系統(tǒng)的分析與設(shè)計(jì)更加的嚴(yán)謹(jǐn)。之所以選擇Petri網(wǎng)對UML形式化進(jìn)行擴(kuò)展，是因?yàn)镻etri網(wǎng)與UML都采用圖形化表示，UML轉(zhuǎn)換為Petri網(wǎng)更加方便，并且Petri網(wǎng)有完善的分析工具，便于對模型的驗(yàn)證。
　　 本文首先闡述了UML與Petri網(wǎng)的基本概念，然后對UML相關(guān)圖形轉(zhuǎn)換為Petr