楊 男 李東波 童一飛

南京理工大學(xué)，南京，210094

0 引言

云制造是一種利用網(wǎng)絡(luò)和云制造服務(wù)平臺(tái)，按用戶需求組織網(wǎng)上制造資源（制造云），為用戶提供各類按需制造服務(wù)的一種網(wǎng)絡(luò)化制造新模式［1］。作為一種基于海量網(wǎng)絡(luò)服務(wù)的制造新模式，如何在眾多發(fā)布的制造服務(wù)中選取滿足用戶需要的服務(wù)，實(shí)現(xiàn)主動(dòng)匹配成為影響云制造成敗的關(guān)鍵因素之一，同時(shí)也是建立云制造服務(wù)平臺(tái)的關(guān)鍵技術(shù)之一［2］。文獻(xiàn)［3］提出了支持Cache庫(kù)的語(yǔ)義Web服務(wù)匹配算法，該方法將匹配成功的服務(wù)放入專門的Cache庫(kù)中，按照分階匹配的策略對(duì)服務(wù)進(jìn)行匹配。文獻(xiàn)［4］提出了一種基于語(yǔ)義與QoS相結(jié)合的全局語(yǔ)義匹配機(jī)制，并在該機(jī)制指導(dǎo)下搭建了全局匹配的QoS模型，設(shè)計(jì)了語(yǔ)義匹配算法。文獻(xiàn)［5］提出了一種基于規(guī)則與相似度的語(yǔ)義Web服務(wù)兩階段匹配方案，在相似度匹配的基礎(chǔ)上利用規(guī)則推理的方法進(jìn)行二次匹配并對(duì)結(jié)果進(jìn)行精化，從而達(dá)到匹配效率和精度的平衡。以上文獻(xiàn)針對(duì)Web服務(wù)匹配提出了可行的方案，但是大多針對(duì)的是傳統(tǒng)網(wǎng)絡(luò)化制造下服務(wù)的匹配研究，缺少針對(duì)云制造條件下云服務(wù)特殊性的研究。文獻(xiàn)［6］提出了一種面向項(xiàng)目制造的復(fù)雜裝配過(guò)程資源匹配方法，雖然該方法針對(duì)的是匹配資源，但其面向項(xiàng)目制造的特點(diǎn)為云服務(wù)的匹配提供了參考。文獻(xiàn)［7］采用語(yǔ)義方法對(duì)云服務(wù)進(jìn)行了描述并實(shí)現(xiàn)了供需雙方的主動(dòng)匹配，但是其重點(diǎn)在服務(wù)組合，在如何實(shí)現(xiàn)服務(wù)匹配上未作詳細(xì)描述。

動(dòng)態(tài)描述邏輯［8］（dynamic description logic，DDL）作為描述邏輯（description logic，DL）的動(dòng)態(tài)擴(kuò)展，將描述邏輯靜態(tài)領(lǐng)域的知識(shí)和動(dòng)態(tài)領(lǐng)域內(nèi)給予動(dòng)作的知識(shí)有機(jī)地結(jié)合起來(lái)，克服了描述邏輯基于一階謂語(yǔ)動(dòng)詞的不可判定性，為網(wǎng)絡(luò)服務(wù)的匹配提供了有效的解決方案。文獻(xiàn)［9］提出了基于動(dòng)態(tài)描述邏輯的語(yǔ)義Web匹配方法，該方法在動(dòng)態(tài)描述邏輯支持下對(duì)Web服務(wù)進(jìn)行表述并完成匹配過(guò)程。文獻(xiàn)［10］提出了一種利用描述邏輯的語(yǔ)義Web服務(wù)前提／效果匹配方式，提高了服務(wù)匹配的查全率和查準(zhǔn)率。以上方法為云制造環(huán)境下的云制造服務(wù)匹配提供了有益的參考。

本文在對(duì)云制造環(huán)境下云服務(wù)特殊性分析的基礎(chǔ)上，建立一種基于動(dòng)態(tài)描述邏輯的動(dòng)作描述方法，給出了復(fù)雜動(dòng)作在描述和拆解、組合過(guò)程中需要遵循的原則。在此基礎(chǔ)上提出了“五層三階段”的云服務(wù)匹配策略，并對(duì)其中的基于動(dòng)態(tài)描述邏輯的云制造服務(wù)建模與語(yǔ)義表達(dá)技術(shù)、匹配規(guī)則和算法建立等關(guān)鍵技術(shù)進(jìn)行研究。

