機(jī)械制造及其自動化專業(yè)畢業(yè)論文網(wǎng)絡(luò)化制造中web服務(wù)自動組合的若干關(guān)鍵技術(shù)研究

1、機(jī)械制造及其自動化專業(yè)畢業(yè)論文 精品論文 網(wǎng)絡(luò)化制造中Web效勞自動組合的假設(shè)干關(guān)鍵技術(shù)研究關(guān)鍵詞：網(wǎng)絡(luò)化制造 Web效勞 自動組合 組合選擇摘要：為挖掘并提升網(wǎng)絡(luò)化制造的內(nèi)涵和優(yōu)勢，發(fā)揮其商業(yè)價值，本文突破傳統(tǒng)網(wǎng)絡(luò)化制造在已結(jié)盟企業(yè)間進(jìn)行數(shù)據(jù)共享與傳遞的實(shí)質(zhì)，致力于通過計算機(jī)系統(tǒng)、商務(wù)應(yīng)用和軟件組件之間的交互，自動地實(shí)現(xiàn)商務(wù)實(shí)體間的無縫、動態(tài)集成。Web效勞是網(wǎng)絡(luò)化制造的軟件資源構(gòu)件，網(wǎng)絡(luò)化制造中應(yīng)用的組合即為Web效勞的組合。然而，隨著Web效勞數(shù)目的增多，人工查找和組合Web效勞將變得越來越困難和不現(xiàn)實(shí)，同時，網(wǎng)絡(luò)化制造的網(wǎng)絡(luò)化協(xié)作與敏捷特性使其有別于其它傳統(tǒng)制造模式，它更加強(qiáng)調(diào)軟件與軟

2、件之間的交互，要求協(xié)作中盡可能減少人為干預(yù)，最大程度實(shí)現(xiàn)Web效勞組合的自動化。因此，實(shí)現(xiàn)Web效勞自動組合是構(gòu)建和運(yùn)行網(wǎng)絡(luò)化制造的必然要求和重要內(nèi)容。 本文基于網(wǎng)絡(luò)化制造中Web效勞自動組合這一背景，就實(shí)現(xiàn)效勞自動組合中的效勞描述、效勞功能匹配、效勞組合方法、效勞(組合)選擇以及效勞組合平臺等問題進(jìn)行了較為深入的討論和研究，論文工作主要包括： 1.提出了一個基于本體的Web效勞描述元模型M4WEB(Metal-modelforWebservice)。該模型以語義本體為依托，在Web效勞的WSDL(WebServicesDescriptionLanguage)描述根底上，增加了效勞根本信息、性

3、能信息和功能信息，答復(fù)了“效勞做什么？、“效勞如何做？、“如何獲取效勞？、“使用效勞需要哪些支撐？等Web效勞描述必須答復(fù)的問題。模型在結(jié)構(gòu)上分為5個局部，這5個局部在本體映射下一起構(gòu)成了一個基于語義本體的完整的Web效勞描述元模型。模型與WSDL保持一致，可以利用其成熟技術(shù)并使用業(yè)已存在的WSDL描述的Web保持一致，可以利用其成熟技術(shù)并使用業(yè)已存在的WSDL描述的Web效勞；基于本體為模型增加了語義信息，使其具有了良好的辨識度；模型可以表示效勞提供者提供的效勞，也可以描述效勞請求者所需的效勞，而且描述的繁簡還可根據(jù)實(shí)際情況進(jìn)行適當(dāng)取舍。 為使計算機(jī)能夠處理該模型，研究了模型的形式化問題。提

4、出了對模型形式化語言的要求，在分析和綜合比擬了相關(guān)形式化語言后，給出了利用OWLDL(WebOntologyLanguageDescriptionLogic)語言形式化描述模型的詳細(xì)方法與過程。該方法為了應(yīng)對Web效勞的差異性以及效勞描述繁簡、側(cè)重不同等實(shí)際問題，區(qū)分了通用定義和參考定義，使得模型形式化在保持程式化的同時具有較大程度的靈活性。 2.根據(jù)效勞組合形成過程，區(qū)分和定義了效勞過程中的兩類功能匹配：效勞與效勞間的功能匹配以及需求與效勞間的功能匹配，并根據(jù)Web效勞描述特點(diǎn)，分別為這兩類匹配設(shè)計了基于接口的功能匹配方法。方法根據(jù)接口參數(shù)三元組的描述形式<類型，名稱，

5、值(值域)>，采用縱向分解、橫向分組的方式，先對匹配雙方的接口參數(shù)進(jìn)行分類分組，然后對參數(shù)類型進(jìn)行匹配，在類型匹配滿足匹配度要求的情況下，對類組內(nèi)的參數(shù)名稱和值(值域)進(jìn)行匹配。根據(jù)匹配時參數(shù)間的語義及邏輯關(guān)系，定義了4種匹配度并給出了判據(jù)。方法中參加匹配度增強(qiáng)了方法的適應(yīng)性與靈活性，為用戶提供了較大的選擇空間。 3.提出了一個基于定向泛洪算法的Web效勞組合方法。方法利用傳統(tǒng)泛洪算法在消息傳遞和資源查找時所具有的便捷、快速特點(diǎn)進(jìn)行Web效勞的搜索和組合，同時又利用同一路徑是否有重復(fù)節(jié)點(diǎn)、P/E(Precondition/Effect)是否相容作為約束，對組合路徑進(jìn)行定向

6、，消除了組合過程中可能出現(xiàn)的“內(nèi)爆和“重疊，防止了組合陷入死循環(huán)。方法還借鑒了深度優(yōu)先搜索思想，迭代查找組合樹中狀態(tài)為UNKNOWN的首葉子節(jié)點(diǎn)，確保了組合路徑的全覆蓋。最終，方法將形成一棵以O(shè)R作為后續(xù)效勞選擇的輸入。 4.針對Web效勞的動態(tài)性與領(lǐng)域性，在不失一般性的前提下，從宏觀角度給出了選取與制定Web效勞非功能性條件的原那么，用于指導(dǎo)Web效勞非功能性條件的選取與制定。作為非功能性條件之一的效勞質(zhì)量對效勞選擇至關(guān)重要，為發(fā)揮效勞質(zhì)量在效勞選擇中的作用并使其具有可操作性，對Web效勞質(zhì)量的量化進(jìn)行了專門探討和研究，提出了一個能表達(dá)效勞質(zhì)量走勢、評價力求客觀的效勞質(zhì)量評價體系，然后在加權(quán)

7、平均法與三點(diǎn)法等統(tǒng)計學(xué)相關(guān)理論支持下給出了一個實(shí)用、高效卻又易于實(shí)現(xiàn)的Web效勞質(zhì)量評價機(jī)制與方法，從而使效勞質(zhì)量的評價有了相對科學(xué)而又具體的標(biāo)準(zhǔn)和標(biāo)準(zhǔn)，使其不再僅僅只是一個抽象空洞的概念。 在理清和分析了影響選擇的非功能性條件之后，根據(jù)Web效勞選擇具有非功能性條件期望值確定、指標(biāo)因素分層少的特點(diǎn)，在擴(kuò)展和補(bǔ)充模糊層次分析法的根底上，提出了一個適合Web效勞自動組合的基于非功能性條件約束的效勞選擇方法。該方法在采用模糊層次分析法確定條件指標(biāo)權(quán)重的同時，提出基于供求雙方對非功能性條件的期望值距離確定權(quán)數(shù)，并且據(jù)此建立了目標(biāo)函數(shù)，最后通過求解該函數(shù)便可從滿足用戶功能需求的效勞中選取最正確效勞。方

