基于CPN與SOA的服務(wù)組合技術(shù)及其在超算仿真云平臺的應(yīng)用研究.pdf

1、研發(fā)基于超級計算機(jī)的應(yīng)用軟件是繼研發(fā)出新型超級計算機(jī)后的熱點(diǎn)問題。研究基于CPN（Colored Petri Net，著色Petri網(wǎng)）與SOA(Service-OrientedArchitecture，面向服務(wù)的架構(gòu))的服務(wù)組合技術(shù)，并將這項(xiàng)技術(shù)的研究成果應(yīng)用于基于超級計算機(jī)的工業(yè)設(shè)計仿真云平臺（以下簡稱“超算仿真云”）中，以服務(wù)方式向超級計算機(jī)用戶提供服務(wù)，是研發(fā)應(yīng)用軟件解決超級計算機(jī)在工業(yè)設(shè)計領(lǐng)域的產(chǎn)業(yè)化應(yīng)用問題的一種技術(shù)路線。本

2、文循著這條技術(shù)路線，先是給出了“超算仿真云”總體設(shè)計方案，設(shè)計方案中大量地應(yīng)用到基于CPN和SOA的服務(wù)組合技術(shù);系統(tǒng)地研究了基于CPN和SOA的語義服務(wù)組合技術(shù)，包括服務(wù)需求本體的建模與匹配技術(shù)、服務(wù)組合的描述、服務(wù)組合的自動生成、服務(wù)組合的驗(yàn)證;最后，在前述理論研究基礎(chǔ)和技術(shù)支撐的基礎(chǔ)上，研發(fā)了“超算仿真云”原型。
　　論文的主要研究工作如下:
　　(1)給出了“超算仿真云”總體設(shè)計方案，提出了該平臺的分層系統(tǒng)的功能架構(gòu)

3、和技術(shù)架構(gòu)及工程技術(shù)實(shí)現(xiàn)方案。文中將“超算仿真云”構(gòu)成分為前端系統(tǒng)、中間件系統(tǒng)、集群端系統(tǒng)3個重要組成部分。該平臺的核心技術(shù)就是使用了基于CPN與SOA的服務(wù)組合技術(shù)。
　　(2)討論了服務(wù)需求本體的建模與匹配技術(shù)及其算法。從用戶需求角度描述的服務(wù)需求本體出發(fā)，給出了與OWL-S服務(wù)描述的對比分析及映射關(guān)系，提出了服務(wù)需求本體與“超算仿真云”提供的服務(wù)匹配的判定規(guī)則。設(shè)計出了一種用相似度來量化衡量用戶服務(wù)需求與“超算仿真云”提供的

4、云服務(wù)匹配程度的方法，提出了計算相似度的算法。
　　(3)提出了基于CPN的服務(wù)組合技術(shù)的描述語言及其算法。給出了用CPN加入OWL-S來形式化地定義Web Service及組合服務(wù)的描述方法，參考PNML提出了新的CPSWS（Colored Petri net markup language of Semantic for Web Services，Web服務(wù)語義著色Petri網(wǎng)標(biāo)記語言）語言，CPSWS基于XML(eXtens

5、ible MarkupLanguage，可擴(kuò)展的標(biāo)記語言)來描述OWL-S服務(wù)的CPN Web Service及組合服務(wù)。設(shè)計出了將Tuscany容器中構(gòu)件和組合構(gòu)件描述文件向CPSWS描述文件的自動轉(zhuǎn)換的算法，并用“超算仿真云”的作業(yè)計算過程作為案例進(jìn)行了驗(yàn)證。
　　(4)研究了服務(wù)組合的自動化生成技術(shù)及其算法。根據(jù)接口匹配、前置依賴、QoS要求綜合考慮形成服務(wù)之間的依賴關(guān)系，對各種依賴關(guān)系進(jìn)行了分類和定義，用語義相似度來衡量服

6、務(wù)匹配的程度，提出了語義閥值相似、語義閥值相等的定義。給出了Web Service的FRCPN（Fuzzy Reasoning Colored Petri Net，模糊推理的著色Petri網(wǎng)）的定義，討論了各種產(chǎn)生式規(guī)則及其Petri網(wǎng)描述。提出了構(gòu)建OWL-S服務(wù)的CPN Web Service依賴關(guān)系圖的算法，并進(jìn)行依賴關(guān)系圖生成算法的應(yīng)用和示例分析，在算法控制參數(shù)——語義相似度閥值的不同情況下，可生成不同的依賴關(guān)系圖。
　　

7、(5)討論了服務(wù)組合的驗(yàn)證技術(shù)，提出了一種驗(yàn)證的計算方法。側(cè)重討論在Web服務(wù)組合生成后使用FRCPN對Web服務(wù)組合進(jìn)行驗(yàn)證時的可信度計算方法。為支持可信度的計算有針對性地提出了FRCPN、Web Service、變遷的形式化定義，分析了組成FRCPN的5種產(chǎn)生式規(guī)則及其中變遷、Web Service的可信度計算方法，提出了一種FRCPN的Web服務(wù)組合可信度計算方法并在“超算仿真云”原型中進(jìn)行了應(yīng)用。這種方法先計算FRCPN中的變遷

8、可信度值，并生成SLLFRV（Sequential Linked List for Filling Rliability Value，填充可信度的順序鏈表），再根據(jù)SLLFRV可依次計算得到FRCPN中Web Service的可信度，并以FRCPN的結(jié)束Web Service作為FRCPN的可信度，從而可檢驗(yàn)FRCPN的活性，并可用于進(jìn)一步篩選Web服務(wù)組合。實(shí)驗(yàn)表明，Web服務(wù)組合的可信度與Web Service的個數(shù)、變遷相似度區(qū)間

9、存在一定的規(guī)律關(guān)系，需要適度控制Web服務(wù)組合的規(guī)模以達(dá)到Web服務(wù)組合的活性。
　　(6)實(shí)現(xiàn)了基于CPN與SOA的“超算仿真云”的軟件原型。給出了平臺原型的實(shí)現(xiàn)效果，以火星著陸多室連通氣囊ANSYS/LS-DYNA有限元分析計算的前處理、求解計算、后處理等過程為例說明了本文的研究工作在基于CPN與SOA的超算仿真云平臺的應(yīng)用。這是國家超級計算長沙中心第一次基于高性能計算平臺搭建仿真云，也是國內(nèi)第一次基于“天河1號”機(jī)型采用服務(wù)