1 云制造環(huán)境下云制造服務(wù)匹配新特點(diǎn)

云制造作為一種網(wǎng)絡(luò)化制造的新模式，在完成制造服務(wù)匹配過(guò)程中具有以下新特點(diǎn)：

（1）云制造的核心為向用戶提供制造服務(wù)。制造服務(wù)包括設(shè)計(jì)、試驗(yàn)、仿真、加工、維護(hù)、管理等多方面的內(nèi)容。相較于傳統(tǒng)的網(wǎng)絡(luò)化資源匹配，云制造服務(wù)的匹配包含的資源廣度有所增加，既包含通過(guò)網(wǎng)絡(luò)可以使用和管理的“軟資源”，也包含通過(guò)云制造虛擬化技術(shù)接入網(wǎng)絡(luò)的“硬資源”。

（2）云制造服務(wù)是指參與制造過(guò)程全生命周期的所有資源，包括硬件設(shè)備、制造軟件和其他的相關(guān)制造知識(shí)等。云制造所涉及的制造服務(wù)的多樣性使得云制造服務(wù)匹配必須集成多層次的匹配精度，從而保證匹配結(jié)果的準(zhǔn)確性。

（3）云制造服務(wù)的使用相較于以往的網(wǎng)絡(luò)化制造模式有了較為顯著的變化。第三方專業(yè)管理的引入和完善的交易體制也對(duì)云制造資源匹配提出了新的要求。

由于云制造服務(wù)具有以上特點(diǎn)，在實(shí)現(xiàn)云制造資源匹配的過(guò)程中，需要解決如下關(guān)鍵問(wèn)題：

（1）合理的匹配方案制定。針對(duì)云制造服務(wù)匹配涉及的制造資源的多樣性，需要建立一種能夠完整表達(dá)服務(wù)匹配過(guò)程的描述方式。本文將服務(wù)匹配視為一個(gè)復(fù)雜動(dòng)作，將匹配過(guò)程分解為組成該復(fù)雜動(dòng)作的原子動(dòng)作，通過(guò)動(dòng)態(tài)描述邏輯對(duì)動(dòng)作進(jìn)行描述和邏輯推理以實(shí)現(xiàn)匹配過(guò)程。該方法可以作為解決匹配問(wèn)題的通用方法。

（2）多層次匹配精度的集成。為加強(qiáng)匹配結(jié)果的準(zhǔn)確性，需要集成多層次的匹配精度。通過(guò)對(duì)云制造服務(wù)的DDL建模完成對(duì)制造類型、制造能力、交貨期、制造特點(diǎn)的描述，并通過(guò)動(dòng)態(tài)描述邏輯推理機(jī)完成4個(gè)層次的匹配過(guò)程。

（3）匹配控制因子的引入。由于云制造的多用戶、動(dòng)態(tài)性、可交易性等顯著特點(diǎn)，本文在制造服務(wù)匹配的過(guò)程中引入匹配控制因子，即時(shí)間T（time）、價(jià)格C（cost）來(lái)保證匹配結(jié)果的可行性。

2 基于動(dòng)態(tài)描述邏輯的動(dòng)作理論

動(dòng)態(tài)描述邏輯克服了DL只能處理靜態(tài)領(lǐng)域知識(shí)的限制，可以對(duì)語(yǔ)義Web中的服務(wù)動(dòng)作進(jìn)行描述并加以推理。DDL提供了豐富的動(dòng)作描述方式，并且DDL關(guān)于動(dòng)作的推理可以歸結(jié)為對(duì)公式可滿足性的判定，算法相對(duì)簡(jiǎn)單易操作。

2.1 動(dòng)態(tài)描述邏輯的語(yǔ)法定義

定義1 DDL系統(tǒng)。在邏輯描述中引入動(dòng)態(tài)邏輯和動(dòng)作理論的具有二維特征的系統(tǒng)稱之為動(dòng)態(tài)描述邏輯系統(tǒng)［8］，形式化表示為DDL（X）。其中，X代表不同描述能力的描述邏輯。

定義2 原子動(dòng)作。DDL中定義形如α（v1，v2，…，vn）＝（P，E）的二元組表示原子動(dòng)作。其中P描述原子動(dòng)作α執(zhí)行的前提條件，E描述原子動(dòng)作α執(zhí)行后的效果。任意復(fù)雜動(dòng)作都可以通過(guò)原子動(dòng)作的構(gòu)造進(jìn)行表示。