8、法消除了條件量綱不同帶來的影響并統(tǒng)一了期望值距離刻度，使不同意義的條件指標(biāo)具有了可比性。 5.基于上述關(guān)鍵技術(shù)的探索，設(shè)計和實(shí)現(xiàn)了一個Web效勞組合原型系統(tǒng)ComWS-DEB(CompositionWebService-DynamicElectronicBusiness)，該系統(tǒng)面向網(wǎng)絡(luò)化制造中的Web效勞自動組合。系統(tǒng)從結(jié)構(gòu)上劃分為4層，從上到下依次為：GalleryLayer、ResourceGateLayer、PortalLayer和CompositionLayer。這樣的設(shè)計與安排既與本文的研究內(nèi)容相吻合，同時也與目前較為流行的模塊化設(shè)計理念相一致，從而使得系統(tǒng)在保持結(jié)構(gòu)清晰、易于擴(kuò)展

9、的同時便于開發(fā)實(shí)現(xiàn)。從功能上看，該系統(tǒng)包括兩大子系統(tǒng)：效勞注冊與描述以及效勞組合與選擇，這兩大子系統(tǒng)包括兩大子系統(tǒng)：效勞注冊與描述以及效勞組合與選擇，這兩大子系統(tǒng)運(yùn)用了前述幾章的研究成果。 論文實(shí)驗(yàn)案例的運(yùn)行驗(yàn)證了本文研究內(nèi)容的有效性和正確性。 本文針對網(wǎng)絡(luò)化制造中實(shí)現(xiàn)Web效勞自動組合所需要解決的幾個關(guān)鍵技術(shù)問題展開了探索與研究，提出了初步的解決方案，對推動Web效勞自動組合這一問題域的解決具有一定的理論價值和實(shí)用價值。正文內(nèi)容 為挖掘并提升網(wǎng)絡(luò)化制造的內(nèi)涵和優(yōu)勢，發(fā)揮其商業(yè)價值，本文突破傳統(tǒng)網(wǎng)絡(luò)化制造在已結(jié)盟企業(yè)間進(jìn)行數(shù)據(jù)共享與傳遞的實(shí)質(zhì)，致力于通過計算機(jī)系統(tǒng)、商務(wù)應(yīng)用和軟件組件之間的交互

10、，自動地實(shí)現(xiàn)商務(wù)實(shí)體間的無縫、動態(tài)集成。Web效勞是網(wǎng)絡(luò)化制造的軟件資源構(gòu)件，網(wǎng)絡(luò)化制造中應(yīng)用的組合即為Web效勞的組合。然而，隨著Web效勞數(shù)目的增多，人工查找和組合Web效勞將變得越來越困難和不現(xiàn)實(shí)，同時，網(wǎng)絡(luò)化制造的網(wǎng)絡(luò)化協(xié)作與敏捷特性使其有別于其它傳統(tǒng)制造模式，它更加強(qiáng)調(diào)軟件與軟件之間的交互，要求協(xié)作中盡可能減少人為干預(yù)，最大程度實(shí)現(xiàn)Web效勞組合的自動化。因此，實(shí)現(xiàn)Web效勞自動組合是構(gòu)建和運(yùn)行網(wǎng)絡(luò)化制造的必然要求和重要內(nèi)容。 本文基于網(wǎng)絡(luò)化制造中Web效勞自動組合這一背景，就實(shí)現(xiàn)效勞自動組合中的效勞描述、效勞功能匹配、效勞組合方法、效勞(組合)選擇以及效勞組合平臺等問題進(jìn)行了較為深

11、入的討論和研究，論文工作主要包括： 1.提出了一個基于本體的Web效勞描述元模型M4WEB(Metal-modelforWebservice)。該模型以語義本體為依托，在Web效勞的WSDL(WebServicesDescriptionLanguage)描述根底上，增加了效勞根本信息、性能信息和功能信息，答復(fù)了“效勞做什么？、“效勞如何做？、“如何獲取效勞？、“使用效勞需要哪些支撐？等Web效勞描述必須答復(fù)的問題。模型在結(jié)構(gòu)上分為5個局部，這5個局部在本體映射下一起構(gòu)成了一個基于語義本體的完整的Web效勞描述元模型。模型與WSDL保持一致，可以利用其成熟技術(shù)并使用業(yè)已存在的WSDL描述的Web

12、保持一致，可以利用其成熟技術(shù)并使用業(yè)已存在的WSDL描述的Web效勞；基于本體為模型增加了語義信息，使其具有了良好的辨識度；模型可以表示效勞提供者提供的效勞，也可以描述效勞請求者所需的效勞，而且描述的繁簡還可根據(jù)實(shí)際情況進(jìn)行適當(dāng)取舍。 為使計算機(jī)能夠處理該模型，研究了模型的形式化問題。提出了對模型形式化語言的要求，在分析和綜合比擬了相關(guān)形式化語言后，給出了利用OWLDL(WebOntologyLanguageDescriptionLogic)語言形式化描述模型的詳細(xì)方法與過程。該方法為了應(yīng)對Web效勞的差異性以及效勞描述繁簡、側(cè)重不同等實(shí)際問題，區(qū)分了通用定義和參考定義，使得模型形式化在保持程

13、式化的同時具有較大程度的靈活性。 2.根據(jù)效勞組合形成過程，區(qū)分和定義了效勞過程中的兩類功能匹配：效勞與效勞間的功能匹配以及需求與效勞間的功能匹配，并根據(jù)Web效勞描述特點(diǎn)，分別為這兩類匹配設(shè)計了基于接口的功能匹配方法。方法根據(jù)接口參數(shù)三元組的描述形式<類型，名稱，值(值域)>，采用縱向分解、橫向分組的方式，先對匹配雙方的接口參數(shù)進(jìn)行分類分組，然后對參數(shù)類型進(jìn)行匹配，在類型匹配滿足匹配度要求的情況下，對類組內(nèi)的參數(shù)名稱和值(值域)進(jìn)行匹配。根據(jù)匹配時參數(shù)間的語義及邏輯關(guān)系，定義了4種匹配度并給出了判據(jù)。方法中參加匹配度增強(qiáng)了方法的適應(yīng)性與靈活性，為用

14、戶提供了較大的選擇空間。 3.提出了一個基于定向泛洪算法的Web效勞組合方法。方法利用傳統(tǒng)泛洪算法在消息傳遞和資源查找時所具有的便捷、快速特點(diǎn)進(jìn)行Web效勞的搜索和組合，同時又利用同一路徑是否有重復(fù)節(jié)點(diǎn)、P/E(Precondition/Effect)是否相容作為約束，對組合路徑進(jìn)行定向，消除了組合過程中可能出現(xiàn)的“內(nèi)爆和“重疊，防止了組合陷入死循環(huán)。方法還借鑒了深度優(yōu)先搜索思想，迭代查找組合樹中狀態(tài)為UNKNOWN的首葉子節(jié)點(diǎn)，確保了組合路徑的全覆蓋。最終，方法將形成一棵以O(shè)R作為后續(xù)效勞選擇的輸入。 4.針對Web效勞的動態(tài)性與領(lǐng)域性，在不失一般性的前提下，從宏觀角度給出了選取與制定Web

15、效勞非功能性條件的原那么，用于指導(dǎo)Web效勞非功能性條件的選取與制定。作為非功能性條件之一的效勞質(zhì)量對效勞選擇至關(guān)重要，為發(fā)揮效勞質(zhì)量在效勞選擇中的作用并使其具有可操作性，對Web效勞質(zhì)量的量化進(jìn)行了專門探討和研究，提出了一個能表達(dá)效勞質(zhì)量走勢、評價力求客觀的效勞質(zhì)量評價體系，然后在加權(quán)平均法與三點(diǎn)法等統(tǒng)計學(xué)相關(guān)理論支持下給出了一個實(shí)用、高效卻又易于實(shí)現(xiàn)的Web效勞質(zhì)量評價機(jī)制與方法，從而使效勞質(zhì)量的評價有了相對科學(xué)而又具體的標(biāo)準(zhǔn)和標(biāo)準(zhǔn)，使其不再僅僅只是一個抽象空洞的概念。 在理清和分析了影響選擇的非功能性條件之后，根據(jù)Web效勞選擇具有非功能性條件期望值確定、指標(biāo)因素分層少的特點(diǎn)，在擴(kuò)展和補(bǔ)

