本文選題：服務(wù)組合 + 化學(xué)反應(yīng)機制��； 參考：《計算機科學(xué)》2013年06期

【摘要】：為解決嵌入式系統(tǒng)服務(wù)化集成過程中服務(wù)的動態(tài)組合和重組等應(yīng)用問題,借鑒化學(xué)合成、分子裂解、化學(xué)置換、分子復(fù)制等化學(xué)反應(yīng)機制,設(shè)計了一套化學(xué)性服務(wù)組合模型。形式化描述了服務(wù)組合過程中服務(wù)合成、分解、替換、復(fù)制等服務(wù)行為及其相應(yīng)的運算演化機制,并在此基礎(chǔ)上結(jié)合petri網(wǎng)方法給出了服務(wù)演化模型,描述了多服務(wù)并行和依賴情況下的復(fù)合組合過程。最后以指控系統(tǒng)自適應(yīng)服務(wù)組合應(yīng)用需求為背景,實現(xiàn)了面向任務(wù)的服務(wù)組合系統(tǒng),對化學(xué)性服務(wù)組合模型的應(yīng)用效果和性能進行了驗證和分析。實驗結(jié)果表明,化學(xué)性服務(wù)組合模型滿足了指控系統(tǒng)自適應(yīng)服務(wù)組合的應(yīng)用需求,增強了系統(tǒng)的靈活性、可重構(gòu)性。
[Abstract]:In order to solve the problem of dynamic composition and recombination of services in the process of service integration of embedded systems, a set of chemical service composition model was designed based on chemical reaction mechanisms such as chemical synthesis, molecular cracking, chemical substitution and molecular replication. Service composition, decomposition, replacement and replication in service composition process are formally described and their corresponding operational evolution mechanisms are described. Based on this, a service evolution model is proposed based on petri net method. This paper describes the composite composition process in the case of multi-service parallelism and dependency. Finally, a task-oriented service composition system is implemented under the background of adaptive service composition application requirements of the command and control system. The application effect and performance of the chemical service composition model are verified and analyzed. The experimental results show that the chemical service composition model meets the application requirements of adaptive service composition of the command and control system and enhances the flexibility and reconfiguration of the system.
【作者單位】： 哈爾濱工程大學(xué)計算機科學(xué)與技術(shù)學(xué)院;武漢數(shù)字工程研究所系統(tǒng)科研部;
【基金】：國防預(yù)研項目(4010105010103,62101050101,513150802) 船舶基金(09J3.4.1,10J3.7.2)資助
【分類號】：TP393.09

【參考文獻】

相關(guān)期刊論文 前8條

1 劉瑩;張一川;張斌;張明衛(wèi);朱志良;;基于行為效果的服務(wù)可替換性分析[J];計算機研究與發(fā)展;2010年08期

2 劉思培;劉大有;齊紅;關(guān)菁華;;基于描述邏輯規(guī)則的語義Web服務(wù)組合[J];計算機研究與發(fā)展;2011年05期

3 竇文生;吳國全;魏峻;劉紹華;;基于狀態(tài)方面的Web服務(wù)動態(tài)替換[J];計算機科學(xué);2009年07期

4 王曉峻;毛鶯池;錢國鋒;;基于語義的QoS感知Web服務(wù)發(fā)現(xiàn)機制[J];計算機科學(xué);2010年08期

5 宋巍;馬曉星;呂建;;Web服務(wù)組合動態(tài)演化的實例可遷移性[J];計算機學(xué)報;2009年09期

6 曾晉;孫海龍;劉旭東;鄧婷;懷進鵬;;基于服務(wù)組合的可信軟件動態(tài)演化機制[J];軟件學(xué)報;2010年02期

7 潘靜;徐鋒;呂建;;面向可信服務(wù)選取的基于聲譽的推薦者發(fā)現(xiàn)方法[J];軟件學(xué)報;2010年02期