定義3 構(gòu)造算子。將原子動(dòng)作通過(guò)系列變換動(dòng)作構(gòu)成復(fù)雜動(dòng)作的轉(zhuǎn)換方式稱為構(gòu)造算子。構(gòu)造算子分為以下三類［8］：① 概念構(gòu)造算子有｛｝（枚 舉）、?（否 定）、П（邏 輯 交 集）、?（存在）、?（值限定）、≡ （恒等）；② 公式構(gòu)造算子有?（否定）、∨ （公式析值）、＝（相等）、〈〉（存在性斷言）；③ 動(dòng)作構(gòu)造算子有 ∪ （選擇）、；（順序）、＊（迭代）、？（測(cè)試）。

定義4 構(gòu)造函數(shù)。描述邏輯中的構(gòu)造函數(shù)及其語(yǔ)法、語(yǔ)義總結(jié)如表1所示［11］。

表1 DL中的構(gòu)造函數(shù)及其語(yǔ)法語(yǔ)義

2.2 基于動(dòng)態(tài)描述邏輯的復(fù)雜動(dòng)作描述方法

在云制造環(huán)境下，云服務(wù)可以定義為由海量的語(yǔ)義Web服務(wù)組成的集合，其中，服務(wù)的匹配過(guò)程可以視為一系列原子動(dòng)作組成的復(fù)雜動(dòng)作，因此本文建立了基于動(dòng)態(tài)描述邏輯的復(fù)雜動(dòng)作描述方法。

定義5 定義形如A（v1，v2，…，vn）＝（P（α1，α2，…，αn），E（α1，α2，…，αn））表 示 復(fù) 雜動(dòng)作。 其中，A（v1，v2，…，vn）為動(dòng)作名稱；α為原子動(dòng)作，（α1，α2，…，αn）為原子動(dòng)作序列；P（α1，α2，…，αn）為原子動(dòng)作序列的前提集，E（α1，α2，…，αn）為原子動(dòng)作序列的結(jié)果集。

在復(fù)雜動(dòng)作描述中，原子動(dòng)作的定義及序列組合至關(guān)重要。通常，復(fù)雜動(dòng)作可以通過(guò)對(duì)原子動(dòng)作序列的控制和組織而得，手段包括順序、選擇和循環(huán)。

在原子動(dòng)作組合過(guò)程中，需要遵循以下原則：

公理1 定義A、B為動(dòng)作，則A∪B、A；B、A＊也為動(dòng)作。

在此公理下，我們可以得到如下推論。

推論1 定義Γ＝A∪B，若Γ＝A∪B＝A，則EΓ∩EA＝EA，EΓ∪EB＝EB，即動(dòng)作A的結(jié)果集必須滿足動(dòng)作Γ的結(jié)果集，而動(dòng)作B的結(jié)果集則部分滿足或者不滿足動(dòng)作Γ的結(jié)果集。

推論2 動(dòng)作順序關(guān)系中，若B為A的后續(xù)動(dòng)作，則EA∩PB＝PB，即動(dòng)作A的結(jié)果集必須滿足動(dòng)作B的前提集；反之亦然。

推論3 定義Θ＝Α＊，則EΘ∩PA＝EΘ，當(dāng)EΘ∩PA＝PA時(shí)，循環(huán)結(jié)束。

同理，以上原則也適用于復(fù)雜動(dòng)作拆解?；谠浦圃飙h(huán)境下制造服務(wù)的復(fù)雜性，云服務(wù)匹配過(guò)程將以原子動(dòng)作為單位進(jìn)行拆解。在此過(guò)程中，需要考慮拆解動(dòng)作的合理性、可描述性和承接性。據(jù)此，本文制定了云制造環(huán)境下的云服務(wù)匹配策略。

3 基于動(dòng)態(tài)描述邏輯的云服務(wù)匹配策略

3.1 基于DDL的云服務(wù)匹配策略

云制造環(huán)境下，云服務(wù)的匹配過(guò)程可以看成是一系列可以描述的動(dòng)作組合。結(jié)合云服務(wù)的特點(diǎn)和DDL動(dòng)作理論，本文提出“五層三階段”的云制造服務(wù)匹配策略。

