UML活動(dòng)圖到PNML轉(zhuǎn)換的研究與實(shí)現(xiàn).pdf

1、眾所周知，UML是半形式化的。Petri網(wǎng)雖然是形式化的工具但本身又有不便于應(yīng)用的缺點(diǎn)。所以論文的目的是把UML活動(dòng)圖模型轉(zhuǎn)換為PNML，以便能夠用Petri網(wǎng)分析工具來(lái)分析UML所描述的系統(tǒng)的正確性。為了達(dá)到這個(gè)目的，論文主要研究的內(nèi)容包括：
　　 第一，把在Rational Rose中畫(huà)出的活動(dòng)圖模型提取出來(lái)，轉(zhuǎn)換成工具可以識(shí)別分析的文件格式。在Rational Rose中通過(guò)一個(gè)“Rose XML Tools”插件，把模型

2、信息存儲(chǔ)為.xml文件，可以看到用XML語(yǔ)言格式顯示的活動(dòng)圖信息。然后用java語(yǔ)言實(shí)現(xiàn)讀取并存儲(chǔ)XML文件信息。
　　 第二，根據(jù)活動(dòng)圖中的元素類(lèi)型和關(guān)系類(lèi)型，制定轉(zhuǎn)換規(guī)則，實(shí)現(xiàn)活動(dòng)圖到PNML的轉(zhuǎn)換工具。提取活動(dòng)圖模型的元素信息，轉(zhuǎn)換為有向圖，最后遍歷有向圖并按照論文提出的轉(zhuǎn)換規(guī)則進(jìn)行轉(zhuǎn)換輸出。
　　 第三，設(shè)計(jì)了一個(gè)包含活動(dòng)圖中各種元素的實(shí)例，并且詳細(xì)具體地演示了轉(zhuǎn)換的過(guò)程和最終結(jié)果。
　　 第四，證明用P