16、充模糊層次分析法的根底上，提出了一個適合Web效勞自動組合的基于非功能性條件約束的效勞選擇方法。該方法在采用模糊層次分析法確定條件指標(biāo)權(quán)重的同時，提出基于供求雙方對非功能性條件的期望值距離確定權(quán)數(shù)，并且據(jù)此建立了目標(biāo)函數(shù)，最后通過求解該函數(shù)便可從滿足用戶功能需求的效勞中選取最正確效勞。方法消除了條件量綱不同帶來的影響并統(tǒng)一了期望值距離刻度，使不同意義的條件指標(biāo)具有了可比性。 5.基于上述關(guān)鍵技術(shù)的探索，設(shè)計和實(shí)現(xiàn)了一個Web效勞組合原型系統(tǒng)ComWS-DEB(CompositionWebService-DynamicElectronicBusiness)，該系統(tǒng)面向網(wǎng)絡(luò)化制造中的Web效勞自動

17、組合。系統(tǒng)從結(jié)構(gòu)上劃分為4層，從上到下依次為：GalleryLayer、ResourceGateLayer、PortalLayer和CompositionLayer。這樣的設(shè)計與安排既與本文的研究內(nèi)容相吻合，同時也與目前較為流行的模塊化設(shè)計理念相一致，從而使得系統(tǒng)在保持結(jié)構(gòu)清晰、易于擴(kuò)展的同時便于開發(fā)實(shí)現(xiàn)。從功能上看，該系統(tǒng)包括兩大子系統(tǒng)：效勞注冊與描述以及效勞組合與選擇，這兩大子系統(tǒng)包括兩大子系統(tǒng)：效勞注冊與描述以及效勞組合與選擇，這兩大子系統(tǒng)運(yùn)用了前述幾章的研究成果。 論文實(shí)驗(yàn)案例的運(yùn)行驗(yàn)證了本文研究內(nèi)容的有效性和正確性。 本文針對網(wǎng)絡(luò)化制造中實(shí)現(xiàn)Web效勞自動組合所需要解決的幾個關(guān)鍵技術(shù)

18、問題展開了探索與研究，提出了初步的解決方案，對推動Web效勞自動組合這一問題域的解決具有一定的理論價值和實(shí)用價值。為挖掘并提升網(wǎng)絡(luò)化制造的內(nèi)涵和優(yōu)勢，發(fā)揮其商業(yè)價值，本文突破傳統(tǒng)網(wǎng)絡(luò)化制造在已結(jié)盟企業(yè)間進(jìn)行數(shù)據(jù)共享與傳遞的實(shí)質(zhì)，致力于通過計算機(jī)系統(tǒng)、商務(wù)應(yīng)用和軟件組件之間的交互，自動地實(shí)現(xiàn)商務(wù)實(shí)體間的無縫、動態(tài)集成。Web效勞是網(wǎng)絡(luò)化制造的軟件資源構(gòu)件，網(wǎng)絡(luò)化制造中應(yīng)用的組合即為Web效勞的組合。然而，隨著Web效勞數(shù)目的增多，人工查找和組合Web效勞將變得越來越困難和不現(xiàn)實(shí)，同時，網(wǎng)絡(luò)化制造的網(wǎng)絡(luò)化協(xié)作與敏捷特性使其有別于其它傳統(tǒng)制造模式，它更加強(qiáng)調(diào)軟件與軟件之間的交互，要求協(xié)作中盡可能減少

19、人為干預(yù)，最大程度實(shí)現(xiàn)Web效勞組合的自動化。因此，實(shí)現(xiàn)Web效勞自動組合是構(gòu)建和運(yùn)行網(wǎng)絡(luò)化制造的必然要求和重要內(nèi)容。 本文基于網(wǎng)絡(luò)化制造中Web效勞自動組合這一背景，就實(shí)現(xiàn)效勞自動組合中的效勞描述、效勞功能匹配、效勞組合方法、效勞(組合)選擇以及效勞組合平臺等問題進(jìn)行了較為深入的討論和研究，論文工作主要包括： 1.提出了一個基于本體的Web效勞描述元模型M4WEB(Metal-modelforWebservice)。該模型以語義本體為依托，在Web效勞的WSDL(WebServicesDescriptionLanguage)描述根底上，增加了效勞根本信息、性能信息和功能信息，答復(fù)了“效勞做什

20、么？、“效勞如何做？、“如何獲取效勞？、“使用效勞需要哪些支撐？等Web效勞描述必須答復(fù)的問題。模型在結(jié)構(gòu)上分為5個局部，這5個局部在本體映射下一起構(gòu)成了一個基于語義本體的完整的Web效勞描述元模型。模型與WSDL保持一致，可以利用其成熟技術(shù)并使用業(yè)已存在的WSDL描述的Web保持一致，可以利用其成熟技術(shù)并使用業(yè)已存在的WSDL描述的Web效勞；基于本體為模型增加了語義信息，使其具有了良好的辨識度；模型可以表示效勞提供者提供的效勞，也可以描述效勞請求者所需的效勞，而且描述的繁簡還可根據(jù)實(shí)際情況進(jìn)行適當(dāng)取舍。 為使計算機(jī)能夠處理該模型，研究了模型的形式化問題。提出了對模型形式化語言的要求，在分析

21、和綜合比擬了相關(guān)形式化語言后，給出了利用OWLDL(WebOntologyLanguageDescriptionLogic)語言形式化描述模型的詳細(xì)方法與過程。該方法為了應(yīng)對Web效勞的差異性以及效勞描述繁簡、側(cè)重不同等實(shí)際問題，區(qū)分了通用定義和參考定義，使得模型形式化在保持程式化的同時具有較大程度的靈活性。 2.根據(jù)效勞組合形成過程，區(qū)分和定義了效勞過程中的兩類功能匹配：效勞與效勞間的功能匹配以及需求與效勞間的功能匹配，并根據(jù)Web效勞描述特點(diǎn)，分別為這兩類匹配設(shè)計了基于接口的功能匹配方法。方法根據(jù)接口參數(shù)三元組的描述形式<類型，名稱，值(值域)>

22、，采用縱向分解、橫向分組的方式，先對匹配雙方的接口參數(shù)進(jìn)行分類分組，然后對參數(shù)類型進(jìn)行匹配，在類型匹配滿足匹配度要求的情況下，對類組內(nèi)的參數(shù)名稱和值(值域)進(jìn)行匹配。根據(jù)匹配時參數(shù)間的語義及邏輯關(guān)系，定義了4種匹配度并給出了判據(jù)。方法中參加匹配度增強(qiáng)了方法的適應(yīng)性與靈活性，為用戶提供了較大的選擇空間。 3.提出了一個基于定向泛洪算法的Web效勞組合方法。方法利用傳統(tǒng)泛洪算法在消息傳遞和資源查找時所具有的便捷、快速特點(diǎn)進(jìn)行Web效勞的搜索和組合，同時又利用同一路徑是否有重復(fù)節(jié)點(diǎn)、P/E(Precondition/Effect)是否相容作為約束，對組合路徑進(jìn)行定向，消除了組合過程中可能出現(xiàn)的“內(nèi)爆

