面向普適環(huán)境的自適應(yīng)中間件模型與方法

內(nèi)容概要

　　本書針對(duì)普適計(jì)算對(duì)中間件的全新要求，集中突破基于構(gòu)件的中間件在設(shè)計(jì)部署和運(yùn)行階段如何實(shí)現(xiàn)自適應(yīng)以及面向服務(wù)的動(dòng)態(tài)配置正確性驗(yàn)證的方法難點(diǎn)，為普適計(jì)算應(yīng)用提供自適應(yīng)中間件的理論和方法支持?！　∪珪卜质?，主要內(nèi)容包括：自適應(yīng)中間件模型SCUD，SCUD自適應(yīng)構(gòu)件分配與組合方法，自適應(yīng)構(gòu)件行為等價(jià)性與兼容性判定，面向服務(wù)的軟件動(dòng)態(tài)配置正確性判定，面向服務(wù)的軟件動(dòng)態(tài)配置平臺(tái)等。

書籍目錄

第1章　概述1.1　研究背景1.1.1　計(jì)算模式變革1.1.2　計(jì)算環(huán)境融合1.1.3　軟件發(fā)展構(gòu)件化1.1.4　SOA與Web服務(wù)1.2　中間件概述1.2.1　中間件的定義1.2.2　中間件的分類1.2.3　中間件的體系結(jié)構(gòu)1.2.4　中間件的發(fā)展趨勢(shì)1.3 CCM規(guī)范概述1.3.1　CCM規(guī)范的簡(jiǎn)介1.3.2　CCM規(guī)范的優(yōu)點(diǎn)1.4　問題與挑戰(zhàn)1.5　研究?jī)?nèi)容1.6　本書結(jié)構(gòu)第2章　研究基礎(chǔ)與現(xiàn)狀2.1　自適應(yīng)中間件概念2.1.1　自適應(yīng)的定義2.1.2　自適應(yīng)系統(tǒng)的定義2.1.3　自適應(yīng)中間件的定義2.2　自適應(yīng)中間件的支撐方法綜述2.2.1　基于AOP的關(guān)注分離方法2.2.2　基于內(nèi)省和調(diào)解的反射方法2.2.3　基于構(gòu)件的設(shè)計(jì)開發(fā)方法2.2.4　基于靜態(tài)和動(dòng)態(tài)的軟件組合方法2.2.5　基于軟件動(dòng)態(tài)配置技術(shù)的調(diào)整方法2.3　自適應(yīng)中間件的研究項(xiàng)目綜述2.3.1　面向基礎(chǔ)設(shè)施的自適應(yīng)中間件2.3.2　面向分布式對(duì)象的自適應(yīng)中間件2.3.3　面向分布式構(gòu)件的自適應(yīng)中間件2.3.4　面向通用服務(wù)的自適應(yīng)中間件2.4　研究現(xiàn)狀的比較與分析2.5　本章小結(jié)第3章　自適應(yīng)中間件模型SCUD3.1　自適應(yīng)中間件模型SCUD的體系3.2　自適應(yīng)中間件模型SCUD的實(shí)體3.2.1　自適應(yīng)構(gòu)件3.2.2　自適應(yīng)智能體3.3　自適應(yīng)中間件模型SCUD的內(nèi)省機(jī)制3.3.1　自適應(yīng)中間件SCUD的反射體系3.3.2　元模型SCUDMM3.3.3　元數(shù)據(jù)SCUDMD3.3.4　元協(xié)議SCUDMP3.4　自適應(yīng)中間件模型SCUD的外省機(jī)制3.4.1　上下文的語義視圖3.4.2　智能空間中的本體3.4.3　語義集成的上下文感知模型SCM3.5　SCUD的中間件自適應(yīng)語義規(guī)范3.5.1　中間件自適應(yīng)的三階段3.5.2　基于擴(kuò)展時(shí)序邏輯的上下文感知自適應(yīng)時(shí)序邏輯CATL3.5.3　上下文感知的中間件自適應(yīng)語義規(guī)范CMAS3.5.4　中間件自適應(yīng)語義規(guī)范的合成3.6　SCUD面向服務(wù)的動(dòng)態(tài)配置機(jī)制3.6.1　SCUDSOS設(shè)計(jì)思路3.6.2　SCUDSOS基本組成3.6.3　SCUDSOS運(yùn)行時(shí)體系3.7　本章小結(jié)第4章　SCUD自適應(yīng)構(gòu)件分配與組合方法4.1　自適應(yīng)構(gòu)件分配問題的定義4.2　資源受限的啟發(fā)式自適應(yīng)構(gòu)件分配方法4.2.1　自適應(yīng)構(gòu)件分配方法—RIT4.2.2　RIT方法中的CCAP、SCB和ACDC4.3　自適應(yīng)構(gòu)件分配實(shí)驗(yàn)及性能分析4.3.1　MMS系統(tǒng)中的自適應(yīng)構(gòu)件分配實(shí)驗(yàn)4.3.2　RIT方法的性能分析4.4　自適應(yīng)構(gòu)件組合問題的定義4.5　自適應(yīng)構(gòu)件組合模型4.5.1　自適應(yīng)構(gòu)件組合單元4.5.2　自適應(yīng)構(gòu)件動(dòng)作行為4.6　安全高效的自適應(yīng)構(gòu)件組合方法4.6.1　自適應(yīng)構(gòu)件組合中的狀態(tài)定義4.6.2　自適應(yīng)構(gòu)件組合方法SEACC4.6.3　自適應(yīng)構(gòu)件組合方法實(shí)例4.6.4　自適應(yīng)構(gòu)件組合方法性能測(cè)試4.7　構(gòu)件動(dòng)態(tài)組合的自適應(yīng)因子4.7.1　自適應(yīng)因子概念4.7.2　自適應(yīng)因子的分類4.7.3　自適應(yīng)因子的計(jì)算4.8　動(dòng)態(tài)自適應(yīng)組合流程4.9　本章小結(jié)第5章　自適應(yīng)構(gòu)件行為等價(jià)性與兼容性判定5.1　π演算理論基礎(chǔ)5.1.1　π演算概述5.1.2　π演算的語法定義5.1.3　π演算的操作語義5.2　自適應(yīng)構(gòu)件行為的兀演算表達(dá)5.2.1　構(gòu)件原子行為建模方法5.2.2　構(gòu)件復(fù)合行為建模方法5.2.3　一個(gè)基于π演算的自適應(yīng)構(gòu)件行為建模實(shí)例5.3　自適應(yīng)構(gòu)件等價(jià)性與兼容性概述5.4　基于丌演算的自適應(yīng)構(gòu)件行為等價(jià)性分析與驗(yàn)證5.4.1　自適應(yīng)構(gòu)件行為等價(jià)性相關(guān)理論5.4.2　等價(jià)性驗(yàn)證工具M(jìn)WB5.4.3　基于π演算的自適應(yīng)構(gòu)件行為等價(jià)性分析5.4.4　利用MWB驗(yàn)證行為等價(jià)性5.5　基于兀演算的自適應(yīng)構(gòu)件行為兼容性分析5.5.1　自適應(yīng)構(gòu)件行為兼容性相關(guān)理論5.5.2　兼容性驗(yàn)證的一般規(guī)則5.5.3　實(shí)例分析與驗(yàn)證5.6　本章小結(jié)第6章　面向服務(wù)的軟件動(dòng)態(tài)配置正確性判定6.1　問題概述6.2　類型理論基礎(chǔ)6.2.1　Martin Lof類型論簡(jiǎn)介6.2.2　依賴記錄類型與強(qiáng)制子類型6.3　支持大粒度Web服務(wù)的形式化建模6.3.1　大粒度服務(wù)與面向服務(wù)的軟件6.3.2　OWL-S的擴(kuò)展6.3.3　Web服務(wù)外部行為建模6.3.4　Web服務(wù)內(nèi)部行為建模6.4　面向服務(wù)的軟件動(dòng)態(tài)配置的正確性判定6.4.1　服務(wù)可替換性的定義與判定6.4.2　服務(wù)兼容性的定義與判定6.5　相關(guān)工作比較6.6　本章小結(jié)第7章　SCUD面向服務(wù)的軟件動(dòng)態(tài)配置方法7.1　SCUDSOS中的動(dòng)態(tài)配置方法7.1.1　自頂向下動(dòng)態(tài)配置7.1.2　自底向上動(dòng)態(tài)配置7.2　面向功能性動(dòng)態(tài)配置的服務(wù)即時(shí)組裝方法7.2.1　面向動(dòng)態(tài)配置的服務(wù)即時(shí)組裝過程7.2.2　服務(wù)即時(shí)組裝需求的表達(dá)7.2.3　證明規(guī)則與策略7.2.4　實(shí)例研究7.3　面向非功能性動(dòng)態(tài)配置的目標(biāo)選擇方法7.3.1　Web服務(wù)的非功能屬性模型7.3.2　面向非功能性動(dòng)態(tài)配置的目標(biāo)選擇方法7.3.3　實(shí)例研究7.4　相關(guān)工作比較7.5　本章小結(jié)第8章　面向服務(wù)的軟件動(dòng)態(tài)配置平臺(tái)8.1　面向服務(wù)的軟件動(dòng)態(tài)配置平臺(tái)的設(shè)計(jì)8.1.1　體系結(jié)構(gòu)8.1.2　核心組件8.1.3　主要過程8.2　面向服務(wù)的軟件動(dòng)態(tài)配置原型平臺(tái)8.2.1　基礎(chǔ)服務(wù)模塊8.2.2　軟件集成開發(fā)環(huán)境8.2.3　動(dòng)態(tài)配置管理工具8.3　本章小結(jié)第9章　面向智能汽車空間的自適應(yīng)中間件9.1　智能汽車空間9.1.1　智能汽車空間的體系結(jié)構(gòu)9.1.2　智能汽車空間的硬件實(shí)現(xiàn)9.1.3　面向智能汽車空間的HMM構(gòu)建9.2　自適應(yīng)中間件SCUDWare9.2.1　SCUDWare的體系9.2.2　SCUDWare的特點(diǎn)9.3　CCM規(guī)范的改進(jìn)9.3.1　CCM規(guī)范的不足9.3.2　SCUDCCM規(guī)范9.4　智能汽車空間中的移動(dòng)音樂系統(tǒng)9.4.1　移動(dòng)音樂系統(tǒng)MMS的簡(jiǎn)介9.4.2　移動(dòng)音樂系統(tǒng)MMS的開發(fā)9.5　本章小結(jié)第10章　結(jié)束語10.1　本書工作總結(jié)10.2　不足之處和進(jìn)一步工作參考文獻(xiàn)

圖書封面

評(píng)論、評(píng)分、閱讀與下載

---

    面向普適環(huán)境的自適應(yīng)中間件模型與方法 PDF格式下載

---