基于Object-Z的軟件體系結(jié)構(gòu)描述到JAVA的實(shí)現(xiàn)的研究.pdf

1、軟件體系結(jié)構(gòu)的設(shè)計(jì)是軟件生命周期的兩個(gè)最為關(guān)鍵的活動(dòng)之一，它代表了系統(tǒng)和公共的高層次抽象。它一般通過(guò)建模語(yǔ)言來(lái)表示，這一過(guò)程稱為軟件體系結(jié)構(gòu)的形式化描述。如何根據(jù)形式化描述來(lái)實(shí)現(xiàn)軟件編碼，是軟件開發(fā)中一個(gè)非常關(guān)鍵的環(huán)節(jié)，因?yàn)榫幋a質(zhì)量的好壞對(duì)軟件的質(zhì)量有很大的影響。軟件體系結(jié)構(gòu)作為軟件開發(fā)中的設(shè)計(jì)思想和指導(dǎo)方針，它的實(shí)現(xiàn)對(duì)軟件開發(fā)起著至關(guān)重要的作用。 Z規(guī)格化語(yǔ)言是一種軟件體系結(jié)構(gòu)建模語(yǔ)言，它具有語(yǔ)言精確、簡(jiǎn)潔和無(wú)二義性的特點(diǎn)，有

2、利于保證系統(tǒng)的正確性。Object-Z語(yǔ)言的基礎(chǔ)是Z語(yǔ)言，它完全面向?qū)ο?，通過(guò)類的概念來(lái)封裝對(duì)象的狀態(tài)及相關(guān)操作。Java是一種簡(jiǎn)單易用、完全面向?qū)ο?、平臺(tái)無(wú)關(guān)性和安全可靠的高級(jí)語(yǔ)言開發(fā)工具。與其他語(yǔ)言相比，它具有鮮明的優(yōu)越性，比爾．蓋茨曾經(jīng)說(shuō)過(guò)，Java是最卓越的程序設(shè)計(jì)語(yǔ)言。 本文重點(diǎn)研究基于Object-Z描述到Java實(shí)現(xiàn)的轉(zhuǎn)換機(jī)制，力圖找出Object-Z描述和Java編碼之間的內(nèi)在聯(lián)系，從而實(shí)現(xiàn)從描述到編碼的公式化。