8 張敬周;任洪敏;宗宇偉;錢樂秋;朱三元;;基于行為自動機的構(gòu)件可替換性分析與驗證[J];軟件學(xué)報;2010年11期

【共引文獻】

相關(guān)期刊論文 前10條

1 向朝參;田暢;趙文棟;聶景楠;;語義Web服務(wù)的非功能性匹配研究[J];吉林大學(xué)學(xué)報(信息科學(xué)版);2012年01期

2 秦園園;;淺談可信軟件體系結(jié)構(gòu)研究[J];電腦知識與技術(shù);2011年21期

3 劉彬;;跨平臺基于聲譽選擇商品的研究[J];電腦知識與技術(shù);2012年16期

4 曲明;劉淑芬;包鐵;;一種用于評價語義Web服務(wù)質(zhì)量的多屬性關(guān)系建模方法[J];電子學(xué)報;2012年08期

5 印桂生;宋敏;韋正現(xiàn);王紅濱;張萬松;;面向構(gòu)件語義關(guān)系的軟件體系結(jié)構(gòu)演化分析[J];哈爾濱工程大學(xué)學(xué)報;2011年10期

6 肖文;張自力;李偉華;;基于QoS的可信Web服務(wù)組合研究[J];計算機科學(xué);2011年06期

7 李素粉;范玉順;;基于信任關(guān)系的業(yè)務(wù)服務(wù)選擇方法[J];計算機集成制造系統(tǒng);2011年10期

8 謝曉芹;宋超臣;張志強;;一種基于推薦網(wǎng)絡(luò)和蟻群算法的服務(wù)發(fā)現(xiàn)方法[J];計算機學(xué)報;2010年11期

9 楊岳明;陳立潮;潘理虎;謝斌紅;;基于歷史用戶QoS感知的Web服務(wù)發(fā)現(xiàn)方法[J];計算機應(yīng)用;2012年05期

10 岳洋;曾廣平;;一種面向構(gòu)件的行為語義模型及其應(yīng)用研究[J];計算機應(yīng)用研究;2012年05期

相關(guān)會議論文 前1條

1 趙會群;孫晶;魏瑩;王文文;;服務(wù)體系結(jié)構(gòu)的動態(tài)演化方法研究[A];CCF NCSC 2011——第二屆中國計算機學(xué)會服務(wù)計算學(xué)術(shù)會議論文集[C];2011年

相關(guān)博士學(xué)位論文 前10條

1 宋巍;Web服務(wù)組合動態(tài)演化技術(shù)研究[D];南京大學(xué);2010年

2 楊春花;軟件體系結(jié)構(gòu)中狀態(tài)方面的編織研究[D];山東大學(xué);2010年

3 吳新星;基于語言的軟件可信性度量理論及其應(yīng)用[D];華東師范大學(xué);2011年

4 祝希路;基于QoS的可信Web服務(wù)關(guān)鍵技術(shù)研究[D];北京郵電大學(xué);2011年

5 張楊;語義Web服務(wù)組合的可信性度量研究[D];重慶大學(xué);2011年

6 盧旭;面向分布式關(guān)鍵任務(wù)系統(tǒng)的自愈調(diào)控技術(shù)研究[D];哈爾濱工程大學(xué);2011年

7 呂宏武;面向分布式關(guān)鍵任務(wù)系統(tǒng)的自律可信性模型及其分析[D];哈爾濱工程大學(xué);2011年

8 高偉;對等網(wǎng)環(huán)境下搜索策略與信任機制研究[D];哈爾濱工程大學(xué);2011年

9 劉建華;面向服務(wù)的物聯(lián)網(wǎng)動態(tài)維護及其資源配置研究[D];上海大學(xué);2012年

10 張靜樂;網(wǎng)絡(luò)環(huán)境下協(xié)同服務(wù)關(guān)鍵技術(shù)研究[D];北京科技大學(xué);2011年

