本文選題：物聯(lián)網(wǎng) + 感執(zhí)模型��； 參考：《軟件學(xué)報(bào)》2014年08期

【摘要】：物聯(lián)網(wǎng)的基本功能是感知物理環(huán)境,并根據(jù)實(shí)時(shí)的感知信息和用戶的執(zhí)行需求實(shí)現(xiàn)對(duì)物理環(huán)境的控制.因此,感執(zhí)模塊是物聯(lián)網(wǎng)軟件的核心模塊.為最終將軟件體系結(jié)構(gòu)應(yīng)用于物聯(lián)網(wǎng)軟件的開發(fā),在基于物理模型的物聯(lián)網(wǎng)軟件體系結(jié)構(gòu)(physical-model driven software architecture,簡稱PMDA)研究的基礎(chǔ)上,對(duì)PMDA中的感執(zhí)模型SEM進(jìn)行求精,求精后的感執(zhí)模型稱為R-SEM.R-SEM考慮了物聯(lián)網(wǎng)的特有屬性,將SEM的內(nèi)部構(gòu)件按照物理應(yīng)用的感執(zhí)工作流程分解為用通信順序進(jìn)程(communication sequential process,簡稱CSP)表達(dá)的子構(gòu)件來說明構(gòu)件端口的功能實(shí)現(xiàn),并采用CSP中的導(dǎo)管運(yùn)算符來說明子構(gòu)件的端口與構(gòu)件的端口之間的同步,通過CSP描述了子構(gòu)件與子構(gòu)件之間的交互.使用進(jìn)程分析工具(process analysis toolkit,簡稱PAT)對(duì)R-SEM進(jìn)行了驗(yàn)證.驗(yàn)證結(jié)果表明:R-SEM中子構(gòu)件之間的交互、子構(gòu)件的端口與構(gòu)件的端口之間的同步保持了SEM所具有的保證物理應(yīng)用之間有效互聯(lián)的性質(zhì)——不死鎖、不中止和不發(fā)散.由于R-SEM精化了SEM的內(nèi)部組成,且保持了SEM的有效互聯(lián)性質(zhì),因此,R-SEM對(duì)最終將PMDA應(yīng)用于物聯(lián)網(wǎng)軟件的開發(fā)具有實(shí)際的指導(dǎo)意義.
[Abstract]:The basic function of the Internet of things is to perceive the physical environment and realize the control of the physical environment according to the real-time perceptual information and the user's execution requirements. Therefore, the perception module is the core module of the Internet of things software. In order to apply software architecture to the development of Internet of things software, physical-model driven software architecture, a physical model-based software architecture, is used to refine SEM in PMDA. The refined perception model called R-SEM.R-SEM takes into account the unique attributes of the Internet of things, The internal components of SEM are decomposed into sub-components expressed by communication sequence process communication sequential process according to the workflow of physical application to explain the function realization of component port. The synchronization between the ports of the sub-components and the ports of the components is explained by using the catheter operator in CSP, and the interaction between the sub-components and the sub-components is described by CSP. Process analysis tool kit (path) is used to verify R-SEM. The verification results show that the interaction between the: R-SEM neutron components and the synchronization between the ports of the sub-components and the ports of the components maintain the properties of SEM which guarantee the effective interconnection between physical applications-no deadlock, no stopping and no divergence. Because R-SEM refines the internal composition of SEM and maintains the effective interconnection property of SEM, R-SEM is of practical significance for the final application of PMDA in the development of Internet of things software.
【作者單位】： 中國科學(xué)院計(jì)算技術(shù)研究所;中國科學(xué)院大學(xué);
【基金】：國家自然科學(xué)基金(61100180) 國家國際科技合作專項(xiàng)(2013DFA10690) 中國科學(xué)院戰(zhàn)略性先導(dǎo)科技專項(xiàng)(XDA06 010403)
【分類號(hào)】：TP391.44;TN929.5

【相似文獻(xiàn)】

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