云制造服務(wù)特點(diǎn)使匹配過(guò)程分為圖1所示5個(gè)層次，每個(gè)層次對(duì)應(yīng)匹配過(guò)程中的分解動(dòng)作之一。針對(duì)這些分解動(dòng)作進(jìn)行DDL建模形成制造服務(wù)的DDL模型庫(kù)。基于云制造的三層基礎(chǔ)架構(gòu)，在云制造環(huán)境下制造服務(wù)的DDL模型庫(kù)由兩部分構(gòu)成：用戶需求DDL模型庫(kù)和云服務(wù)中心制造服務(wù)目錄的DDL模型庫(kù)。匹配工作亦是在這兩種模型庫(kù)的基礎(chǔ)上進(jìn)行的?；贒DL的云服務(wù)匹配階段如圖2所示。

圖2 基于DDL的云服務(wù)匹配階段圖

在DDL語(yǔ)義支持下，海量云服務(wù)將以DDL描述的形式形成服務(wù)目錄儲(chǔ)存在云服務(wù)中心。云端用戶提出服務(wù)需求時(shí)，匹配動(dòng)作開(kāi)始。云服務(wù)的匹配動(dòng)作可以分為3個(gè)階段：云服務(wù)匹配準(zhǔn)備階段、云服務(wù)匹配執(zhí)行階段以及云服務(wù)匹配結(jié)果輸出階段。匹配過(guò)程將針對(duì)用戶的服務(wù)需求進(jìn)行基于DDL的建模，通過(guò)DDL推理機(jī)將需求動(dòng)作與云服務(wù)中心的服務(wù)目錄進(jìn)行推理判定匹配，最終輸出符合需求的動(dòng)作組合反饋給云端用戶。在整個(gè)匹配過(guò)程中，針對(duì)云服務(wù)的DDL建模為關(guān)鍵步驟之一。

3.2 基于DDL的云服務(wù)建模及判定規(guī)則

為準(zhǔn)確描述云服務(wù)，需要從云服務(wù)的輸入、輸出、前提集、結(jié)果集4個(gè)方面進(jìn)行描述。同時(shí)，基于云制造即時(shí)服務(wù)和面向多用戶的特點(diǎn)，引入時(shí)間變量通過(guò)擬合交貨期全程控制云服務(wù)匹配的實(shí)現(xiàn)；基于云制造可交易性的特點(diǎn)，引入價(jià)格變量作為匹配控制因子之一。因此，本文將云服務(wù)定義為一個(gè)由輸入（input）、輸出（output）、前提集（precondition）、結(jié)果集（effect）、時(shí)間（time）、價(jià)格（cost）組成的六元組，記為S＝｛I，O，P，E，T，C｝。

在此定義基礎(chǔ)上，對(duì)于一個(gè)云服務(wù)匹配過(guò)程，定義原子服務(wù)需求為Sr＝ ｛Ir，Or，Pr，Er，Tr，Cr｝，匹配目標(biāo)原子服務(wù)為Sd＝｛Id，Od，Pd，Ed，Td，Cd｝。根據(jù)前文所述，α（v1，v2，…，vn）＝（P，E）為一個(gè)DDL原子動(dòng)作，將兩者結(jié)合可以得到云服務(wù)的DDL描述如下：Sr＝α，Sd＝β，原子動(dòng)作為服務(wù)名稱；Pα＝Ir∪Pr，Pβ＝Id∪Pd，服務(wù)的輸入與前提集的并集為原子動(dòng)作的前提集；Eα＝Or∪Er，Eβ＝Od∪Ed，服務(wù)的輸出與結(jié)果集的并集為原子動(dòng)作的結(jié)果集；Tr、Td為原子動(dòng)作α、β的時(shí)間參數(shù)；Cr、Cd為原子動(dòng)作α、β的價(jià)格參數(shù)。

因此，用動(dòng)態(tài)描述邏輯對(duì)云服務(wù)需求服務(wù)和目標(biāo)服務(wù)的描述可以形式化地表示為：Sr（Tr，Cr）＝（Ir∪Pr，Or∪Er），Sd（Td，Cd）＝（Id∪Pd，Od∪Ed）。

在將云服務(wù)轉(zhuǎn)化為用DDL表示的原子動(dòng)作之后，云服務(wù)的匹配過(guò)程即可轉(zhuǎn)化成為DDL的可判定性問(wèn)題。