相關(guān)碩士學(xué)位論文 前10條

1 向楷;軟件構(gòu)件的可信評價及其組裝方法的研究[D];大連理工大學(xué);2010年

2 王志兵;軟件行為運行時驗證研究[D];湖南工業(yè)大學(xué);2010年

3 于偉;軟件構(gòu)件的可信性研究[D];東華大學(xué);2011年

4 趙飛;基于Trustie技術(shù)的可信軟件在電廠MIS系統(tǒng)中的研究和應(yīng)用[D];吉林大學(xué);2011年

5 張青清;SOA服務(wù)特性度量及工具研究[D];合肥工業(yè)大學(xué);2011年

6 錢曄;基于服務(wù)的軟件動態(tài)演化研究[D];云南大學(xué);2011年

7 陳步橋;民航公眾信息服務(wù)平臺中基于BPEL的動態(tài)服務(wù)組合研究與實現(xiàn)[D];南京航空航天大學(xué);2010年

8 劉春梅;基于本體和規(guī)則推理的軟件可信演化研究[D];重慶大學(xué);2010年

9 武高峰;面向UDDI的服務(wù)發(fā)現(xiàn)和服務(wù)協(xié)商研究[D];北京工業(yè)大學(xué);2011年

10 左偉東;基于“環(huán)境-行為”本體模型的軟件可信演化研究[D];重慶大學(xué);2011年

【二級參考文獻】

相關(guān)期刊論文 前10條

1 楊芙清,梅宏,呂建,金芝;淺論軟件技術(shù)發(fā)展[J];電子學(xué)報;2002年S1期

2 陳火旺,王戟,董威;高可信軟件工程技術(shù)[J];電子學(xué)報;2003年S1期

3 楊芙清,梅宏,李克勤;軟件復(fù)用與軟件構(gòu)件技術(shù)[J];電子學(xué)報;1999年02期

4 廖軍;譚浩;劉錦德;;基于Pi-演算的Web服務(wù)可替換性驗證[J];華中科技大學(xué)學(xué)報(自然科學(xué)版);2005年S1期

5 呂建;陶先平;馬曉星;胡昊;徐鋒;曹春;;基于Agent的網(wǎng)構(gòu)軟件模型研究[J];中國科學(xué)E輯:信息科學(xué);2005年12期

6 呂建;馬曉星;陶先平;徐鋒;胡昊;;網(wǎng)構(gòu)軟件的研究與進展[J];中國科學(xué)E輯:信息科學(xué);2006年10期

7 呂建;馬曉星;陶先平;曹春;黃宇;余萍;;面向網(wǎng)構(gòu)軟件的環(huán)境驅(qū)動模型與支撐技術(shù)研究[J];中國科學(xué)(E輯:信息科學(xué));2008年06期

8 史玉良;王海洋;張亮;施伯樂;;Web服務(wù)合成的相容性與替換性分析[J];計算機研究與發(fā)展;2007年11期

9 李春梅;蔣運承;;具有QoS約束的語義Web服務(wù)發(fā)現(xiàn)的研究[J];計算機科學(xué);2007年06期

10 馬曉星 ,余萍 ,陶先平 ,呂建;一種面向服務(wù)的動態(tài)協(xié)同架構(gòu)及其支撐平臺[J];計算機學(xué)報;2005年04期

相關(guān)碩士學(xué)位論文 前1條

1 劉斌;基于QoS本體的語義Web服務(wù)選擇研究[D];北京郵電大學(xué);2008年

【相似文獻】

相關(guān)期刊論文 前10條

1 胡顯偉;楊雷;代鈺;張斌;;服務(wù)網(wǎng)格中面向業(yè)務(wù)用戶的服務(wù)組合方法[J];沈陽航空工業(yè)學(xué)院學(xué)報;2007年04期

2 王國法;孫曉亭;王昆;;Web服務(wù)組合中的服務(wù)選擇研究[J];計算機與信息技術(shù);2007年06期