1 陰躲芬;龔華明;;中間件技術(shù)在物聯(lián)網(wǎng)中的應(yīng)用探討[J];科技廣場(chǎng);2010年11期

2 李超良;;物聯(lián)網(wǎng)隱私保護(hù)機(jī)制簡介[J];福建電腦;2011年04期

3 楊倩;;物聯(lián)網(wǎng)關(guān)鍵技術(shù)及應(yīng)用[J];電信科學(xué);2010年S1期

4 邵順增;;物聯(lián)網(wǎng)應(yīng)用及發(fā)展[J];硅谷;2010年24期

5 白鷺;揭攝;;移動(dòng)通信網(wǎng)絡(luò)對(duì)物聯(lián)網(wǎng)承載需求分析[J];電信工程技術(shù)與標(biāo)準(zhǔn)化;2010年12期

6 王斌;;關(guān)于物聯(lián)網(wǎng)關(guān)鍵技術(shù)及其應(yīng)用前景的研究[J];信息與電腦(理論版);2011年02期

7 張艷敏;;物聯(lián)網(wǎng)的發(fā)展前景[J];佳木斯教育學(xué)院學(xué)報(bào);2011年02期

8 范景行;;基于物聯(lián)網(wǎng)的校園手機(jī)一卡通的安全策略研究[J];計(jì)算機(jī)安全;2011年05期

9 宋小倩;吳杉杉;;IPv6技術(shù)與物聯(lián)網(wǎng)應(yīng)用[J];中國新技術(shù)新產(chǎn)品;2011年06期

10 余寧;;中國物聯(lián)網(wǎng)的發(fā)展及前景分析[J];科技創(chuàng)新導(dǎo)報(bào);2011年08期

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

1 趙雨;陳金鷹;丁然;;物聯(lián)網(wǎng)引領(lǐng)第三次信息產(chǎn)業(yè)革命[A];四川省通信學(xué)會(huì)2010年學(xué)術(shù)年會(huì)論文集[C];2010年

2 王忠鋒;張連領(lǐng);李力剛;黃劍龍;;物聯(lián)網(wǎng)技術(shù)在建筑節(jié)能中的應(yīng)用研究[A];2010中國儀器儀表學(xué)術(shù)、產(chǎn)業(yè)大會(huì)（論文集1）[C];2010年

3 葉建棟;;淺析物聯(lián)網(wǎng)的發(fā)展與應(yīng)用[A];中國通信學(xué)會(huì)2011年光纜電纜學(xué)術(shù)年會(huì)論文集[C];2011年

4 王秀芬;蔣大林;曹廣鑫;郎芬玲;張煒;;SIP控制終端的研究及在物聯(lián)網(wǎng)的應(yīng)用[A];第八屆全國信息獲取與處理學(xué)術(shù)會(huì)議論文集[C];2010年

5 曹廣鑫;蔣大林;王秀芬;郎芬玲;張煒;;基于SIP的物聯(lián)網(wǎng)嵌入式多媒體智能終端的研究[A];第八屆全國信息獲取與處理學(xué)術(shù)會(huì)議論文集[C];2010年

6 朱筱蘭;楊海燕;趙乾華;劉映輝;席曉乾;;物聯(lián)網(wǎng)安全研究[A];中國通信學(xué)會(huì)信息通信網(wǎng)絡(luò)技術(shù)委員會(huì)2011年年會(huì)論文集（下冊(cè)）[C];2011年

7 邢保振;;基于物聯(lián)網(wǎng)應(yīng)用的3G M2M模塊[A];四川省通信學(xué)會(huì)2009年學(xué)術(shù)年會(huì)論文集[C];2009年

8 王培國;林紅衛(wèi);;物聯(lián)網(wǎng)技術(shù)及其軍事應(yīng)用探析[A];四川省通信學(xué)會(huì)2010年學(xué)術(shù)年會(huì)論文集[C];2010年

9 楊小英;張華;;物聯(lián)網(wǎng)技術(shù)與應(yīng)用研究[A];廣東通信2010青年論壇優(yōu)秀論文集[C];2010年