23、和“重疊，防止了組合陷入死循環(huán)。方法還借鑒了深度優(yōu)先搜索思想，迭代查找組合樹中狀態(tài)為UNKNOWN的首葉子節(jié)點(diǎn)，確保了組合路徑的全覆蓋。最終，方法將形成一棵以O(shè)R作為后續(xù)效勞選擇的輸入。 4.針對Web效勞的動態(tài)性與領(lǐng)域性，在不失一般性的前提下，從宏觀角度給出了選取與制定Web效勞非功能性條件的原那么，用于指導(dǎo)Web效勞非功能性條件的選取與制定。作為非功能性條件之一的效勞質(zhì)量對效勞選擇至關(guān)重要，為發(fā)揮效勞質(zhì)量在效勞選擇中的作用并使其具有可操作性，對Web效勞質(zhì)量的量化進(jìn)行了專門探討和研究，提出了一個能表達(dá)效勞質(zhì)量走勢、評價力求客觀的效勞質(zhì)量評價體系，然后在加權(quán)平均法與三點(diǎn)法等統(tǒng)計學(xué)相關(guān)理論支持

24、下給出了一個實(shí)用、高效卻又易于實(shí)現(xiàn)的Web效勞質(zhì)量評價機(jī)制與方法，從而使效勞質(zhì)量的評價有了相對科學(xué)而又具體的標(biāo)準(zhǔn)和標(biāo)準(zhǔn)，使其不再僅僅只是一個抽象空洞的概念。 在理清和分析了影響選擇的非功能性條件之后，根據(jù)Web效勞選擇具有非功能性條件期望值確定、指標(biāo)因素分層少的特點(diǎn)，在擴(kuò)展和補(bǔ)充模糊層次分析法的根底上，提出了一個適合Web效勞自動組合的基于非功能性條件約束的效勞選擇方法。該方法在采用模糊層次分析法確定條件指標(biāo)權(quán)重的同時，提出基于供求雙方對非功能性條件的期望值距離確定權(quán)數(shù)，并且據(jù)此建立了目標(biāo)函數(shù)，最后通過求解該函數(shù)便可從滿足用戶功能需求的效勞中選取最正確效勞。方法消除了條件量綱不同帶來的影響并統(tǒng)

25、一了期望值距離刻度，使不同意義的條件指標(biāo)具有了可比性。 5.基于上述關(guān)鍵技術(shù)的探索，設(shè)計和實(shí)現(xiàn)了一個Web效勞組合原型系統(tǒng)ComWS-DEB(CompositionWebService-DynamicElectronicBusiness)，該系統(tǒng)面向網(wǎng)絡(luò)化制造中的Web效勞自動組合。系統(tǒng)從結(jié)構(gòu)上劃分為4層，從上到下依次為：GalleryLayer、ResourceGateLayer、PortalLayer和CompositionLayer。這樣的設(shè)計與安排既與本文的研究內(nèi)容相吻合，同時也與目前較為流行的模塊化設(shè)計理念相一致，從而使得系統(tǒng)在保持結(jié)構(gòu)清晰、易于擴(kuò)展的同時便于開發(fā)實(shí)現(xiàn)。從功能上看，該

26、系統(tǒng)包括兩大子系統(tǒng)：效勞注冊與描述以及效勞組合與選擇，這兩大子系統(tǒng)包括兩大子系統(tǒng)：效勞注冊與描述以及效勞組合與選擇，這兩大子系統(tǒng)運(yùn)用了前述幾章的研究成果。 論文實(shí)驗(yàn)案例的運(yùn)行驗(yàn)證了本文研究內(nèi)容的有效性和正確性。 本文針對網(wǎng)絡(luò)化制造中實(shí)現(xiàn)Web效勞自動組合所需要解決的幾個關(guān)鍵技術(shù)問題展開了探索與研究，提出了初步的解決方案，對推動Web效勞自動組合這一問題域的解決具有一定的理論價值和實(shí)用價值。為挖掘并提升網(wǎng)絡(luò)化制造的內(nèi)涵和優(yōu)勢，發(fā)揮其商業(yè)價值，本文突破傳統(tǒng)網(wǎng)絡(luò)化制造在已結(jié)盟企業(yè)間進(jìn)行數(shù)據(jù)共享與傳遞的實(shí)質(zhì)，致力于通過計算機(jī)系統(tǒng)、商務(wù)應(yīng)用和軟件組件之間的交互，自動地實(shí)現(xiàn)商務(wù)實(shí)體間的無縫、動態(tài)集成。We

27、b效勞是網(wǎng)絡(luò)化制造的軟件資源構(gòu)件，網(wǎng)絡(luò)化制造中應(yīng)用的組合即為Web效勞的組合。然而，隨著Web效勞數(shù)目的增多，人工查找和組合Web效勞將變得越來越困難和不現(xiàn)實(shí)，同時，網(wǎng)絡(luò)化制造的網(wǎng)絡(luò)化協(xié)作與敏捷特性使其有別于其它傳統(tǒng)制造模式，它更加強(qiáng)調(diào)軟件與軟件之間的交互，要求協(xié)作中盡可能減少人為干預(yù)，最大程度實(shí)現(xiàn)Web效勞組合的自動化。因此，實(shí)現(xiàn)Web效勞自動組合是構(gòu)建和運(yùn)行網(wǎng)絡(luò)化制造的必然要求和重要內(nèi)容。 本文基于網(wǎng)絡(luò)化制造中Web效勞自動組合這一背景，就實(shí)現(xiàn)效勞自動組合中的效勞描述、效勞功能匹配、效勞組合方法、效勞(組合)選擇以及效勞組合平臺等問題進(jìn)行了較為深入的討論和研究，論文工作主要包括： 1.提出

28、了一個基于本體的Web效勞描述元模型M4WEB(Metal-modelforWebservice)。該模型以語義本體為依托，在Web效勞的WSDL(WebServicesDescriptionLanguage)描述根底上，增加了效勞根本信息、性能信息和功能信息，答復(fù)了“效勞做什么？、“效勞如何做？、“如何獲取效勞？、“使用效勞需要哪些支撐？等Web效勞描述必須答復(fù)的問題。模型在結(jié)構(gòu)上分為5個局部，這5個局部在本體映射下一起構(gòu)成了一個基于語義本體的完整的Web效勞描述元模型。模型與WSDL保持一致，可以利用其成熟技術(shù)并使用業(yè)已存在的WSDL描述的Web保持一致，可以利用其成熟技術(shù)并使用業(yè)已存在的

29、WSDL描述的Web效勞；基于本體為模型增加了語義信息，使其具有了良好的辨識度；模型可以表示效勞提供者提供的效勞，也可以描述效勞請求者所需的效勞，而且描述的繁簡還可根據(jù)實(shí)際情況進(jìn)行適當(dāng)取舍。 為使計算機(jī)能夠處理該模型，研究了模型的形式化問題。提出了對模型形式化語言的要求，在分析和綜合比擬了相關(guān)形式化語言后，給出了利用OWLDL(WebOntologyLanguageDescriptionLogic)語言形式化描述模型的詳細(xì)方法與過程。該方法為了應(yīng)對Web效勞的差異性以及效勞描述繁簡、側(cè)重不同等實(shí)際問題，區(qū)分了通用定義和參考定義，使得模型形式化在保持程式化的同時具有較大程度的靈活性。 2.根據(jù)效

30、勞組合形成過程，區(qū)分和定義了效勞過程中的兩類功能匹配：效勞與效勞間的功能匹配以及需求與效勞間的功能匹配，并根據(jù)Web效勞描述特點(diǎn)，分別為這兩類匹配設(shè)計了基于接口的功能匹配方法。方法根據(jù)接口參數(shù)三元組的描述形式<類型，名稱，值(值域)>，采用縱向分解、橫向分組的方式，先對匹配雙方的接口參數(shù)進(jìn)行分類分組，然后對參數(shù)類型進(jìn)行匹配，在類型匹配滿足匹配度要求的情況下，對類組內(nèi)的參數(shù)名稱和值(值域)進(jìn)行匹配。根據(jù)匹配時參數(shù)間的語義及邏輯關(guān)系，定義了4種匹配度并給出了判據(jù)。方法中參加匹配度增強(qiáng)了方法的適應(yīng)性與靈活性，為用戶提供了較大的選擇空間。 3.提出了一個基于