3 張以文;;一種支持用戶偏好的語義Web服務(wù)組合算法[J];安慶師范學(xué)院學(xué)報(自然科學(xué)版);2007年04期

4 陳世展;馮志勇;;服務(wù)網(wǎng)絡(luò):Web服務(wù)組合的新基點[J];計算機應(yīng)用研究;2008年05期

5 羅楠;嚴(yán)雋薇;劉敏;;語義Web服務(wù)自動組合的有色網(wǎng)驗證模型(英文)[J];系統(tǒng)仿真學(xué)報;2008年11期

6 朱正東;伍衛(wèi)國;胡亞紅;李增智;;一種基于最小覆蓋的復(fù)雜Web服務(wù)組合方法[J];西安交通大學(xué)學(xué)報;2008年08期

7 鄧水光;吳朝暉;;Web服務(wù)組合方法綜述[J];中國科技論文在線;2008年02期

8 劉青;張世龍;楊銳;連祥鑒;;基于模擬退火算法的QoS約束web服務(wù)組合(英文)[J];Journal of Southeast University(English Edition);2008年03期

9 曹科強;顧慶;任穎新;陳道蓄;;服務(wù)組合中基于DTMC的可靠性和性能分析[J];計算機科學(xué);2009年10期

10 朱正東;胡亞紅;伍衛(wèi)國;王勇;李增智;;內(nèi)容尋址網(wǎng)絡(luò)的P2P語義Web服務(wù)組合系統(tǒng)架構(gòu)[J];西安交通大學(xué)學(xué)報;2010年02期

相關(guān)會議論文 前10條

1 江琦;奚宏生;殷保群;;網(wǎng)絡(luò)新媒體服務(wù)系統(tǒng)事件驅(qū)動的動態(tài)服務(wù)組合[A];第二十九屆中國控制會議論文集[C];2010年

2 袁兆山;吳亮;;QoS驅(qū)動的事務(wù)性WEB服務(wù)組合[A];全國第20屆計算機技術(shù)與應(yīng)用學(xué)術(shù)會議(CACIS·2009)暨全國第1屆安全關(guān)鍵技術(shù)與應(yīng)用學(xué)術(shù)會議論文集（下冊）[C];2009年

3 段友祥;相鵬;;Web服務(wù)組合引擎的研究與實現(xiàn)[A];第二十三屆中國數(shù)據(jù)庫學(xué)術(shù)會議論文集（研究報告篇）[C];2006年

4 張玉軍;李心科;;面向自然語言描述的Web服務(wù)組合[A];2011中國儀器儀表與測控技術(shù)大會論文集[C];2011年

5 周相兵;馬洪江;楊興江;;一種基于云計算的語義Web服務(wù)組合模型研究[A];2009年全國開放式分布與并行計算機學(xué)術(shù)會議論文集(上冊)[C];2009年

6 亓開元;李基梅;;業(yè)務(wù)端編程模式與現(xiàn)行服務(wù)組合模式的對比分析[A];煤礦自動化與信息化——第19屆全國煤礦自動化與信息化學(xué)術(shù)會議暨中國礦業(yè)大學(xué)（北京）百年校慶學(xué)術(shù)會議論文集[C];2009年

7 成睿星;蘇森;楊放春;;使用范例推理的服務(wù)組合方法研究[A];2006年全國通信軟件學(xué)術(shù)會議論文集[C];2006年

8 李宏偉;吳國榮;袁永華;;基于本體的Web服務(wù)自動組合方法研究[A];第四屆海峽兩岸GIS發(fā)展研討會暨中國GIS協(xié)會第十屆年會論文集[C];2006年

9 張艷梅;;基于Overlay網(wǎng)絡(luò)的服務(wù)組合研究綜述[A];2006北京地區(qū)高校研究生學(xué)術(shù)交流會——通信與信息技術(shù)會議論文集（上）[C];2006年

