【文章內(nèi)容簡介】 置層面的自適應(yīng)描述，具有表達(dá)系統(tǒng)演化過程中結(jié)構(gòu)和行為約束的能力。 的語義模型和性質(zhì)驗(yàn)證。論文提出了基于 Bigraph 理論的 BiADL 語義模型。論文分別將環(huán)境、結(jié)構(gòu)和行為轉(zhuǎn)化為 Bigraph，用反應(yīng)規(guī)則表示三者的變化?；谠撜Z義模型，論文提出了對自適應(yīng)系統(tǒng)在演化過程中一組重要性質(zhì)進(jìn)行驗(yàn)證的方法，包括結(jié)構(gòu)和行為的一致性、系統(tǒng)的完整性、策略的協(xié)調(diào)性、系統(tǒng)與風(fēng)格的一致性等。 SArchStudio。為了支持自適應(yīng)系統(tǒng)軟件體系結(jié)構(gòu)的規(guī)約、分析和動態(tài)演化，支持自適應(yīng)系統(tǒng)的設(shè)計和構(gòu)造，論文設(shè)計和開發(fā)了自適應(yīng)系統(tǒng)軟件體系結(jié)構(gòu)開發(fā)環(huán)境 SArchStudio，包括BiADL 語法編 輯器、語義模型轉(zhuǎn)換工具、性質(zhì)驗(yàn)證工具、基于 Agent 的自適應(yīng)構(gòu)件的開發(fā)和實(shí)現(xiàn)平臺等一系列工具集，用以輔助自適應(yīng)系統(tǒng)開發(fā)的各個流程，并進(jìn)行了應(yīng)用案例分析。 目前，隨著計算的網(wǎng)絡(luò)化、移動化和多樣化，軟件系統(tǒng)的規(guī)模越來越大、結(jié)構(gòu)越來越復(fù)雜、管理和維護(hù)越來越難、對環(huán)境變化和突發(fā)事件適應(yīng)能力的要求越來越高，因而軟件系統(tǒng)由需求、環(huán)境引起的適應(yīng)性越來越突出。金融、電信、電力、交通和國防等國家基礎(chǔ)設(shè)施的運(yùn)轉(zhuǎn)越來越依賴于具有自適應(yīng)能力的軟件系統(tǒng)。 自適應(yīng)系統(tǒng)通常駐留在動態(tài)、開放的環(huán)境中，能夠感知環(huán)境變化，并根據(jù)環(huán)境變化動 態(tài)調(diào)整自身的結(jié)構(gòu)和行為，以將系統(tǒng)所提供的功能或展現(xiàn)的性能等維持在一個令人滿意的水平。盡管自適應(yīng)系統(tǒng)的研究和開發(fā)受到了學(xué)術(shù)界和工業(yè)界的廣泛重視，但如何有效地對自適應(yīng)系統(tǒng)進(jìn)行規(guī)約、分析、設(shè)計和實(shí)現(xiàn)仍然是軟件工程面臨的一項重要挑戰(zhàn)。 軟件體系結(jié)構(gòu)從全局和宏觀的角度刻畫了軟件的配置，可有效展示系統(tǒng)的動態(tài)演化，有助于驗(yàn)證系統(tǒng)性質(zhì)和刻畫關(guān)鍵約束條件，可以有效地降低自適應(yīng)系統(tǒng)開發(fā)和維護(hù)的復(fù)雜性。論文站在軟件體系結(jié)構(gòu)的角度，針對微觀層面上的自適應(yīng)構(gòu)件和宏觀層面上的自適應(yīng)體系結(jié)構(gòu)描述和分析，研究了自適應(yīng)系統(tǒng)軟件體系結(jié)構(gòu)的 基礎(chǔ)理論和關(guān)鍵技術(shù)，包括：核心機(jī)制、語言設(shè)施、語義模型、性質(zhì)驗(yàn)證和支撐環(huán)境。具體研究成果和創(chuàng)新點(diǎn)描述如下： Agent 的自適應(yīng)構(gòu)件實(shí)現(xiàn)模型和運(yùn)行機(jī)制。論文將自適應(yīng)系統(tǒng)中的自適應(yīng)軟件實(shí)體抽象和物化為軟件 Agent，提出了基于 Agent 的自適應(yīng)構(gòu)件以及支持自適應(yīng)構(gòu)件適應(yīng)環(huán)境變化的動態(tài)綁定機(jī)制。自適應(yīng)構(gòu)件在其生命周期中能夠感知外部環(huán)境的變化，根據(jù)自身所具有的自適應(yīng)策略，采取一系列動態(tài)綁定操作，以改變自身的行為規(guī)約，從而適應(yīng)外部環(huán)境的變化。論文進(jìn)一步提出了基于 Agent 自適應(yīng)構(gòu)件的構(gòu)造和運(yùn)行技術(shù)框架，形 式化規(guī)約了其運(yùn)行機(jī)制。 體系結(jié)構(gòu)描述語言 BiADL。為了對自適應(yīng)系統(tǒng)的軟件體系結(jié)構(gòu)進(jìn)行規(guī)約、分析和性質(zhì)驗(yàn)證，論文提出了自適應(yīng)系統(tǒng)的軟件體系結(jié)構(gòu)描述語言 BiADL。 BiADL能夠從環(huán)境、結(jié)構(gòu)和行為三個視點(diǎn)對自適應(yīng)系統(tǒng)進(jìn)行規(guī)約，支持對構(gòu)件和配置層面的自適應(yīng)描述，具有表達(dá)系統(tǒng)演化過程中結(jié)構(gòu)和行為約束的能力。 的語義模型和性質(zhì)驗(yàn)證。論文提出了基于 Bigraph 理論的 BiADL 語義模型。論文分別將環(huán)境、結(jié)構(gòu)和行為轉(zhuǎn)化為 Bigraph，用反應(yīng)規(guī)則表示三者的變化。基于該 語義模型，論文提出了對自適應(yīng)系統(tǒng)在演化過程中一組重要性質(zhì)進(jìn)行驗(yàn)證的方法，包括結(jié)構(gòu)和行為的一致性、系統(tǒng)的完整性、策略的協(xié)調(diào)性、系統(tǒng)與風(fēng)格的一致性等。 SArchStudio。為了支持自適應(yīng)系統(tǒng)軟件體系結(jié)構(gòu)的規(guī)約、分析和動態(tài)演化，支持自適應(yīng)系統(tǒng)的設(shè)計和構(gòu)造，論文設(shè)計和開發(fā)了自適應(yīng)系統(tǒng)軟件體系結(jié)構(gòu)開發(fā)環(huán)境 SArchStudio，包括BiADL 語法編輯器、語義模型轉(zhuǎn)換工具、性質(zhì)驗(yàn)證工具、基于 Agent 的自適應(yīng)構(gòu)件的開發(fā)和實(shí)現(xiàn)平臺等一系列工具集，用以輔助自適應(yīng)系統(tǒng)開發(fā)的各 個流程，并進(jìn)行了應(yīng)用案例分析。 目前，隨著計算的網(wǎng)絡(luò)化、移動化和多樣化，軟件系統(tǒng)的規(guī)模越來越大、結(jié)構(gòu)越來越復(fù)雜、管理和維護(hù)越來越難、對環(huán)境變化和突發(fā)事件適應(yīng)能力的要求越來越高，因而軟件系統(tǒng)由需求、環(huán)境引起的適應(yīng)性越來越突出。金融、電信、電力、交通和國防等國家基礎(chǔ)設(shè)施的運(yùn)轉(zhuǎn)越來越依賴于具有自適應(yīng)能力的軟件系統(tǒng)。 自適應(yīng)系統(tǒng)通常駐留在動態(tài)、開放的環(huán)境中，能夠感知環(huán)境變化，并根據(jù)環(huán)境變化動態(tài)調(diào)整自身的結(jié)構(gòu)和行為，以將系統(tǒng)所提供的功能或展現(xiàn)的性能等維持在一個令人滿意的水平。盡管自適應(yīng)系統(tǒng)的研究和開發(fā)受到了學(xué)術(shù)界 和工業(yè)界的廣泛重視，但如何有效地對自適應(yīng)系統(tǒng)進(jìn)行規(guī)約、分析、設(shè)計和實(shí)現(xiàn)仍然是軟件工程面臨的一項重要挑戰(zhàn)。 軟件體系結(jié)構(gòu)從全局和宏觀的角度刻畫了軟件的配置，可有效展示系統(tǒng)的動態(tài)演化，有助于驗(yàn)證系統(tǒng)性質(zhì)和刻畫關(guān)鍵約束條件，可以有效地降低自適應(yīng)系統(tǒng)開發(fā)和維護(hù)的復(fù)雜性。論文站在軟件體系結(jié)構(gòu)的角度，針對微觀層面上的自適應(yīng)構(gòu)件和宏觀層面上的自適應(yīng)體系結(jié)構(gòu)描述和分析，研究了自適應(yīng)系統(tǒng)軟件體系結(jié)構(gòu)的基礎(chǔ)理論和關(guān)鍵技術(shù)，包括：核心機(jī)制、語言設(shè)施、語義模型、性質(zhì)驗(yàn)證和支撐環(huán)境。具體研究成果和創(chuàng)新點(diǎn)描述如下： Agent 的自適應(yīng)構(gòu)件實(shí)現(xiàn)模型和運(yùn)行機(jī)制。論文將自適應(yīng)系統(tǒng)中的自適應(yīng)軟件實(shí)體抽象和物化為軟件 Agent，提出了基于 Agent 的自適應(yīng)構(gòu)件以及支持自適應(yīng)構(gòu)件適應(yīng)環(huán)境變化的動態(tài)綁定機(jī)制。自適應(yīng)構(gòu)件在其生命周期中能夠感知外部環(huán)境的變化，根據(jù)自身所具有的自適應(yīng)策略，采取一系列動態(tài)綁定操作，以改變自身的行為規(guī)約，從而適應(yīng)外部環(huán)境的變化。論文進(jìn)一步提出了基于 Agent 自適應(yīng)構(gòu)件的構(gòu)造和運(yùn)行技術(shù)框架，形式化規(guī)約了其運(yùn)行機(jī)制。 體系結(jié)構(gòu)描述語言 BiADL。為了對自適應(yīng)系統(tǒng)的軟件體系結(jié)構(gòu)進(jìn)行規(guī)約、分析和性質(zhì)驗(yàn)證，論文提出了自適應(yīng)系統(tǒng)的軟件體系結(jié)構(gòu)描述語言 BiADL。 BiADL能夠從環(huán)境、結(jié)構(gòu)和行為三個視點(diǎn)對自適應(yīng)系統(tǒng)進(jìn)行規(guī)約，支持對構(gòu)件和配置層面的自適應(yīng)描述，具有表達(dá)系統(tǒng)演化過程中結(jié)構(gòu)和行為約束的能力。 的語義模型和性質(zhì)驗(yàn)證。論文提出了基于 Bigraph 理論的 BiADL 語義模型。論文分別將環(huán)境、結(jié)構(gòu)和行為轉(zhuǎn)化為 Bigraph，用反應(yīng)規(guī)則表示三者的變化?；谠撜Z義模型，論文提出了對自適應(yīng)系統(tǒng)在演化過程中一組重要性質(zhì)進(jìn)行驗(yàn)證的方法，包括結(jié)構(gòu)和行為的一致性、系統(tǒng)的完整性、策略的協(xié)調(diào)性 、系統(tǒng)與風(fēng)格的一致性等。 SArchStudio。為了支持自適應(yīng)系統(tǒng)軟件體系結(jié)構(gòu)的規(guī)約、分析和動態(tài)演化，支持自適應(yīng)系統(tǒng)的設(shè)計和構(gòu)造，論文設(shè)計和開發(fā)了自適應(yīng)系統(tǒng)軟件體系結(jié)構(gòu)開發(fā)環(huán)境 SArchStudio，包括BiADL 語法編輯器、語義模型轉(zhuǎn)換工具、性質(zhì)驗(yàn)證工具、基于 Agent 的自適應(yīng)構(gòu)件的開發(fā)和實(shí)現(xiàn)平臺等一系列工具集，用以輔助自適應(yīng)系統(tǒng)開發(fā)的各個流程，并進(jìn)行了應(yīng)用案例分析。 目前，隨著計算的網(wǎng)絡(luò)化、移動化和多樣化，軟件系統(tǒng)的規(guī)模越來越大、結(jié)構(gòu)越來越復(fù)雜、管理和維護(hù) 越來越難、對環(huán)境變化和突發(fā)事件適應(yīng)能力的要求越來越高，因而軟件系統(tǒng)由需求、環(huán)境引起的適