判斷Sr與Sd是否匹配有如下基本判定規(guī)則［10］：①目標(biāo)服務(wù)的實(shí)現(xiàn)前提比需求服務(wù)的實(shí)現(xiàn)前提更容易滿足，即Pr∣＝Pd；②需求服務(wù)的實(shí)現(xiàn)效果比目標(biāo)服務(wù)的實(shí)現(xiàn)效果更容易滿足，即Ed∣＝Er。

以上兩條判定規(guī)則為動(dòng)作匹配基本原則，可以保證匹配實(shí)現(xiàn)。但是由于它們約束條件較為松散，因此僅基于基本規(guī)則的匹配結(jié)果范圍也相對(duì)較大。根據(jù)本文建立的服務(wù)DDL模型，將匹配規(guī)則規(guī)定如下：①在服務(wù)的輸入滿足前提集的條件下，服務(wù)DDL模型有效；②在服務(wù)的輸出滿足結(jié)果集的條件下，服務(wù)DDL模型有效；③目標(biāo)服務(wù)的時(shí)間參數(shù)可控范圍比需求服務(wù)的時(shí)間參數(shù)可控范圍更容易滿足，即Td∣＝Tr；④目標(biāo)服務(wù)的價(jià)格參數(shù)比需求服務(wù)的價(jià)格參數(shù)更容易滿足，即Cd∣＝Cr；⑤目標(biāo)服務(wù)的前提集比需求服務(wù)的前提集更容易滿足，即Ir∪Pr∣＝Id∪Pd；⑥需求服務(wù)的結(jié)果集比目標(biāo)服務(wù)的結(jié)果集更容易滿足，即Od∪Ed∣＝Or∪Er。

規(guī)則①、②是匹配執(zhí)行的前提規(guī)則，若無(wú)法滿足規(guī)則①、②，將判定該服務(wù)無(wú)法成立，匹配將自動(dòng)跳出；規(guī)則③為時(shí)間控制規(guī)則，若無(wú)法滿足該規(guī)則，匹配過(guò)程終止；規(guī)則④為價(jià)格控制規(guī)則，若無(wú)法滿足該規(guī)則，匹配過(guò)程終止；規(guī)則⑤、⑥是匹配過(guò)程中關(guān)鍵判定規(guī)則，根據(jù)規(guī)則 ⑤、⑥ 的不同判定結(jié)果可以控制匹配過(guò)程的輸出結(jié)果。

3.3 基于DDL的云服務(wù)匹配算法

根據(jù)3.2節(jié)關(guān)于匹配的判定規(guī)則，可以看出規(guī)則的可滿足性是判斷匹配的重要規(guī)則。因此，在云服務(wù)匹配算法中，針對(duì)可滿足性給出定義如下：

定義6 可滿足性。設(shè)在約束條件TB下，當(dāng)且僅當(dāng)存在TB的某個(gè)模型M使規(guī)則R可滿足，記為R（M）＞0。

由此，本文給出基于DDL的服務(wù)匹配算法，該算法實(shí)現(xiàn)過(guò)程分為三步：

（1）確定制造服務(wù)目標(biāo)，給出匹配過(guò)程的約束集合CP，確定制造服務(wù)輸入?yún)?shù)集合CI，建立目標(biāo)制造服務(wù)模型DDL（Sr）。根據(jù)服務(wù)匹配策略，將CP、CI和DDL（Sr）進(jìn)行分解形成相應(yīng)的序列集合。

（2）控制規(guī)則匹配。根據(jù)3.2節(jié)規(guī)則 ③、④完成控制規(guī)則匹配過(guò)程。

（3）將Sr分層與云服務(wù)中心中服務(wù)DDL庫(kù)相匹配。初始化CP、CI完成參數(shù)設(shè)定，根據(jù)定義6進(jìn)行分層匹配可滿足性判定。若判定成功，則匹配循環(huán)繼續(xù)，上層的匹配結(jié)束后將輸出符合目標(biāo)制造服務(wù)要求的云服務(wù)列表Servicelist并作為下層匹配的輸入?yún)?shù)進(jìn)入匹配判定循環(huán)；否則，跳出循環(huán)。

基于DDL的云制造服務(wù)匹配算法流程如圖3所示。

圖3 基于DDL的云制造服務(wù)匹配算法流程

4 實(shí)例驗(yàn)證