10 張艷梅;;基于Petri網(wǎng)的web服務(wù)動態(tài)組合方法[A];2006北京地區(qū)高校研究生學(xué)術(shù)交流會——通信與信息技術(shù)會議論文集（下）[C];2006年

相關(guān)重要報紙文章 前5條

1 中國科學(xué)院計算技術(shù)研究所 萬長林邋史忠植 彭暉;語義Web解決Web服務(wù)難題[N];計算機世界;2007年

2 韓燕波;SOA與網(wǎng)格：整合資源新模式[N];計算機世界;2006年

3 馬濤;搭建VPN五步驟[N];中國計算機報;2007年

4 劉文熙;靈活性與實時性的統(tǒng)一[N];人民郵電;2000年

5 ;諾頓網(wǎng)絡(luò)安全特警2010與Think品牌電腦強強聯(lián)手[N];人民郵電;2009年

相關(guān)博士學(xué)位論文 前10條

1 朱銳;可信服務(wù)組合若干關(guān)鍵技術(shù)研究[D];國防科學(xué)技術(shù)大學(xué);2009年

2 龍軍;基于信任感知與演化的服務(wù)組合關(guān)鍵技術(shù)研究[D];中南大學(xué);2011年

3 劉波;云制造環(huán)境中面向多任務(wù)的服務(wù)組合與優(yōu)化技術(shù)研究[D];重慶大學(xué);2012年

4 翟巖龍;開放網(wǎng)絡(luò)環(huán)境中動態(tài)自適應(yīng)服務(wù)組合技術(shù)研究[D];北京理工大學(xué);2009年

5 于曉浩;面向任務(wù)的軍事信息服務(wù)組合方法與關(guān)鍵技術(shù)研究[D];國防科學(xué)技術(shù)大學(xué);2011年

6 陳志勇;面向模糊請求的服務(wù)組合關(guān)鍵問題研究[D];山東大學(xué);2011年

7 馬林;基于可信評估的服務(wù)組合方法研究[D];中國科學(xué)技術(shù)大學(xué);2012年

8 鮑亮;基于函數(shù)式編程的Web服務(wù)組合技術(shù)研究[D];西安電子科技大學(xué);2010年

9 董宇翔;服務(wù)組合的Petri網(wǎng)建模和服務(wù)質(zhì)量分析的研究[D];重慶大學(xué);2010年

10 劉莉平;動態(tài)Web服務(wù)組合關(guān)鍵技術(shù)研究[D];中南大學(xué);2011年

相關(guān)碩士學(xué)位論文 前10條

1 魯琳;面向服務(wù)質(zhì)量的服務(wù)組合方法研究[D];浙江大學(xué);2006年

2 趙偉偉;基于冗余的可靠Web服務(wù)組合方法研究[D];燕山大學(xué);2010年

3 許楠;Web服務(wù)組合可視化建模工具的研究與實現(xiàn)[D];大連海事大學(xué);2010年

4 陳楠;語義Web服務(wù)組合相關(guān)技術(shù)研究[D];中南大學(xué);2010年

5 李延紅;基于Pi演算的Web服務(wù)組合技術(shù)研究[D];山東經(jīng)濟學(xué)院;2011年

6 譚征;一種Web服務(wù)組合的自動化模型檢測方法[D];桂林電子科技大學(xué);2010年

7 丁衛(wèi)東;基于QoS的Web服務(wù)組合優(yōu)化選取問題研究[D];曲阜師范大學(xué);2011年

8 陽成虎;基于Web Services的社區(qū)信息服務(wù)集成方案研究[D];西南交通大學(xué);2005年

9 何亞麗;基于XYZ/ADL的Web服務(wù)組合驗證研究[D];蘇州大學(xué);2010年

10 秦佳;服務(wù)組合中基于混合QoS模型的服務(wù)選擇研究[D];重慶大學(xué);2010年

，

本文編號：2090174