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

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

2、言。使用UML對(duì)倉(cāng)儲(chǔ)管理系統(tǒng)進(jìn)行分析與建模的優(yōu)點(diǎn)在于，UML提供了圖形化的可視模型，使得系統(tǒng)建模更加便捷，也方便了系統(tǒng)開(kāi)發(fā)人員之間、開(kāi)發(fā)人員與用戶(hù)之間的交流。但是使用UML建模也存在一定的不足，UML的語(yǔ)義部分的描述是采用自然語(yǔ)言描述，這使得UML所建立的模型分析與驗(yàn)證相對(duì)比較困難，從而在一定程度上制約了UML模型的有效性。因此，在形式化方面對(duì)UML進(jìn)行一定程度的拓展是十分有必要的。
　　 而本文正是在使用UML對(duì)倉(cāng)儲(chǔ)管理系統(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)對(duì)UML形式化進(jìn)行擴(kuò)展，是因?yàn)镻etri網(wǎng)與UML都采用圖形化表示，UML轉(zhuǎn)換為Petri網(wǎng)更加方便，并且Petri網(wǎng)有完善的分析工具，便于對(duì)模型的驗(yàn)證。
　　 本文首先闡述了UML與Petri網(wǎng)的基本概念，然后對(duì)UML相關(guān)圖形轉(zhuǎn)換為Petr