為驗(yàn)證以上針對(duì)云服務(wù)的DDL建模及匹配算法的可行性和實(shí)效性，筆者在課題組前期開(kāi)發(fā)的某鍛造企業(yè)的鍛造加工管理系統(tǒng)的基礎(chǔ)上，針對(duì)該企業(yè)的鍛件協(xié)同加工流程進(jìn)行了云改造，并進(jìn)行了實(shí)例驗(yàn)證。

鍛造任務(wù)要求如下。用戶所在地：新加坡。任務(wù)目標(biāo)：鍛件（70－B21509－117A）2件，單件質(zhì)量130kg，規(guī)格為11.30″OD×8.0″LG，材質(zhì)4130，按照企業(yè)鍛造標(biāo)準(zhǔn) M21509REV.M；鍛件需經(jīng)過(guò)鍛造、機(jī)加工、熱處理和超探處理。交貨期要求：任務(wù)下達(dá)后30天內(nèi)。價(jià)格要求：每千克單價(jià)13元以內(nèi)。

匹配過(guò)程如下。

（1）任務(wù)分解。將服務(wù)分解為4個(gè)子任務(wù)：鍛造子任務(wù)、機(jī)加工子任務(wù)、熱處理子任務(wù)和超探子任務(wù)。

（2）服務(wù)分解。以鍛造子任務(wù)為例進(jìn)行詳細(xì)描述。用戶通過(guò)云制造平臺(tái)發(fā)出服務(wù)請(qǐng)求。針對(duì)服務(wù)請(qǐng)求對(duì)服務(wù)進(jìn)行動(dòng)作分解。根據(jù)圖1將服務(wù)分解為制造交貨期匹配動(dòng)作、價(jià)格匹配動(dòng)作、制造類型匹配動(dòng)作、制造能力匹配動(dòng)作和制造特點(diǎn)匹配動(dòng)作。

（3）服務(wù)動(dòng)作DDL建模。制造交貨期匹配模型：Deliverycheck（T（30），C（13））＝ （｛taskdate（2012－2－28），deliverydays（30），taskarea（Singapore），deliveryway（seatransport），deliveryterm（FOB）｝，｛aimfoctory （factorylist）｝）。價(jià)格 匹 配 模 型：Pricecheck（T（30），C（13））＝（｛aimfactory（factorylist），unitpricemax（13）｝，｛aimfactory（factorylist）｝）。制造類型匹配模型：Typecheck（T（30），C（13））＝ （｛firstlevelfield（Mechanical Enginerring），subfield（stamping），thirdlevelfield（free forging）｝，｛servicetype（free forging）｝）。制造能力匹配模型：Charactercheck（T（30），C（13））＝ （｛servicetype （free forging），servicerange（machining），servicerange（heat），servicerange（ultrasonic）｝，｛aimfactory（factorylist）｝）。制造特點(diǎn)匹配模型：Featurecheck（T（30），C（13））＝（｛aimfactory（factorylist），standard（M21509REV.M），forgingnum（2），specification（11.30″OD×8.0″LG），material（4130），weight（130kg）｝，｛aimfactory（aimfactory）｝）。

（4）匹配計(jì)算。根據(jù)3.3節(jié)算法得到匹配結(jié)果為選擇加工企業(yè)DVR。整個(gè)過(guò)程如圖4所示。

圖4 云服務(wù)匹配全程圖解

5 結(jié)束語(yǔ)

云制造環(huán)境下制造服務(wù)的多元化和顯著的異構(gòu)性、動(dòng)態(tài)性給云制造服務(wù)的表達(dá)和匹配帶來(lái)了一系列的挑戰(zhàn)。本文提出基于動(dòng)態(tài)描述邏輯的六元組對(duì)云制造服務(wù)進(jìn)行建模，該方法能夠有效地描述云制造服務(wù)的輸入、控制和輸出，從而滿足云制造服務(wù)的語(yǔ)義表達(dá)需求。在此基礎(chǔ)上提出“五層三階段”的云制造匹配策略，給出該策略下的制造服務(wù)匹配規(guī)則及初步算法實(shí)現(xiàn)。通過(guò)對(duì)已有系統(tǒng)的云化改造，證明了以上理論的可行性。接下來(lái)的工作將著重針對(duì)動(dòng)態(tài)描述邏輯的可推理性對(duì)服務(wù)匹配算法做進(jìn)一步的優(yōu)化，實(shí)現(xiàn)制造服務(wù)的智能化匹配及優(yōu)選。

