服務(wù)模型驅(qū)動的體系結(jié)構(gòu)與服務(wù)構(gòu)件重用技術(shù)

1、國內(nèi)圖書分類號：TP311.5國際圖書分類號：681.3工學(xué)博士學(xué)位論文服務(wù)模型驅(qū)動的體系結(jié)構(gòu)服務(wù)模型驅(qū)動的體系結(jié)構(gòu)與服務(wù)構(gòu)件重用技術(shù)與服務(wù)構(gòu)件重用技術(shù)博士研究生：博士研究生：莫同導(dǎo)師：導(dǎo)師：徐曉飛教授申請學(xué)位：申請學(xué)位：工學(xué)博士學(xué)科、專業(yè)：學(xué)科、專業(yè)：計(jì)算機(jī)應(yīng)用技術(shù)所在單位：所在單位：計(jì)算機(jī)科學(xué)與技術(shù)學(xué)院答辯日期：答辯日期：2009917授予學(xué)位單位：授予學(xué)位單位：哈爾濱工業(yè)大學(xué)摘要摘要社會化分工的逐步深化使得服務(wù)的形態(tài)從傳統(tǒng)的單一組

2、織提供的簡單活動轉(zhuǎn)變?yōu)橛啥喾焦餐瑓⑴c交互的復(fù)雜系統(tǒng)。信息通信技術(shù)的發(fā)展加快服務(wù)供需雙方信息的傳播速度?？焖俳⒛軌蛘_響應(yīng)顧客個性化的服務(wù)需求的復(fù)雜服務(wù)系統(tǒng)成為人們面臨的一個重要的研究主題。為提高服務(wù)系統(tǒng)構(gòu)建效率，需要建立一套系統(tǒng)的服務(wù)工程方法，以服務(wù)模型作為服務(wù)系統(tǒng)的描述基礎(chǔ)，利用服務(wù)模型的建模和轉(zhuǎn)換實(shí)現(xiàn)服務(wù)系統(tǒng)生命周期過程，通過重用已有服務(wù)提高服務(wù)系統(tǒng)構(gòu)建效率。從而使參與服務(wù)系統(tǒng)構(gòu)建的各方面人員能夠在一個完整清晰統(tǒng)一的認(rèn)知下協(xié)調(diào)工作

3、，將服務(wù)系統(tǒng)生命周期各階段有機(jī)的結(jié)合在一起，提高服務(wù)系統(tǒng)的構(gòu)建效率并保證構(gòu)建出的系統(tǒng)具有較高的顧客滿意度。為此，本文提出了一套新型服務(wù)工程方法體系“服務(wù)模型驅(qū)動的體系結(jié)構(gòu)(ServiceModelDrivenArchitectureSMDA)”，研究了表示服務(wù)系統(tǒng)語義的服務(wù)模型、服務(wù)元模型語義完備性的判定方法、服務(wù)模型建模過程及建模中的語義不一致問題、基于復(fù)用的服務(wù)系統(tǒng)構(gòu)建方法。具體研究內(nèi)容包括：(1)SMDA服務(wù)模型。為了通過模型驅(qū)動

4、方式構(gòu)建切實(shí)滿足顧客服務(wù)需求的服務(wù)系統(tǒng)，針對服務(wù)系統(tǒng)生命周期三個階段的描述需求，提出一種新的多層多視圖的SMDA服務(wù)模型。給出了SMDA服務(wù)模型的模型形式，說明每層模型中四個視圖的語義關(guān)系以及三層模型之間的關(guān)聯(lián)關(guān)系。SMDA服務(wù)模型通過模型元素和元素屬性能夠描述服務(wù)系統(tǒng)的關(guān)鍵語義和解釋語義。通過與其他服務(wù)模型的對比定性的說明該服務(wù)模型較其他服務(wù)模型更適應(yīng)SMDA對服務(wù)系統(tǒng)描述的要求。(2)服務(wù)元模型語義完備性判定。為定量的衡量服務(wù)元模型

5、對服務(wù)語義描述的完備程度，驗(yàn)證SMDA服務(wù)模型語義完備性，本文基于圖論提出了服務(wù)元模型語義完備性判定方法。首先定義了服務(wù)語義圖概念，將待表達(dá)的服務(wù)語義和服務(wù)元模型所能表達(dá)的服務(wù)語義轉(zhuǎn)變?yōu)閮蓮埛?wù)語義圖，進(jìn)而根據(jù)兩張服務(wù)語義圖的關(guān)系給出服務(wù)元模型語義完備性的定義、判定定理及證明，并給出語義完備性的度量指標(biāo)；通過擴(kuò)展子圖提出超子圖的概念，給出服務(wù)元模型語義完備性判定算法，并根據(jù)算法計(jì)算出的度量指標(biāo)值的不同情況，分析元模型語義描述缺陷并給出相