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

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

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