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

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

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