UML圖的Petri網(wǎng)建模.pdf

1、作為一種定義良好、功能強(qiáng)大的圖形化建模語言,UML因?yàn)槿狈_的語義描述,因此對系統(tǒng)的建模無法進(jìn)行形式化的分析和驗(yàn)證.目前,已經(jīng)有很多UML形式化的研究成果,但都存在一定的局限性.本文在分析UML建模圖特點(diǎn)的基礎(chǔ)上,選擇Petri網(wǎng)作為UML建模圖轉(zhuǎn)換的形式化規(guī)范,一是因?yàn)镻etri網(wǎng)也采用圖形表示,可以從UML圖形直接轉(zhuǎn)換而來作為分析驗(yàn)證的工具,這樣避免了形式化方法對數(shù)學(xué)基礎(chǔ)要求較高,直接使用起來建模困難的局限性;二是因?yàn)镻etri網(wǎng)

2、有一整套嚴(yán)格的理論分析方法和工具,彌補(bǔ)了UML缺少模型分析、驗(yàn)證手段的不足.本文中,我們主要針對UML順序圖和類圖,分別給出了二者的Petri網(wǎng)建模方法.對于UML順序圖,由于其表達(dá)能力有限,我們先對其進(jìn)行了相應(yīng)的擴(kuò)展,使得消息傳遞機(jī)制中的幾種特殊關(guān)系,如并發(fā)、選擇、同步等能夠通過擴(kuò)展順序圖表達(dá)清楚,進(jìn)而給出了擴(kuò)展順序圖轉(zhuǎn)換為Petri網(wǎng)時(shí)的九種轉(zhuǎn)換規(guī)則;而對于類圖,由于類圖中定義了類的屬性和操作以及類之間的關(guān)聯(lián)關(guān)系,是各種動(dòng)態(tài)行為圖的