UML與XYZ-ADL在生產(chǎn)任務(wù)管理系統(tǒng)中的應(yīng)用研究.pdf

1、作為控制軟件復(fù)雜性、提高軟件質(zhì)量、支持軟件開發(fā)和復(fù)用的重要手段之一，軟件體系結(jié)構(gòu)自二十世紀(jì)九十年代提出以來，日益受到軟件工程研究者和實(shí)踐者的關(guān)注。軟件體系結(jié)構(gòu)注重軟件系統(tǒng)的全局組織形式，是對(duì)系統(tǒng)高層抽象結(jié)構(gòu)的描述。對(duì)大型軟件系統(tǒng)而言，其體系結(jié)構(gòu)的設(shè)計(jì)已經(jīng)成為系統(tǒng)能否成功的一個(gè)關(guān)鍵因素。 生產(chǎn)任務(wù)管理系統(tǒng)的核心是如何保證正確的將用戶訂貨信息轉(zhuǎn)換成具體的生產(chǎn)任務(wù)，將此生產(chǎn)任務(wù)信息準(zhǔn)確及時(shí)傳遞至客戶端(生產(chǎn)工人)，指導(dǎo)裝配，再通過完成

2、確認(rèn)及時(shí)反饋至服務(wù)器端，完成生產(chǎn)任務(wù)。本系統(tǒng)的設(shè)計(jì)、開發(fā)對(duì)于信息流、物流管理水平的提高，保證產(chǎn)品質(zhì)量，提升用戶滿意度有著深遠(yuǎn)的意義。 軟件體系結(jié)構(gòu)描述是體系結(jié)構(gòu)研究的首要問題。目前常見的體系結(jié)構(gòu)描述方法有以統(tǒng)一建模語(yǔ)言UML為代表的可視化描述方法和以體系結(jié)構(gòu)描述語(yǔ)言ADL為代表的形式化描述方法?？梢暬枋銮宄庇^，但缺乏形式化語(yǔ)義，形式化描述嚴(yán)格精確，但難以被理解，不便于交流使用。 本文首先對(duì)統(tǒng)一建模語(yǔ)言UML與時(shí)序邏輯

3、體系結(jié)構(gòu)描述語(yǔ)言XYZ/ADL進(jìn)行了概述；其次，介紹了目前常見的三種軟件體系結(jié)構(gòu)求精方法；再次，著重探討了UML與XYZ/ADL在軟件體系結(jié)構(gòu)描述方面的應(yīng)用，結(jié)合生產(chǎn)任務(wù)管理系統(tǒng)，利用UML對(duì)系統(tǒng)需求模型、框架模型、動(dòng)態(tài)模型進(jìn)行可視化描述，利用XYZ/ADL對(duì)系統(tǒng)體系結(jié)構(gòu)風(fēng)格、結(jié)構(gòu)模型、動(dòng)態(tài)模型進(jìn)行形式化描述，并基于構(gòu)件對(duì)其進(jìn)行逐步求精，實(shí)現(xiàn)靜態(tài)描述到動(dòng)態(tài)描述的轉(zhuǎn)變；最后，實(shí)現(xiàn)了生產(chǎn)任務(wù)管理系統(tǒng)。 本文的研究結(jié)果說明：UML與A