著色Petri網在UML建模中的應用

介紹了一種用著色Petri網分析和驗證UML模型的方法.該方法把面向對象技術和Petri網理論相結合,構成一種面向對象的著色Petri網模型,簡稱OPM;并給出了它和UML模型之間相互轉換的方法,使得驗證分析復雜信息系統的動態行為特征成為可能,是一種具有數學和圖形方式相結合的形式化描述.

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

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

刊 名： 現代圖書情報技術  PKU CSSCI 英文刊名： NEW TECHNOLOGY OF LIBRARY AND INFORMATION SERVICE  年，卷(期)： 2004 ""(2)  分類號： N945.12  關鍵詞： 軟件工程   建模   著色Petri網   面向對象技術   統一建模語言   對象Petri網模型  

【著色Petri網在UML建模中的應用】相關文章：

模糊Petri網在飛機進近排序中的應用04-27

UML在航天器姿態與軌道控制應用軟件需求建模中的應用04-27

基于隨機Petri網的FMS建模及其性能分析04-27

鐵路應急預案全生命周期管理流程及其Petri網建模技術研究04-26

基于擴展的UML活動圖的質量工作流建模04-26

模糊系統辨識方法在TIG焊過程建模中的應用04-27

系統人力資源的Petri網分配模型研究04-27

基于Petri網的工作流優化分析04-27

基于UML的新型農村合作醫療管理信息系統建模04-27

人工神經網絡在油漆廢水混凝氧化處理建模中的應用04-25