基于UML需求建模的一種形式化分析方法及其應(yīng)用.pdf

1、本文探討了一種利用Object-Z和Perfect對基于UML的需求建模進行形式化分析的方法。其核心思想是：首先，利用Obiect-Z對UML元模型層上的UML類圖的語法和靜態(tài)語義進行形式化描述，并在UMI，和Object-Z兩者元模型之間尋求一種映射和轉(zhuǎn)換機制；接著在Object-Z和Perfect的元模型之間建立一種映射，并定義它們之間的轉(zhuǎn)換規(guī)則，從而實現(xiàn)利用Perfect對Obiect-Z描述進行精化。這樣，既可以保留利用UML進

2、行系統(tǒng)分析設(shè)計時強大的系統(tǒng)建模能力和簡潔明了的面向?qū)ο竽Ｐ捅硎痉?，又能夠?qū)ML建立的需求模型進行形式化描述、精化和驗證。通過對UML建立的企業(yè)人事系統(tǒng)和自動檢票系統(tǒng)的需求模型的形式化描述與精化，進一步說明了該方法在實際應(yīng)用中的可行性。 本文的研究結(jié)果表明：將UML、Object-Z和Perfect相結(jié)合而得到的一種新的軟件需求描述方法，能夠更好地滿足規(guī)模和復(fù)雜性均不斷增大的軟件系統(tǒng)的分析、設(shè)計和開發(fā)等需要，在一定程度上有助于提