10 劉大鵬;徐久強(qiáng);趙海;杜志平;盧鎖;;物聯(lián)網(wǎng)中的信息服務(wù)發(fā)現(xiàn)[A];第八屆沈陽科學(xué)學(xué)術(shù)年會(huì)論文集[C];2011年

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

1 俞磊;基于物聯(lián)網(wǎng)技術(shù)的智慧醫(yī)院架構(gòu)及服務(wù)訪問研究[D];合肥工業(yè)大學(xué);2014年

2 郭雨齊;面向物聯(lián)網(wǎng)的短距離傳輸頻率及數(shù)據(jù)碰撞的檢測(cè)與修復(fù)方法[D];吉林大學(xué);2014年

3 張智;面向物聯(lián)網(wǎng)的多層次無線感知識(shí)和識(shí)別系統(tǒng)[D];浙江大學(xué);2012年

4 劉文懋;物聯(lián)網(wǎng)感知環(huán)境安全機(jī)制的關(guān)鍵技術(shù)研究[D];哈爾濱工業(yè)大學(xué);2013年

5 楊浩;面向不確定環(huán)境的物聯(lián)網(wǎng)壓縮感知問題研究[D];中國科學(xué)技術(shù)大學(xué);2013年

6 張忠;面向群體的數(shù)字簽名體制及其應(yīng)用研究[D];山東大學(xué);2011年

7 汪崢;車聯(lián)網(wǎng)蠕蟲傳播與防治研究[D];南京理工大學(xué);2013年

8 何文娜;大數(shù)據(jù)時(shí)代基于物聯(lián)網(wǎng)和云計(jì)算的地質(zhì)信息化研究[D];吉林大學(xué);2013年

9 金彥齡;基于生物智能的物聯(lián)網(wǎng)協(xié)同自治機(jī)理研究[D];東華大學(xué);2013年

10 王巖;物聯(lián)網(wǎng)控制系統(tǒng)中信息傳輸關(guān)鍵技術(shù)研究[D];東北林業(yè)大學(xué);2012年

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

1 李爽;基于云計(jì)算的物聯(lián)網(wǎng)技術(shù)研究[D];安徽大學(xué);2014年

2 高宏媛;面向物聯(lián)網(wǎng)實(shí)驗(yàn)的網(wǎng)絡(luò)測(cè)床的初步研究[D];內(nèi)蒙古大學(xué);2014年

3 于莉;物聯(lián)網(wǎng)在農(nóng)業(yè)生產(chǎn)生活中的應(yīng)用與實(shí)現(xiàn)[D];山東大學(xué);2014年

4 李巖;基于無線寬帶網(wǎng)絡(luò)的物聯(lián)網(wǎng)設(shè)計(jì)與應(yīng)用[D];吉林大學(xué);2014年

5 黃宗英;面向物聯(lián)網(wǎng)應(yīng)用的嵌入式終端設(shè)備的開發(fā)與研究[D];華東理工大學(xué);2014年

6 廖振宇;基于嵌入式的視頻物聯(lián)網(wǎng)關(guān)鍵技術(shù)研究[D];海南大學(xué);2014年

7 王慧淵;基于物聯(lián)網(wǎng)技術(shù)的智能實(shí)驗(yàn)室的研究與實(shí)現(xiàn)[D];杭州電子科技大學(xué);2014年

8 田玉博;現(xiàn)代牧場(chǎng)物聯(lián)網(wǎng)云平臺(tái)的后臺(tái)搭建[D];內(nèi)蒙古大學(xué);2014年

9 張超;基于光纖傳感的物聯(lián)網(wǎng)系統(tǒng)研究與設(shè)計(jì)[D];山東大學(xué);2014年

10 凌晨;基于物聯(lián)網(wǎng)的信息安全傳輸系統(tǒng)的研究與應(yīng)用[D];北方工業(yè)大學(xué);2014年

，

本文編號(hào)：1806116