31、定向泛洪算法的Web效勞組合方法。方法利用傳統(tǒng)泛洪算法在消息傳遞和資源查找時所具有的便捷、快速特點(diǎn)進(jìn)行Web效勞的搜索和組合，同時又利用同一路徑是否有重復(fù)節(jié)點(diǎn)、P/E(Precondition/Effect)是否相容作為約束，對組合路徑進(jìn)行定向，消除了組合過程中可能出現(xiàn)的“內(nèi)爆和“重疊，防止了組合陷入死循環(huán)。方法還借鑒了深度優(yōu)先搜索思想，迭代查找組合樹中狀態(tài)為UNKNOWN的首葉子節(jié)點(diǎn)，確保了組合路徑的全覆蓋。最終，方法將形成一棵以O(shè)R作為后續(xù)效勞選擇的輸入。 4.針對Web效勞的動態(tài)性與領(lǐng)域性，在不失一般性的前提下，從宏觀角度給出了選取與制定Web效勞非功能性條件的原那么，用于指導(dǎo)Web效勞

32、非功能性條件的選取與制定。作為非功能性條件之一的效勞質(zhì)量對效勞選擇至關(guān)重要，為發(fā)揮效勞質(zhì)量在效勞選擇中的作用并使其具有可操作性，對Web效勞質(zhì)量的量化進(jìn)行了專門探討和研究，提出了一個能表達(dá)效勞質(zhì)量走勢、評價力求客觀的效勞質(zhì)量評價體系，然后在加權(quán)平均法與三點(diǎn)法等統(tǒng)計學(xué)相關(guān)理論支持下給出了一個實(shí)用、高效卻又易于實(shí)現(xiàn)的Web效勞質(zhì)量評價機(jī)制與方法，從而使效勞質(zhì)量的評價有了相對科學(xué)而又具體的標(biāo)準(zhǔn)和標(biāo)準(zhǔn)，使其不再僅僅只是一個抽象空洞的概念。 在理清和分析了影響選擇的非功能性條件之后，根據(jù)Web效勞選擇具有非功能性條件期望值確定、指標(biāo)因素分層少的特點(diǎn)，在擴(kuò)展和補(bǔ)充模糊層次分析法的根底上，提出了一個適合We

33、b效勞自動組合的基于非功能性條件約束的效勞選擇方法。該方法在采用模糊層次分析法確定條件指標(biāo)權(quán)重的同時，提出基于供求雙方對非功能性條件的期望值距離確定權(quán)數(shù)，并且據(jù)此建立了目標(biāo)函數(shù)，最后通過求解該函數(shù)便可從滿足用戶功能需求的效勞中選取最正確效勞。方法消除了條件量綱不同帶來的影響并統(tǒng)一了期望值距離刻度，使不同意義的條件指標(biāo)具有了可比性。 5.基于上述關(guān)鍵技術(shù)的探索，設(shè)計和實(shí)現(xiàn)了一個Web效勞組合原型系統(tǒng)ComWS-DEB(CompositionWebService-DynamicElectronicBusiness)，該系統(tǒng)面向網(wǎng)絡(luò)化制造中的Web效勞自動組合。系統(tǒng)從結(jié)構(gòu)上劃分為4層，從上到下依次為

34、：GalleryLayer、ResourceGateLayer、PortalLayer和CompositionLayer。這樣的設(shè)計與安排既與本文的研究內(nèi)容相吻合，同時也與目前較為流行的模塊化設(shè)計理念相一致，從而使得系統(tǒng)在保持結(jié)構(gòu)清晰、易于擴(kuò)展的同時便于開發(fā)實(shí)現(xiàn)。從功能上看，該系統(tǒng)包括兩大子系統(tǒng)：效勞注冊與描述以及效勞組合與選擇，這兩大子系統(tǒng)包括兩大子系統(tǒng)：效勞注冊與描述以及效勞組合與選擇，這兩大子系統(tǒng)運(yùn)用了前述幾章的研究成果。 論文實(shí)驗(yàn)案例的運(yùn)行驗(yàn)證了本文研究內(nèi)容的有效性和正確性。 本文針對網(wǎng)絡(luò)化制造中實(shí)現(xiàn)Web效勞自動組合所需要解決的幾個關(guān)鍵技術(shù)問題展開了探索與研究，提出了初步的解決方案，

35、對推動Web效勞自動組合這一問題域的解決具有一定的理論價值和實(shí)用價值。為挖掘并提升網(wǎng)絡(luò)化制造的內(nèi)涵和優(yōu)勢，發(fā)揮其商業(yè)價值，本文突破傳統(tǒng)網(wǎng)絡(luò)化制造在已結(jié)盟企業(yè)間進(jìn)行數(shù)據(jù)共享與傳遞的實(shí)質(zhì)，致力于通過計算機(jī)系統(tǒng)、商務(wù)應(yīng)用和軟件組件之間的交互，自動地實(shí)現(xiàn)商務(wù)實(shí)體間的無縫、動態(tài)集成。Web效勞是網(wǎng)絡(luò)化制造的軟件資源構(gòu)件，網(wǎng)絡(luò)化制造中應(yīng)用的組合即為Web效勞的組合。然而，隨著Web效勞數(shù)目的增多，人工查找和組合Web效勞將變得越來越困難和不現(xiàn)實(shí)，同時，網(wǎng)絡(luò)化制造的網(wǎng)絡(luò)化協(xié)作與敏捷特性使其有別于其它傳統(tǒng)制造模式，它更加強(qiáng)調(diào)軟件與軟件之間的交互，要求協(xié)作中盡可能減少人為干預(yù)，最大程度實(shí)現(xiàn)Web效勞組合的自動化

36、。因此，實(shí)現(xiàn)Web效勞自動組合是構(gòu)建和運(yùn)行網(wǎng)絡(luò)化制造的必然要求和重要內(nèi)容。 本文基于網(wǎng)絡(luò)化制造中Web效勞自動組合這一背景，就實(shí)現(xiàn)效勞自動組合中的效勞描述、效勞功能匹配、效勞組合方法、效勞(組合)選擇以及效勞組合平臺等問題進(jìn)行了較為深入的討論和研究，論文工作主要包括： 1.提出了一個基于本體的Web效勞描述元模型M4WEB(Metal-modelforWebservice)。該模型以語義本體為依托，在Web效勞的WSDL(WebServicesDescriptionLanguage)描述根底上，增加了效勞根本信息、性能信息和功能信息，答復(fù)了“效勞做什么？、“效勞如何做？、“如何獲取效勞？、“使

37、用效勞需要哪些支撐？等Web效勞描述必須答復(fù)的問題。模型在結(jié)構(gòu)上分為5個局部，這5個局部在本體映射下一起構(gòu)成了一個基于語義本體的完整的Web效勞描述元模型。模型與WSDL保持一致，可以利用其成熟技術(shù)并使用業(yè)已存在的WSDL描述的Web保持一致，可以利用其成熟技術(shù)并使用業(yè)已存在的WSDL描述的Web效勞；基于本體為模型增加了語義信息，使其具有了良好的辨識度；模型可以表示效勞提供者提供的效勞，也可以描述效勞請求者所需的效勞，而且描述的繁簡還可根據(jù)實(shí)際情況進(jìn)行適當(dāng)取舍。 為使計算機(jī)能夠處理該模型，研究了模型的形式化問題。提出了對模型形式化語言的要求，在分析和綜合比擬了相關(guān)形式化語言后，給出了利用OW

