基于Petri網(wǎng)的UML模型映射與驗(yàn)證方法的研究.pdf

1、統(tǒng)一建模語(yǔ)言(UML)是對(duì)象管理集團(tuán)(OMG)的標(biāo)準(zhǔn),是一種用于對(duì)軟件密集型系統(tǒng)以及商業(yè)建模和非軟件系統(tǒng)進(jìn)行可視化、詳述、構(gòu)造和文檔化的建模語(yǔ)言,主要適用于分析與設(shè)計(jì)階段的系統(tǒng)建模.UML最主要的優(yōu)點(diǎn)是表達(dá)軟件系統(tǒng)的能力強(qiáng)、效率高.但UML的缺點(diǎn)是難以直接用數(shù)學(xué)工具對(duì)UML模型進(jìn)行檢驗(yàn),另外UML在語(yǔ)義方面也存在一些不足.作為軟件系統(tǒng)建模的工具,Petri網(wǎng)的優(yōu)點(diǎn)是:可以對(duì)一個(gè)系統(tǒng)的并發(fā)、同步行為以及資源共享建摸,而且有許多與Petri

2、網(wǎng)相關(guān)聯(lián)的對(duì)Petri網(wǎng)模型進(jìn)行檢測(cè)和行為分析的理論結(jié)果.Petri網(wǎng)的缺點(diǎn)是:開(kāi)發(fā)者不容易繪制(特別是對(duì)于復(fù)雜系統(tǒng)的)Petri網(wǎng)圖,并在對(duì)對(duì)象及對(duì)象間的關(guān)系建模時(shí)存在困難.對(duì)復(fù)雜的并發(fā)系統(tǒng)進(jìn)行有效建模要求有一套形式化體系,由它能獲取系統(tǒng)的本質(zhì)特性,如不確定性、同步性和并發(fā)性.Petri網(wǎng)提供一套清楚的具有并發(fā)性的形式化體系,但是缺乏徹底模塊化的技術(shù).而面向?qū)ο蠓椒▽?duì)高度可重用的和模塊化的系統(tǒng)提供形式化體系,但是缺乏整體并發(fā)特性.于是

3、許多人努力將Petri網(wǎng)和面向?qū)ο蟾拍罱Y(jié)合起來(lái),以揚(yáng)長(zhǎng)避短,發(fā)揮各自的優(yōu)勢(shì),形成一種更有效的軟件建模技術(shù).進(jìn)一步深入的研究提出將UML與Petri網(wǎng)結(jié)合建模的解決方法是:用戶先使用UML建模,然后將其轉(zhuǎn)換為Petri網(wǎng)來(lái)驗(yàn)證.在該文中,我們?cè)O(shè)計(jì)并討論一個(gè)從UML動(dòng)態(tài)模型到Petri網(wǎng)映射的實(shí)例,以獲得一種靈活的、可定制的PBMUM方法(即基于Petri網(wǎng)的UML模型映射與驗(yàn)證方法),去推斷面向?qū)ο竽Ｐ偷膭?dòng)念方面的一些特性,并分析該模型的