UML順序圖與狀態(tài)圖一致性檢驗.pdf

1、近年來，軟件規(guī)模的不斷擴大，復雜度不斷增加，如何提高軟件開發(fā)效率，保證軟件的質量成為軟件工業(yè)界的關鍵性問題。統(tǒng)一面向對象建模技術為提高大規(guī)模軟件開發(fā)的效率與質量帶來了希望，為軟件開發(fā)自動化奠定了基礎。統(tǒng)一面向對象軟件建模語言UML以其圖形化的表達及對軟件設計提供各種各樣的支持而迅速成為軟件業(yè)界的標準。開發(fā)人員可以使用多種角度對系統(tǒng)進行建模，但是不同視圖模型可能存在信息冗余，可能導致視圖不一致性等問題。因此，對UML進行形式化描述與研究，

2、給出UML準確的形式化定義，可以提高該語言的準確性、擴展性和一致性。 UML順序圖常用于描述并發(fā)系統(tǒng)的設計需求，著重體現(xiàn)對象之間消息傳遞的時間順序，因此，用一個適當?shù)臅r序邏輯描述語言來給出它的語義是可行的。XYZ/E是一種可執(zhí)行的線性時序邏輯語言，既可描述系統(tǒng)的動態(tài)行為又可表示程序性質，對順序圖進行形式化規(guī)約后，可在統(tǒng)一的時序邏輯框架下分析順序圖的性質。論文給出了一個改進的順序圖語法定義，同時對基于XYZ/E時序邏輯語言的UML