38、LDL(WebOntologyLanguageDescriptionLogic)語言形式化描述模型的詳細(xì)方法與過程。該方法為了應(yīng)對Web效勞的差異性以及效勞描述繁簡、側(cè)重不同等實(shí)際問題，區(qū)分了通用定義和參考定義，使得模型形式化在保持程式化的同時具有較大程度的靈活性。 2.根據(jù)效勞組合形成過程，區(qū)分和定義了效勞過程中的兩類功能匹配：效勞與效勞間的功能匹配以及需求與效勞間的功能匹配，并根據(jù)Web效勞描述特點(diǎn)，分別為這兩類匹配設(shè)計了基于接口的功能匹配方法。方法根據(jù)接口參數(shù)三元組的描述形式<類型，名稱，值(值域)>，采用縱向分解、橫向分組的方式，先對匹配雙方

39、的接口參數(shù)進(jìn)行分類分組，然后對參數(shù)類型進(jìn)行匹配，在類型匹配滿足匹配度要求的情況下，對類組內(nèi)的參數(shù)名稱和值(值域)進(jìn)行匹配。根據(jù)匹配時參數(shù)間的語義及邏輯關(guān)系，定義了4種匹配度并給出了判據(jù)。方法中參加匹配度增強(qiáng)了方法的適應(yīng)性與靈活性，為用戶提供了較大的選擇空間。 3.提出了一個基于定向泛洪算法的Web效勞組合方法。方法利用傳統(tǒng)泛洪算法在消息傳遞和資源查找時所具有的便捷、快速特點(diǎn)進(jìn)行Web效勞的搜索和組合，同時又利用同一路徑是否有重復(fù)節(jié)點(diǎn)、P/E(Precondition/Effect)是否相容作為約束，對組合路徑進(jìn)行定向，消除了組合過程中可能出現(xiàn)的“內(nèi)爆和“重疊，防止了組合陷入死循環(huán)。方法還借鑒了

40、深度優(yōu)先搜索思想，迭代查找組合樹中狀態(tài)為UNKNOWN的首葉子節(jié)點(diǎn)，確保了組合路徑的全覆蓋。最終，方法將形成一棵以O(shè)R作為后續(xù)效勞選擇的輸入。 4.針對Web效勞的動態(tài)性與領(lǐng)域性，在不失一般性的前提下，從宏觀角度給出了選取與制定Web效勞非功能性條件的原那么，用于指導(dǎo)Web效勞非功能性條件的選取與制定。作為非功能性條件之一的效勞質(zhì)量對效勞選擇至關(guān)重要，為發(fā)揮效勞質(zhì)量在效勞選擇中的作用并使其具有可操作性，對Web效勞質(zhì)量的量化進(jìn)行了專門探討和研究，提出了一個能表達(dá)效勞質(zhì)量走勢、評價力求客觀的效勞質(zhì)量評價體系，然后在加權(quán)平均法與三點(diǎn)法等統(tǒng)計學(xué)相關(guān)理論支持下給出了一個實(shí)用、高效卻又易于實(shí)現(xiàn)的Web效

41、勞質(zhì)量評價機(jī)制與方法，從而使效勞質(zhì)量的評價有了相對科學(xué)而又具體的標(biāo)準(zhǔn)和標(biāo)準(zhǔn)，使其不再僅僅只是一個抽象空洞的概念。 在理清和分析了影響選擇的非功能性條件之后，根據(jù)Web效勞選擇具有非功能性條件期望值確定、指標(biāo)因素分層少的特點(diǎn)，在擴(kuò)展和補(bǔ)充模糊層次分析法的根底上，提出了一個適合Web效勞自動組合的基于非功能性條件約束的效勞選擇方法。該方法在采用模糊層次分析法確定條件指標(biāo)權(quán)重的同時，提出基于供求雙方對非功能性條件的期望值距離確定權(quán)數(shù)，并且據(jù)此建立了目標(biāo)函數(shù)，最后通過求解該函數(shù)便可從滿足用戶功能需求的效勞中選取最正確效勞。方法消除了條件量綱不同帶來的影響并統(tǒng)一了期望值距離刻度，使不同意義的條件指標(biāo)具有

42、了可比性。 5.基于上述關(guān)鍵技術(shù)的探索，設(shè)計和實(shí)現(xiàn)了一個Web效勞組合原型系統(tǒng)ComWS-DEB(CompositionWebService-DynamicElectronicBusiness)，該系統(tǒng)面向網(wǎng)絡(luò)化制造中的Web效勞自動組合。系統(tǒng)從結(jié)構(gòu)上劃分為4層，從上到下依次為：GalleryLayer、ResourceGateLayer、PortalLayer和CompositionLayer。這樣的設(shè)計與安排既與本文的研究內(nèi)容相吻合，同時也與目前較為流行的模塊化設(shè)計理念相一致，從而使得系統(tǒng)在保持結(jié)構(gòu)清晰、易于擴(kuò)展的同時便于開發(fā)實(shí)現(xiàn)。從功能上看，該系統(tǒng)包括兩大子系統(tǒng)：效勞注冊與描述以及效勞組

43、合與選擇，這兩大子系統(tǒng)包括兩大子系統(tǒng)：效勞注冊與描述以及效勞組合與選擇，這兩大子系統(tǒng)運(yùn)用了前述幾章的研究成果。 論文實(shí)驗(yàn)案例的運(yùn)行驗(yàn)證了本文研究內(nèi)容的有效性和正確性。 本文針對網(wǎng)絡(luò)化制造中實(shí)現(xiàn)Web效勞自動組合所需要解決的幾個關(guān)鍵技術(shù)問題展開了探索與研究，提出了初步的解決方案，對推動Web效勞自動組合這一問題域的解決具有一定的理論價值和實(shí)用價值。為挖掘并提升網(wǎng)絡(luò)化制造的內(nèi)涵和優(yōu)勢，發(fā)揮其商業(yè)價值，本文突破傳統(tǒng)網(wǎng)絡(luò)化制造在已結(jié)盟企業(yè)間進(jìn)行數(shù)據(jù)共享與傳遞的實(shí)質(zhì)，致力于通過計算機(jī)系統(tǒng)、商務(wù)應(yīng)用和軟件組件之間的交互，自動地實(shí)現(xiàn)商務(wù)實(shí)體間的無縫、動態(tài)集成。Web效勞是網(wǎng)絡(luò)化制造的軟件資源構(gòu)件，網(wǎng)絡(luò)化制造

44、中應(yīng)用的組合即為Web效勞的組合。然而，隨著Web效勞數(shù)目的增多，人工查找和組合Web效勞將變得越來越困難和不現(xiàn)實(shí)，同時，網(wǎng)絡(luò)化制造的網(wǎng)絡(luò)化協(xié)作與敏捷特性使其有別于其它傳統(tǒng)制造模式，它更加強(qiáng)調(diào)軟件與軟件之間的交互，要求協(xié)作中盡可能減少人為干預(yù)，最大程度實(shí)現(xiàn)Web效勞組合的自動化。因此，實(shí)現(xiàn)Web效勞自動組合是構(gòu)建和運(yùn)行網(wǎng)絡(luò)化制造的必然要求和重要內(nèi)容。 本文基于網(wǎng)絡(luò)化制造中Web效勞自動組合這一背景，就實(shí)現(xiàn)效勞自動組合中的效勞描述、效勞功能匹配、效勞組合方法、效勞(組合)選擇以及效勞組合平臺等問題進(jìn)行了較為深入的討論和研究，論文工作主要包括： 1.提出了一個基于本體的Web效勞描述元模型M4WE

