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

【摘要】：為解決嵌入式系統(tǒng)服務(wù)化集成過程中服務(wù)的動(dòng)態(tài)組合和重組等應(yīng)用問題,借鑒化學(xué)合成、分子裂解、化學(xué)置換、分子復(fù)制等化學(xué)反應(yīng)機(jī)制,設(shè)計(jì)了一套化學(xué)性服務(wù)組合模型。形式化描述了服務(wù)組合過程中服務(wù)合成、分解、替換、復(fù)制等服務(wù)行為及其相應(yīng)的運(yùn)算演化機(jī)制,并在此基礎(chǔ)上結(jié)合petri網(wǎng)方法給出了服務(wù)演化模型,描述了多服務(wù)并行和依賴情況下的復(fù)合組合過程。最后以指控系統(tǒng)自適應(yīng)服務(wù)組合應(yīng)用需求為背景,實(shí)現(xiàn)了面向任務(wù)的服務(wù)組合系統(tǒng),對(duì)化學(xué)性服務(wù)組合模型的應(yīng)用效果和性能進(jìn)行了驗(yàn)證和分析。實(shí)驗(yàn)結(jié)果表明,化學(xué)性服務(wù)組合模型滿足了指控系統(tǒng)自適應(yīng)服務(wù)組合的應(yīng)用需求,增強(qiá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é)計(jì)算機(jī)科學(xué)與技術(shù)學(xué)院;武漢數(shù)字工程研究所系統(tǒng)科研部;
【基金】：國(guó)防預(yù)研項(xiàng)目(4010105010103,62101050101,513150802) 船舶基金(09J3.4.1,10J3.7.2)資助
【分類號(hào)】：TP393.09

【參考文獻(xiàn)】

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

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

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

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

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

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

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

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

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

【共引文獻(xiàn)】

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

5 張楊;語(yǔ)義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 高偉;對(duì)等網(wǎng)環(huán)境下搜索策略與信任機(jī)制研究[D];哈爾濱工程大學(xué);2011年

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

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

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

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

2 王志兵;軟件行為運(yùn)行時(shí)驗(yàn)證研究[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ù)的軟件動(dòng)態(tài)演化研究[D];云南大學(xué);2011年

7 陳步橋;民航公眾信息服務(wù)平臺(tái)中基于BPEL的動(dòng)態(tài)服務(wù)組合研究與實(shí)現(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年

【二級(jí)參考文獻(xiàn)】

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

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

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

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

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

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

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

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

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

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

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

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

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

【相似文獻(xiàn)】

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

3 馬濤;搭建VPN五步驟[N];中國(guó)計(jì)算機(jī)報(bào);2007年

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

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

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

1 朱銳;可信服務(wù)組合若干關(guān)鍵技術(shù)研究[D];國(guó)防科學(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)境中動(dòng)態(tài)自適應(yīng)服務(wù)組合技術(shù)研究[D];北京理工大學(xué);2009年

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

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

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

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

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

10 劉莉平;動(dòng)態(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ù)組合可視化建模工具的研究與實(shí)現(xiàn)[D];大連海事大學(xué);2010年

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

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

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

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

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

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

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

，

本文編號(hào)：2090174