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

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

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