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

1、近年來，軟件規(guī)模的不斷擴(kuò)大，復(fù)雜度不斷增加，如何提高軟件開發(fā)效率，保證軟件的質(zhì)量成為軟件工業(yè)界的關(guān)鍵性問題。統(tǒng)一面向?qū)ο蠼＜夹g(shù)為提高大規(guī)模軟件開發(fā)的效率與質(zhì)量帶來了希望，為軟件開發(fā)自動化奠定了基礎(chǔ)。統(tǒng)一面向?qū)ο筌浖ＵZ言UML以其圖形化的表達(dá)及對軟件設(shè)計提供各種各樣的支持而迅速成為軟件業(yè)界的標(biāo)準(zhǔn)。開發(fā)人員可以使用多種角度對系統(tǒng)進(jìn)行建模，但是不同視圖模型可能存在信息冗余，可能導(dǎo)致視圖不一致性等問題。因此，對UML進(jìn)行形式化描述與研究，

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