45、B(Metal-modelforWebservice)。該模型以語義本體為依托，在Web效勞的WSDL(WebServicesDescriptionLanguage)描述根底上，增加了效勞根本信息、性能信息和功能信息，答復(fù)了“效勞做什么？、“效勞如何做？、“如何獲取效勞？、“使用效勞需要哪些支撐？等Web效勞描述必須答復(fù)的問題。模型在結(jié)構(gòu)上分為5個局部，這5個局部在本體映射下一起構(gòu)成了一個基于語義本體的完整的Web效勞描述元模型。模型與WSDL保持一致，可以利用其成熟技術(shù)并使用業(yè)已存在的WSDL描述的Web保持一致，可以利用其成熟技術(shù)并使用業(yè)已存在的WSDL描述的Web效勞；基于本體為模型增加

46、了語義信息，使其具有了良好的辨識度；模型可以表示效勞提供者提供的效勞，也可以描述效勞請求者所需的效勞，而且描述的繁簡還可根據(jù)實(shí)際情況進(jìn)行適當(dāng)取舍。 為使計算機(jī)能夠處理該模型，研究了模型的形式化問題。提出了對模型形式化語言的要求，在分析和綜合比擬了相關(guān)形式化語言后，給出了利用OWLDL(WebOntologyLanguageDescriptionLogic)語言形式化描述模型的詳細(xì)方法與過程。該方法為了應(yīng)對Web效勞的差異性以及效勞描述繁簡、側(cè)重不同等實(shí)際問題，區(qū)分了通用定義和參考定義，使得模型形式化在保持程式化的同時具有較大程度的靈活性。 2.根據(jù)效勞組合形成過程，區(qū)分和定義了效勞過程中的兩類

47、功能匹配：效勞與效勞間的功能匹配以及需求與效勞間的功能匹配，并根據(jù)Web效勞描述特點(diǎn)，分別為這兩類匹配設(shè)計了基于接口的功能匹配方法。方法根據(jù)接口參數(shù)三元組的描述形式<類型，名稱，值(值域)>，采用縱向分解、橫向分組的方式，先對匹配雙方的接口參數(shù)進(jìn)行分類分組，然后對參數(shù)類型進(jìn)行匹配，在類型匹配滿足匹配度要求的情況下，對類組內(nèi)的參數(shù)名稱和值(值域)進(jìn)行匹配。根據(jù)匹配時參數(shù)間的語義及邏輯關(guān)系，定義了4種匹配度并給出了判據(jù)。方法中參加匹配度增強(qiáng)了方法的適應(yīng)性與靈活性，為用戶提供了較大的選擇空間。 3.提出了一個基于定向泛洪算法的Web效勞組合方法。方法利用傳

48、統(tǒng)泛洪算法在消息傳遞和資源查找時所具有的便捷、快速特點(diǎn)進(jìn)行Web效勞的搜索和組合，同時又利用同一路徑是否有重復(fù)節(jié)點(diǎn)、P/E(Precondition/Effect)是否相容作為約束，對組合路徑進(jìn)行定向，消除了組合過程中可能出現(xiàn)的“內(nèi)爆和“重疊，防止了組合陷入死循環(huán)。方法還借鑒了深度優(yōu)先搜索思想，迭代查找組合樹中狀態(tài)為UNKNOWN的首葉子節(jié)點(diǎn)，確保了組合路徑的全覆蓋。最終，方法將形成一棵以O(shè)R作為后續(xù)效勞選擇的輸入。 4.針對Web效勞的動態(tài)性與領(lǐng)域性，在不失一般性的前提下，從宏觀角度給出了選取與制定Web效勞非功能性條件的原那么，用于指導(dǎo)Web效勞非功能性條件的選取與制定。作為非功能性條件之

49、一的效勞質(zhì)量對效勞選擇至關(guān)重要，為發(fā)揮效勞質(zhì)量在效勞選擇中的作用并使其具有可操作性，對Web效勞質(zhì)量的量化進(jìn)行了專門探討和研究，提出了一個能表達(dá)效勞質(zhì)量走勢、評價力求客觀的效勞質(zhì)量評價體系，然后在加權(quán)平均法與三點(diǎn)法等統(tǒng)計學(xué)相關(guān)理論支持下給出了一個實(shí)用、高效卻又易于實(shí)現(xiàn)的Web效勞質(zhì)量評價機(jī)制與方法，從而使效勞質(zhì)量的評價有了相對科學(xué)而又具體的標(biāo)準(zhǔn)和標(biāo)準(zhǔn)，使其不再僅僅只是一個抽象空洞的概念。 在理清和分析了影響選擇的非功能性條件之后，根據(jù)Web效勞選擇具有非功能性條件期望值確定、指標(biāo)因素分層少的特點(diǎn)，在擴(kuò)展和補(bǔ)充模糊層次分析法的根底上，提出了一個適合Web效勞自動組合的基于非功能性條件約束的效勞選

50、擇方法。該方法在采用模糊層次分析法確定條件指標(biāo)權(quán)重的同時，提出基于供求雙方對非功能性條件的期望值距離確定權(quán)數(shù)，并且據(jù)此建立了目標(biāo)函數(shù)，最后通過求解該函數(shù)便可從滿足用戶功能需求的效勞中選取最正確效勞。方法消除了條件量綱不同帶來的影響并統(tǒng)一了期望值距離刻度，使不同意義的條件指標(biāo)具有了可比性。 5.基于上述關(guān)鍵技術(shù)的探索，設(shè)計和實(shí)現(xiàn)了一個Web效勞組合原型系統(tǒng)ComWS-DEB(CompositionWebService-DynamicElectronicBusiness)，該系統(tǒng)面向網(wǎng)絡(luò)化制造中的Web效勞自動組合。系統(tǒng)從結(jié)構(gòu)上劃分為4層，從上到下依次為：GalleryLayer、Resource

51、GateLayer、PortalLayer和CompositionLayer。這樣的設(shè)計與安排既與本文的研究內(nèi)容相吻合，同時也與目前較為流行的模塊化設(shè)計理念相一致，從而使得系統(tǒng)在保持結(jié)構(gòu)清晰、易于擴(kuò)展的同時便于開發(fā)實(shí)現(xiàn)。從功能上看，該系統(tǒng)包括兩大子系統(tǒng)：效勞注冊與描述以及效勞組合與選擇，這兩大子系統(tǒng)包括兩大子系統(tǒng)：效勞注冊與描述以及效勞組合與選擇，這兩大子系統(tǒng)運(yùn)用了前述幾章的研究成果。 論文實(shí)驗(yàn)案例的運(yùn)行驗(yàn)證了本文研究內(nèi)容的有效性和正確性。 本文針對網(wǎng)絡(luò)化制造中實(shí)現(xiàn)Web效勞自動組合所需要解決的幾個關(guān)鍵技術(shù)問題展開了探索與研究，提出了初步的解決方案，對推動Web效勞自動組合這一問題域的解決具有

52、一定的理論價值和實(shí)用價值。為挖掘并提升網(wǎng)絡(luò)化制造的內(nèi)涵和優(yōu)勢，發(fā)揮其商業(yè)價值，本文突破傳統(tǒng)網(wǎng)絡(luò)化制造在已結(jié)盟企業(yè)間進(jìn)行數(shù)據(jù)共享與傳遞的實(shí)質(zhì)，致力于通過計算機(jī)系統(tǒng)、商務(wù)應(yīng)用和軟件組件之間的交互，自動地實(shí)現(xiàn)商務(wù)實(shí)體間的無縫、動態(tài)集成。Web效勞是網(wǎng)絡(luò)化制造的軟件資源構(gòu)件，網(wǎng)絡(luò)化制造中應(yīng)用的組合即為Web效勞的組合。然而，隨著Web效勞數(shù)目的增多，人工查找和組合Web效勞將變得越來越困難和不現(xiàn)實(shí)，同時，網(wǎng)絡(luò)化制造的網(wǎng)絡(luò)化協(xié)作與敏捷特性使其有別于其它傳統(tǒng)制造模式，它更加強(qiáng)調(diào)軟件與軟件之間的交互，要求協(xié)作中盡可能減少人為干預(yù)，最大程度實(shí)現(xiàn)Web效勞組合的自動化。因此，實(shí)現(xiàn)Web效勞自動組合是構(gòu)建和運(yùn)行網(wǎng)

