- 相關推薦
著色Petri網(wǎng)在UML建模中的應用
介紹了一種用著色Petri網(wǎng)分析和驗證UML模型的方法.該方法把面向?qū)ο蠹夹g和Petri網(wǎng)理論相結合,構成一種面向?qū)ο蟮闹玃etri網(wǎng)模型,簡稱OPM;并給出了它和UML模型之間相互轉(zhuǎn)換的方法,使得驗證分析復雜信息系統(tǒng)的動態(tài)行為特征成為可能,是一種具有數(shù)學和圖形方式相結合的形式化描述.
作 者： 朱筱筱 董路明 作者單位： 朱筱筱(中國科技大學計算機科學與技術系,合肥,230027)董路明(中興通信南京研究所,南京,210012)
刊 名： 現(xiàn)代圖書情報技術 PKU CSSCI 英文刊名： NEW TECHNOLOGY OF LIBRARY AND INFORMATION SERVICE 年，卷(期)： 2004 ""(2) 分類號： N945.12 關鍵詞： 軟件工程 建模 著色Petri網(wǎng) 面向?qū)ο蠹夹g 統(tǒng)一建模語言 對象Petri網(wǎng)模型【著色Petri網(wǎng)在UML建模中的應用】相關文章：
模糊Petri網(wǎng)在飛機進近排序中的應用04-27
UML在航天器姿態(tài)與軌道控制應用軟件需求建模中的應用04-27
基于隨機Petri網(wǎng)的FMS建模及其性能分析04-27
鐵路應急預案全生命周期管理流程及其Petri網(wǎng)建模技術研究04-26
模糊系統(tǒng)辨識方法在TIG焊過程建模中的應用04-27
系統(tǒng)人力資源的Petri網(wǎng)分配模型研究04-27
基于Petri網(wǎng)的工作流優(yōu)化分析04-27