基于UML和Petri網(wǎng)建模的研究與應(yīng)用.pdf

1、基于UML與Petri網(wǎng)兩種不同工具開(kāi)展上程建模，涉及到兩種模型的映射轉(zhuǎn)換基本規(guī)則，實(shí)現(xiàn)自動(dòng)轉(zhuǎn)換功能，發(fā)揮優(yōu)勢(shì)互補(bǔ)，共同完成分析設(shè)計(jì)的建模與性能分析的重要作用等技術(shù)要點(diǎn)，已是當(dāng)前軟件工程項(xiàng)目和軟件方法研究的熱點(diǎn)課題。
　　 論文認(rèn)真研究了UML和Petri網(wǎng)基本概念、理論及相關(guān)工具Rose和PNML，通過(guò)將UML，模型轉(zhuǎn)換為相應(yīng)的：Petri網(wǎng)模型，進(jìn)行分析、驗(yàn)證，最后糾正并改善系統(tǒng)模型性能的總體方案和技術(shù)策略，綜述了系統(tǒng)建模、

2、模型檢測(cè)、模型修改的整個(gè)過(guò)程。
　　 針對(duì)Petri網(wǎng)和UML模型各自的特點(diǎn)，全面討論UML和Petri集成建模的方法，對(duì)UML中的用例圖、狀態(tài)圖、協(xié)作圖、時(shí)序圖和活動(dòng)圖，分別分析了將它們轉(zhuǎn)換為Petri網(wǎng)的轉(zhuǎn)換規(guī)則。
　　 論文研究設(shè)計(jì)了對(duì)UML模型和Petri網(wǎng)模型的存儲(chǔ)機(jī)制，提出了以各自的XML存儲(chǔ)為中間轉(zhuǎn)換機(jī)制，實(shí)現(xiàn)兩種模型之間的自動(dòng)映射轉(zhuǎn)換功能，詳細(xì)論述了整個(gè)作業(yè)過(guò)程的技術(shù)要點(diǎn)。
　　 論文基于總結(jié)、優(yōu)