［1］李伯虎，張霖，王時(shí)龍，等.云制造—面向服務(wù)的網(wǎng)絡(luò)化制造新模式［J］.計(jì)算機(jī)集成制造系統(tǒng)，2010，16（1）：1－7，16.Li Bohu，Zhang Lin，Wang Shilong，et al.Cloud Manufacturing：A New Service－oriented Manufacturing Model［J］.Computer Integrated Manufacturing Systems，2010，16（1）：1－7，16.

［2］尹超，黃必清，劉飛，等.中小企業(yè)制造云服務(wù)平臺(tái)共性關(guān)鍵技術(shù)體系［J］.計(jì)算機(jī)集成制造系統(tǒng)，2011，17（3）：495－503.Yin Chao，Huang Biqing，Liu Fei，et al.Common Key Technology System of Cloud Manufacturing Service Platform for Small and Medium Enterprises［J］.Computer Integrated Manufacturing Systems，2011，17（3）：495－503.

［3］趙強(qiáng)，夏陽(yáng)，束長(zhǎng)軍，等.支持Cache庫(kù)的語(yǔ)義 Web服務(wù)匹配算法［J］.計(jì)算機(jī)工程與設(shè)計(jì)，2011，32（3）：940－944.Zhao Qiang，Xia Yang，Shu Changjun，et al.Matching Algorithm of Semantic Web That Supports Cache Library［J］.Computer Engineering and Disgn，2011，32（3）：940－944.

［4］張佩云，黃波，孫亞民.一種基于語(yǔ)義與QoS感知的Web服務(wù)匹配機(jī)制［J］.計(jì)算機(jī)研究與發(fā)展，2010，47（5）：780－787.Zhang Peiyun，Huang Bo，Sun Yamin.A Web Services Matching Mechanism Based on Semantics and QoS－Aware Aspect［J］.Journal of Computer Research and Development，2010，47（5）：780－787.

［5］陶望勝，陶先平，呂建.基于規(guī)則與相似度的語(yǔ)義web服務(wù)匹配［J］.南京大學(xué)學(xué)報(bào)，2010，46（2）：159－168.Tao Wangsheng，Tao Xianping，LüJian.Rule and Similarity Based Semantic Web Service Matchmaking［J］.Journal of Nanjing University，2010，46（2）：159－168.

［6］徐建萍，郭鋼，羅妤，等.面向項(xiàng)目制造的復(fù)雜裝配過(guò)程資源匹配研究［J］.中國(guó)機(jī)械工程，2011，22（12）：1247－1432.Xu Jianping，Guo Gang，Luo Yu，et al.Research on Resource Matching of Complex Assembly Process under Project－based Manufacturing［J］.China Mechanical Engineering，2011，22（12）：1247－1432.

［7］尹勝，尹超，劉飛，等.云制造環(huán)境下外協(xié)加工資源集成服務(wù)模式及語(yǔ)義描述［J］.計(jì)算機(jī)集成制造系統(tǒng)，2011，17（3）：525－532.Yin Sheng，Yin Chao，Liu Fei，et al.Outsourcing Resources Integration Service Mode and Semantic Description in Cloud Manufacturing Environment［J］.Computer Integrated Manufacturing Systems，2011，17（3）：525－532.

［8］Shi Zhongzhi，Dong Mingkai，Jiang Yuncheng，et al.A Logical Foundation for the Semantic Web［J］.Science in China，Ser.F：Information Science，2005，48（2）：161－178.

［9］彭暉，陳立民，常亮，等.基于動(dòng)態(tài)描述邏輯的語(yǔ)義web服務(wù)匹配研究［J］.計(jì)算機(jī)研究與發(fā)展，2008，45（12）：2102－2109.Peng Hui，Chen Limin，Chang Liang，et al.Semantic Web Service Matching Based on Dynamic Description Logic［J］.Journal of Computer Research and Development，2008，45（12）：2102－2109.

［10］王海，陳研，范琳，等.一種利用描述邏輯的語(yǔ)義web服務(wù)前提／效果匹配方法［J］.西安交通大學(xué)學(xué)報(bào)，2010，44（4）：39－42.Wang Hai，Chen Yan，F(xiàn)an Lin，et al.A Description－Logic－Based Preconditions／Effects Matchmaking Method for Semantic Web Services［J］.Journal of Xi’an JiaoTong University，2010，44（4）：39－42.

［11］Wikipedia.Descriptionlogic［EB／OL］.［2012－3－3］.http：／／en.wikipediaorg／wiki／Description＿logic.