軟件體系結(jié)構(gòu)描述語(yǔ)言CCJava的設(shè)計(jì)與實(shí)現(xiàn).pdf

1、為了避免軟件開(kāi)發(fā)的盲目性，控制軟件復(fù)雜性、提高軟件的質(zhì)量、支持軟件開(kāi)發(fā)和復(fù)用，在軟件開(kāi)發(fā)中需要有效的理論作為指導(dǎo)。軟件體系結(jié)構(gòu)是軟件系統(tǒng)的高級(jí)抽象，體現(xiàn)了系統(tǒng)開(kāi)發(fā)中最早做出的決策，它體現(xiàn)了根本性的系統(tǒng)設(shè)計(jì)思路，對(duì)系統(tǒng)起著最為深遠(yuǎn)的影響。 在軟件體系結(jié)構(gòu)領(lǐng)域，體系結(jié)構(gòu)描述語(yǔ)言(ADL)是一個(gè)主要的研究方向。目前提出的ADL主要關(guān)注較高層次的系統(tǒng)設(shè)計(jì)、描述和性質(zhì)驗(yàn)證，而對(duì)從體系結(jié)構(gòu)層次到系統(tǒng)實(shí)現(xiàn)層次的過(guò)渡關(guān)注不夠。 因此，本

2、文提出了一種新的體系結(jié)構(gòu)描述語(yǔ)言CCJava，其目的就是解決高層抽象到底層實(shí)現(xiàn)的轉(zhuǎn)換。CCJava是java語(yǔ)言的擴(kuò)展，它增加了構(gòu)件、端口、連接子、角色等建模元素用于描述體系結(jié)構(gòu)模型。同時(shí)，按照翻譯規(guī)則，CCJava可以轉(zhuǎn)換成對(duì)應(yīng)的java文件，通過(guò)java編譯器編譯java文件生成最終可執(zhí)行文件，實(shí)現(xiàn)高層體系結(jié)構(gòu)到底層實(shí)現(xiàn)的過(guò)渡。 本文的主要工作如下： (1)根據(jù)軟件體系結(jié)構(gòu)的思想，把連接子定義為和構(gòu)件同等級(jí)別的一階實(shí)

3、體，提出了一種新的體系結(jié)構(gòu)描述語(yǔ)言CCJava。文中詳細(xì)描述了CCJava中構(gòu)件、端口、連接子、角色、創(chuàng)建表達(dá)式和連接語(yǔ)句等元素，給出了它們的語(yǔ)法、語(yǔ)義規(guī)則和文法。同時(shí)，給出了把CCJava翻譯為Java語(yǔ)言的翻譯方法，并實(shí)現(xiàn)。 (2)對(duì)連接子的類(lèi)型進(jìn)行了劃分，并使用CCJava語(yǔ)言實(shí)現(xiàn)不同類(lèi)型的連接子，提供了基本的連接子庫(kù)，對(duì)體系結(jié)構(gòu)描述給予支持。利用元素的思想，對(duì)幾種基本的構(gòu)件連接類(lèi)型建立模型。 (3)把CCJava