53、絡(luò)化制造的必然要求和重要內(nèi)容。 本文基于網(wǎng)絡(luò)化制造中Web效勞自動組合這一背景，就實(shí)現(xiàn)效勞自動組合中的效勞描述、效勞功能匹配、效勞組合方法、效勞(組合)選擇以及效勞組合平臺等問題進(jìn)行了較為深入的討論和研究，論文工作主要包括： 1.提出了一個基于本體的Web效勞描述元模型M4WEB(Metal-modelforWebservice)。該模型以語義本體為依托，在Web效勞的WSDL(WebServicesDescriptionLanguage)描述根底上，增加了效勞根本信息、性能信息和功能信息，答復(fù)了“效勞做什么？、“效勞如何做？、“如何獲取效勞？、“使用效勞需要哪些支撐？等Web效勞描述必須答復(fù)

54、的問題。模型在結(jié)構(gòu)上分為5個局部，這5個局部在本體映射下一起構(gòu)成了一個基于語義本體的完整的Web效勞描述元模型。模型與WSDL保持一致，可以利用其成熟技術(shù)并使用業(yè)已存在的WSDL描述的Web保持一致，可以利用其成熟技術(shù)并使用業(yè)已存在的WSDL描述的Web效勞；基于本體為模型增加了語義信息，使其具有了良好的辨識度；模型可以表示效勞提供者提供的效勞，也可以描述效勞請求者所需的效勞，而且描述的繁簡還可根據(jù)實(shí)際情況進(jìn)行適當(dāng)取舍。 為使計算機(jī)能夠處理該模型，研究了模型的形式化問題。提出了對模型形式化語言的要求，在分析和綜合比擬了相關(guān)形式化語言后，給出了利用OWLDL(WebOntologyLanguag

55、eDescriptionLogic)語言形式化描述模型的詳細(xì)方法與過程。該方法為了應(yīng)對Web效勞的差異性以及效勞描述繁簡、側(cè)重不同等實(shí)際問題，區(qū)分了通用定義和參考定義，使得模型形式化在保持程式化的同時具有較大程度的靈活性。 2.根據(jù)效勞組合形成過程，區(qū)分和定義了效勞過程中的兩類功能匹配：效勞與效勞間的功能匹配以及需求與效勞間的功能匹配，并根據(jù)Web效勞描述特點(diǎn)，分別為這兩類匹配設(shè)計了基于接口的功能匹配方法。方法根據(jù)接口參數(shù)三元組的描述形式<類型，名稱，值(值域)>，采用縱向分解、橫向分組的方式，先對匹配雙方的接口參數(shù)進(jìn)行分類分組，然后對參數(shù)類型進(jìn)行匹

56、配，在類型匹配滿足匹配度要求的情況下，對類組內(nèi)的參數(shù)名稱和值(值域)進(jìn)行匹配。根據(jù)匹配時參數(shù)間的語義及邏輯關(guān)系，定義了4種匹配度并給出了判據(jù)。方法中參加匹配度增強(qiáng)了方法的適應(yīng)性與靈活性，為用戶提供了較大的選擇空間。 3.提出了一個基于定向泛洪算法的Web效勞組合方法。方法利用傳統(tǒng)泛洪算法在消息傳遞和資源查找時所具有的便捷、快速特點(diǎn)進(jìn)行Web效勞的搜索和組合，同時又利用同一路徑是否有重復(fù)節(jié)點(diǎn)、P/E(Precondition/Effect)是否相容作為約束，對組合路徑進(jìn)行定向，消除了組合過程中可能出現(xiàn)的“內(nèi)爆和“重疊，防止了組合陷入死循環(huán)。方法還借鑒了深度優(yōu)先搜索思想，迭代查找組合樹中狀態(tài)為UN

57、KNOWN的首葉子節(jié)點(diǎn)，確保了組合路徑的全覆蓋。最終，方法將形成一棵以O(shè)R作為后續(xù)效勞選擇的輸入。 4.針對Web效勞的動態(tài)性與領(lǐng)域性，在不失一般性的前提下，從宏觀角度給出了選取與制定Web效勞非功能性條件的原那么，用于指導(dǎo)Web效勞非功能性條件的選取與制定。作為非功能性條件之一的效勞質(zhì)量對效勞選擇至關(guān)重要，為發(fā)揮效勞質(zhì)量在效勞選擇中的作用并使其具有可操作性，對Web效勞質(zhì)量的量化進(jìn)行了專門探討和研究，提出了一個能表達(dá)效勞質(zhì)量走勢、評價力求客觀的效勞質(zhì)量評價體系，然后在加權(quán)平均法與三點(diǎn)法等統(tǒng)計學(xué)相關(guān)理論支持下給出了一個實(shí)用、高效卻又易于實(shí)現(xiàn)的Web效勞質(zhì)量評價機(jī)制與方法，從而使效勞質(zhì)量的評價有

58、了相對科學(xué)而又具體的標(biāo)準(zhǔn)和標(biāo)準(zhǔn)，使其不再僅僅只是一個抽象空洞的概念。 在理清和分析了影響選擇的非功能性條件之后，根據(jù)Web效勞選擇具有非功能性條件期望值確定、指標(biāo)因素分層少的特點(diǎn)，在擴(kuò)展和補(bǔ)充模糊層次分析法的根底上，提出了一個適合Web效勞自動組合的基于非功能性條件約束的效勞選擇方法。該方法在采用模糊層次分析法確定條件指標(biāo)權(quán)重的同時，提出基于供求雙方對非功能性條件的期望值距離確定權(quán)數(shù)，并且據(jù)此建立了目標(biāo)函數(shù)，最后通過求解該函數(shù)便可從滿足用戶功能需求的效勞中選取最正確效勞。方法消除了條件量綱不同帶來的影響并統(tǒng)一了期望值距離刻度，使不同意義的條件指標(biāo)具有了可比性。 5.基于上述關(guān)鍵技術(shù)的探索，設(shè)計

59、和實(shí)現(xiàn)了一個Web效勞組合原型系統(tǒng)ComWS-DEB(CompositionWebService-DynamicElectronicBusiness)，該系統(tǒng)面向網(wǎng)絡(luò)化制造中的Web效勞自動組合。系統(tǒng)從結(jié)構(gòu)上劃分為4層，從上到下依次為：GalleryLayer、ResourceGateLayer、PortalLayer和CompositionLayer。這樣的設(shè)計與安排既與本文的研究內(nèi)容相吻合，同時也與目前較為流行的模塊化設(shè)計理念相一致，從而使得系統(tǒng)在保持結(jié)構(gòu)清晰、易于擴(kuò)展的同時便于開發(fā)實(shí)現(xiàn)。從功能上看，該系統(tǒng)包括兩大子系統(tǒng)：效勞注冊與描述以及效勞組合與選擇，這兩大子系統(tǒng)包括兩大子系統(tǒng)：效勞注冊與描述以及效勞組合與選擇，這兩大子系統(tǒng)運(yùn)用了前述幾章的研究成果。 論文實(shí)驗(yàn)案例的運(yùn)行驗(yàn)證了本文研究內(nèi)容的有效性和正確性。 本文針對網(wǎng)絡(luò)化制造中實(shí)現(xiàn)Web效勞自動組合所需要解決的幾個關(guān)鍵技術(shù)問題展開了探索與研究，提出了初步的解決方案，對推動Web效勞自動組合這一問題域的解決具有一定的理論價值和實(shí)用價