1、面向服務(wù)架構(gòu)的服務(wù)組合系統(tǒng)是以分布在網(wǎng)絡(luò)上的服務(wù)組件為功能模塊建立的一種分布式計算的特定應(yīng)用，它的主要目的就是將網(wǎng)絡(luò)上異構(gòu)的Web服務(wù)按照業(yè)務(wù)處理流程進行組合來構(gòu)建滿足用戶復(fù)雜功能需求的網(wǎng)絡(luò)應(yīng)用系統(tǒng)。由于網(wǎng)絡(luò)環(huán)境，用戶需求以及服務(wù)組件本身是動態(tài)變化的，因此如何根據(jù)需求和環(huán)境的變化實時地、動態(tài)地生成服務(wù)組合的網(wǎng)絡(luò)應(yīng)用，以避免因靜態(tài)的組合應(yīng)用結(jié)構(gòu)不具有自適應(yīng)能力，而造成應(yīng)用的中斷、交付時間的嚴(yán)重推遲或者其他嚴(yán)重的質(zhì)量問題，這是目前服務(wù)組合研

2、究領(lǐng)域中存在的一個極具挑戰(zhàn)性的問題。
　　針對這一問題，有不少學(xué)者進行了相關(guān)課題的研究、論證和分析，分別提出了局部最優(yōu)和全局最優(yōu)的自適應(yīng)服務(wù)組合策略。但是本文采用了將局部最優(yōu)策略與全局最優(yōu)策略相結(jié)合的解決方案。該解決方案能夠使系統(tǒng)自適應(yīng)環(huán)境的變化，動態(tài)地綁定和執(zhí)行的服務(wù)組合序列可以最接近用戶所請求的服務(wù)等級協(xié)議，使客戶從定制的服務(wù)組合中達到所期望獲得的滿意度。
　　本文首先根據(jù) QoS驅(qū)動的自適應(yīng)服務(wù)組合模型需求分析，給出了

3、QoS驅(qū)動的自適應(yīng)服務(wù)組合模型框架，包括模型的體系結(jié)構(gòu)和各功能模塊。其次，設(shè)計了QoS驅(qū)動的自適應(yīng)服務(wù)組合機制，包括SLA模型以及服務(wù)組合的QoS模型，用服務(wù)組合QoS屬性值和SLA服務(wù)等級協(xié)議屬性值來求解目標(biāo)函數(shù)，以獲得最接近用戶需求的服務(wù)組合序列。同時給出了運行時自適應(yīng)服務(wù)組合的執(zhí)行流程和自適應(yīng)算法。為驗證服務(wù)組合編排流程的正確性，對服務(wù)組合系統(tǒng)進行建模，使用Tableau算法檢驗服務(wù)組合系統(tǒng)是否滿足系統(tǒng)流程CTL約束。設(shè)計實現(xiàn)了支