基于UML的建模及模型檢驗研究
2011-04-12 00:00:00吳曉丹寧濱
現代電子技術 2011年6期
摘要：UML是一種廣泛使用的面向對象的可視化統一建模語言，但UML缺乏精確的語義描速，難以對UML模型進行分析驗證以判斷設計規范是否滿足目標需求。符號模型檢驗是一種能夠有效保證系統可信性質的自動檢驗技術。為了檢驗UML模型的正確性，在建模的基礎土把UML模型轉換為SMV模型，然后使用符號模型檢驗器(SMV)對模型進行檢驗，有利于在系統的設計早期發現系統的缺陷。
關鍵詞：UML；符號模型檢驗；SMV；模型轉換
中圖分類號：TN919—34 文獻標識碼：A 文章編號：1004—373X(2011)06—0049—03
