著色Petri網(wǎng)在UML建模中的應(yīng)用

介紹了一種用著色Petri網(wǎng)分析和驗證UML模型的方法.該方法把面向?qū)ο蠹夹g(shù)和Petri網(wǎng)理論相結(jié)合,構(gòu)成一種面向?qū)ο蟮闹�色Petri網(wǎng)模型,簡稱OPM;并給出了它和UML模型之間相互轉(zhuǎn)換的方法,使得驗證分析復(fù)雜信息系統(tǒng)的動態(tài)行為特征成為可能,是一種具有數(shù)學(xué)和圖形方式相結(jié)合的形式化描述.

作 者： 朱筱筱 董路明   作者單位： 朱筱筱(中國科技大學(xué)計算機(jī)科學(xué)與技術(shù)系,合肥,230027)

董路明(中興通信南京研究所,南京,210012) 

刊 名： 現(xiàn)代圖書情報技術(shù)  PKU CSSCI 英文刊名： NEW TECHNOLOGY OF LIBRARY AND INFORMATION SERVICE  年，卷(期)： 2004 ""(2)  分類號： N945.12  關(guān)鍵詞： 軟件工程   建模   著色Petri網(wǎng)   面向?qū)ο蠹夹g(shù)   統(tǒng)一建模語言   對象Petri網(wǎng)模型  

【著色Petri網(wǎng)在UML建模中的應(yīng)用】相關(guān)文章：

模糊Petri網(wǎng)在飛機(jī)進(jìn)近排序中的應(yīng)用04-27

UML在航天器姿態(tài)與軌道控制應(yīng)用軟件需求建模中的應(yīng)用04-27

基于隨機(jī)Petri網(wǎng)的FMS建模及其性能分析04-27

鐵路應(yīng)急預(yù)案全生命周期管理流程及其Petri網(wǎng)建模技術(shù)研究04-26

基于擴(kuò)展的UML活動圖的質(zhì)量工作流建模04-26

模糊系統(tǒng)辨識方法在TIG焊過程建模中的應(yīng)用04-27

系統(tǒng)人力資源的Petri網(wǎng)分配模型研究04-27

基于Petri網(wǎng)的工作流優(yōu)化分析04-27

基于UML的新型農(nóng)村合作醫(yī)療管理信息系統(tǒng)建模04-27

人工神經(jīng)網(wǎng)絡(luò)在油漆廢水混凝氧化處理建模中的應(yīng)用04-25