基于UML和Petri網(wǎng)建模的郵件分揀管理信息系統(tǒng)的分析與設(shè)計(jì).pdf

1、軟件的開(kāi)發(fā)方法從傳統(tǒng)的軟件生命周期方法發(fā)展到面向?qū)ο蠓椒?極大地提高了軟件開(kāi)發(fā)的效率和軟件質(zhì)量。但面向?qū)ο蟮姆椒ǚN類繁多,各有特色,也各有不足,而且術(shù)語(yǔ)不統(tǒng)一、缺乏共同標(biāo)準(zhǔn),給軟件開(kāi)發(fā)人員帶來(lái)困惑。
　　 1995年,著名軟件工程學(xué)家Ivar Jacobson、Jin Rumbaugh和Grady Booch綜合了他們各自原創(chuàng)的面向?qū)ο蟮姆治龊驮O(shè)計(jì)方法,加以擴(kuò)充改進(jìn),提出了統(tǒng)一建模語(yǔ)言UML(The Unified Modeli

2、ng Language)。在Rational公司的支持下,他們綜合了多種開(kāi)發(fā)過(guò)程的長(zhǎng)處,提出了一種新的面向?qū)ο蟮能浖_(kāi)發(fā)過(guò)程——Rational過(guò)程(Rational Unified Process,RUP)
　　 Petri網(wǎng)是1960年代由Carl Adam Petri發(fā)明的,適合于描述異步的、并發(fā)的計(jì)算機(jī)系統(tǒng)模型。Petri網(wǎng)既有嚴(yán)格的數(shù)學(xué)表述方式,也有直觀的圖形表達(dá)方式。由于Petri網(wǎng)能表達(dá)并發(fā)的事件,被認(rèn)為是自動(dòng)化理

3、論的一種,適合對(duì)系統(tǒng)進(jìn)行動(dòng)態(tài)建模。
　　 本文主要的研究工作:(1)面向?qū)ο蠓椒ê蚒ML建模方法學(xué)習(xí)與研究;(2)郵件分揀管理信息系統(tǒng)的需求分析;(3)基于UML郵件分揀管理信息系統(tǒng)的靜態(tài)建模;(4)基于Petri網(wǎng)的郵件分揀管理信息系統(tǒng)的動(dòng)態(tài)建模:(5)基于PowerBuilder的郵件分揀管理信息系統(tǒng)的實(shí)現(xiàn)。
　　 在學(xué)習(xí)研究工程中,采用理論與實(shí)際相結(jié)合的方法。通過(guò)對(duì)UML技術(shù)和Petri網(wǎng)的分析、探討和應(yīng)用,促進(jìn)了