本文關(guān)鍵詞：面向服務(wù)的物聯(lián)網(wǎng)軟件體系結(jié)構(gòu)設(shè)計(jì)與模型檢測

  更多相關(guān)文章： 物聯(lián)網(wǎng) 面向服務(wù) 軟件體系結(jié)構(gòu) 參考模型 模型檢測

【摘要】：物聯(lián)網(wǎng)軟件體系結(jié)構(gòu)用于定義物聯(lián)網(wǎng)應(yīng)用系統(tǒng)的構(gòu)件模型和交互拓?fù)?是構(gòu)建支持水平互聯(lián)、異構(gòu)集成、資源共享和動態(tài)維護(hù)的物聯(lián)網(wǎng)應(yīng)用系統(tǒng)的基礎(chǔ).面向服務(wù)的軟件體系結(jié)構(gòu)(Service Oriented Architecture,SOA)是目前構(gòu)建各類物聯(lián)網(wǎng)應(yīng)用系統(tǒng)最常用的風(fēng)格,國內(nèi)外研究人員已經(jīng)提出了多種面向服務(wù)以"物端"為中心的物聯(lián)網(wǎng)軟件體系結(jié)構(gòu)參考模型.該文對這些參考模型進(jìn)行了比較分析,指出了它們基于的軟件構(gòu)件類型、采用的設(shè)計(jì)原則及具有的結(jié)構(gòu)屬性的不同,說明了這些參考模型適用于指導(dǎo)不同規(guī)模和不同應(yīng)用需求的物聯(lián)網(wǎng)應(yīng)用系統(tǒng)的構(gòu)建,并且分析了基于軟件體系結(jié)構(gòu)的物聯(lián)網(wǎng)應(yīng)用系統(tǒng)的形式化建模與模型檢測方法.最后,指出了未來為建立基于軟件體系結(jié)構(gòu)的物聯(lián)網(wǎng)應(yīng)用系統(tǒng)開發(fā)方法還需要開展的研究工作.
【作者單位】： 中國科學(xué)院計(jì)算技術(shù)研究所;
【關(guān)鍵詞】： 物聯(lián)網(wǎng) 面向服務(wù) 軟件體系結(jié)構(gòu) 參考模型 模型檢測
【基金】：國家國際科技合作專項(xiàng)項(xiàng)目(2013DFA10690) 國家自然科學(xué)基金青年科(61100180) 中國科學(xué)院戰(zhàn)略性先導(dǎo)科技專項(xiàng)項(xiàng)目(XDA06010403)資助~~
【分類號】：TP391.44;TN929.5;TP311.52
【正文快照】： 似的概念,比如信息物理融合系統(tǒng)(Cyber-Physical1　引　言System,CPS)[5]、信息物理社會系統(tǒng)(Cyber-Physical-Social　System,CPSS)[6]、社會物聯(lián)網(wǎng)(Social　Internet隨著傳感技術(shù)、通信技術(shù)與嵌入式計(jì)算技術(shù)的of　Things,SIoT)[7].這些概念所指的系統(tǒng)雖然在設(shè)發(fā)展,物理空間中

【參考文獻(xiàn)】

中國期刊全文數(shù)據(jù)庫 前10條

1 梅宏;黃罡;張路;張偉;;ABC:一種全生命周期軟件體系結(jié)構(gòu)建模方法[J];中國科學(xué):信息科學(xué);2014年05期

2 徐志偉;;Cloud-Sea Computing Systems:Towards Thousand-Fold Improvement in Performance per Watt for the Coming Zettabyte Era[J];Journal of Computer Science & Technology;2014年02期

3 謝開斌;陳海明;崔莉;;PMDA:一種物理模型驅(qū)動的物聯(lián)網(wǎng)軟件體系結(jié)構(gòu)[J];計(jì)算機(jī)研究與發(fā)展;2013年06期

4 武建佳;趙偉;;WInternet:從物網(wǎng)到物聯(lián)網(wǎng)[J];計(jì)算機(jī)研究與發(fā)展;2013年06期

5 陳海明;崔莉;謝開斌;;物聯(lián)網(wǎng)體系結(jié)構(gòu)與實(shí)現(xiàn)方法的比較研究[J];計(jì)算機(jī)學(xué)報(bào);2013年01期

6 馬華東;;Internet of Things:Objectives and Scientific Challenges[J];Journal of Computer Science & Technology;2011年06期

7 李力行;金芝;李戈;;基于時間自動機(jī)的物聯(lián)網(wǎng)服務(wù)建模和驗(yàn)證[J];計(jì)算機(jī)學(xué)報(bào);2011年08期

8 鄔賀銓;;物聯(lián)網(wǎng)的應(yīng)用與挑戰(zhàn)綜述[J];重慶郵電大學(xué)學(xué)報(bào)(自然科學(xué)版);2010年05期

9 楊志斌;皮磊;胡凱;顧宗華;馬殿富;;復(fù)雜嵌入式實(shí)時系統(tǒng)體系結(jié)構(gòu)設(shè)計(jì)與分析語言:AADL[J];軟件學(xué)報(bào);2010年05期

10 李剛;孫紅梅;李智;余海燕;;資源受限Web服務(wù)[J];計(jì)算機(jī)學(xué)報(bào);2010年02期

【共引文獻(xiàn)】

中國期刊全文數(shù)據(jù)庫 前10條

1 陳紅芬;何昭水;吳宗澤;陳文科;;面向智慧物流的多模車載網(wǎng)關(guān)系統(tǒng)設(shè)計(jì)[J];數(shù)碼世界;2016年06期

2 陶碩;張冰;周潔;李泠潞;;基于物聯(lián)網(wǎng)技術(shù)的放射源監(jiān)控管理應(yīng)用與實(shí)踐——以昆明市放射源物聯(lián)網(wǎng)管理系統(tǒng)為例[J];綠色科技;2016年10期

3 李仁發(fā);楊帆;謝國琪;黃晶;段夢琴;;信息—物理融合系統(tǒng)中建模方法綜述[J];通信學(xué)報(bào);2016年05期

4 夏冰;;關(guān)于電力物聯(lián)網(wǎng)信息模型及通信協(xié)議的設(shè)計(jì)要點(diǎn)分析[J];通信電源技術(shù);2016年03期

5 蔡昌許;;基于布隆過濾器的WSN鏈路層地址隱藏方法[J];計(jì)算機(jī)工程與設(shè)計(jì);2016年05期

6 王曉紅;杜欣;倪友聰;羅增;;一種基于AADL語言的嵌入式軟件能耗評估方法[J];福建師范大學(xué)學(xué)報(bào)(自然科學(xué)版);2016年03期

7 梁民;;基于物聯(lián)網(wǎng)的投影儀管理系統(tǒng)設(shè)計(jì)與實(shí)現(xiàn)[J];信息技術(shù);2016年04期

8 羅世亮;任斌;;基于物聯(lián)網(wǎng)的臍橙園病蟲害防治專家系統(tǒng)[J];北京聯(lián)合大學(xué)學(xué)報(bào)(自然科學(xué)版);2016年02期

9 羅劍;;一種面向移動智能設(shè)備的物聯(lián)網(wǎng)中間件服務(wù)模型[J];自動化儀表;2016年04期

10 肖融;孫波;陳文龍;肖永康;魏云剛;;IPv6物聯(lián)網(wǎng)層次轉(zhuǎn)發(fā)體系中的地址壓縮[J];計(jì)算機(jī)研究與發(fā)展;2016年04期

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

中國期刊全文數(shù)據(jù)庫 前10條

1 ZHANG Wei;YI Li;ZHAO HaiYan;JIN Zhi;;Feature-oriented stigmergy-based collaborative requirements modeling:an exploratory approach for requirements elicitation and evolution based on web-enabled collective intelligence[J];Science China(Information Sciences);2013年08期

2 張登宏;;煤礦安全檢測系統(tǒng)的物聯(lián)網(wǎng)技術(shù)研究[J];煤炭技術(shù);2011年12期

3 李力行;金芝;李戈;;基于時間自動機(jī)的物聯(lián)網(wǎng)服務(wù)建模和驗(yàn)證[J];計(jì)算機(jī)學(xué)報(bào);2011年08期

4 吳振強(qiáng);周彥偉;馬建峰;;物聯(lián)網(wǎng)安全傳輸模型[J];計(jì)算機(jī)學(xué)報(bào);2011年08期

5 周舸;陳智勇;;基于物聯(lián)網(wǎng)的交通流量監(jiān)測系統(tǒng)設(shè)計(jì)研究[J];計(jì)算機(jī)仿真;2011年08期

6 徐志偉;涂丹丹;;Three New Concepts of Future Computer Science[J];Journal of Computer Science & Technology;2011年04期

7 劉洪濤;程良倫;;基于DHT的物聯(lián)網(wǎng)命名服務(wù)體系結(jié)構(gòu)研究[J];計(jì)算機(jī)應(yīng)用研究;2011年06期

8 何世鈞;陳中華;張雨;周文君;;基于物聯(lián)網(wǎng)的海洋環(huán)境監(jiān)測系統(tǒng)的研究[J];傳感器與微系統(tǒng);2011年03期

9 孫利民;沈杰;朱紅松;;從云計(jì)算到海計(jì)算:論物聯(lián)網(wǎng)的體系結(jié)構(gòu)[J];中興通訊技術(shù);2011年01期

10 鄒俊偉;吳岳辛;張曉瑩;;異構(gòu)物聯(lián)網(wǎng)的開放式架構(gòu)研究(英文)[J];中國通信;2011年01期

【相似文獻(xiàn)】

中國期刊全文數(shù)據(jù)庫 前10條

1 ;中國電子學(xué)會物聯(lián)網(wǎng)專家委員會正式成立[J];電子世界;2010年09期

2 吳德本;;物聯(lián)網(wǎng)綜述(1)[J];有線電視技術(shù);2011年01期

3 ;物聯(lián)網(wǎng)新應(yīng)用[J];自動化與儀表;2011年02期

4 馬興;王巍;韓潔;袁順全;李鵬;龐純偉;張靖康;王海豹;;以物聯(lián)網(wǎng)技術(shù)加快實(shí)現(xiàn)農(nóng)業(yè)現(xiàn)代化[J];山西農(nóng)業(yè)科學(xué);2011年04期

5 劉楷華;李雄;;物聯(lián)網(wǎng)應(yīng)用現(xiàn)狀及發(fā)展機(jī)遇[J];電腦知識與技術(shù);2011年05期

6 李昆侖;繆澤峰;章劍雄;;物聯(lián)網(wǎng)的研究現(xiàn)狀及其產(chǎn)業(yè)化[J];單片機(jī)與嵌入式系統(tǒng)應(yīng)用;2011年02期

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

8 李海毅;;物聯(lián)網(wǎng),在不成熟中成熟謀劃[J];中國科技財(cái)富;2011年11期

9 季世;;融合云計(jì)算的物聯(lián)網(wǎng)[J];中國數(shù)字電視;2011年05期

10 胡平霞;;物聯(lián)網(wǎng)及其應(yīng)用探索[J];湖南環(huán)境生物職業(yè)技術(shù)學(xué)院學(xué)報(bào);2011年02期

中國重要會議論文全文數(shù)據(jù)庫 前10條

1 劉雪芹;;伺機(jī)性物聯(lián)網(wǎng)——探索物聯(lián)網(wǎng)在社交方面的前景[A];2012全國無線及移動通信學(xué)術(shù)大會論文集（上）[C];2012年

2 李艷;;物聯(lián)網(wǎng)在煤礦中的應(yīng)用[A];山東煤炭學(xué)會工業(yè)信息化專業(yè)委員會2011年度工作會議暨物聯(lián)網(wǎng)技術(shù)推進(jìn)煤礦信息化學(xué)術(shù)論壇學(xué)術(shù)論文集[C];2011年

3 王守信;韓丹;潘宏俠;;物聯(lián)網(wǎng)技術(shù)在山西省裝備制造業(yè)中的應(yīng)用研究與產(chǎn)業(yè)發(fā)展建議[A];創(chuàng)新裝備技術(shù) 給力地方經(jīng)濟(jì)——第三屆全國地方機(jī)械工程學(xué)會學(xué)術(shù)年會暨海峽兩岸機(jī)械科技論壇論文集[C];2013年

4 胡曉川;陳金鷹;楊超;;物聯(lián)網(wǎng)——新新“物”語[A];四川省通信學(xué)會2010年學(xué)術(shù)年會論文集[C];2010年

5 肖克輝;肖德琴;周權(quán);;農(nóng)業(yè)物聯(lián)網(wǎng)實(shí)驗(yàn)室建設(shè)[A];Proceedings of 2011 National Teaching Seminar on Cryptography and Information Security(NTS-CIS 2011) Vol.1[C];2011年

6 周立;謝宏全;董春來;蔣廷臣;劉緩;;海洋物聯(lián)網(wǎng)展望[A];地理信息與物聯(lián)網(wǎng)論壇暨江蘇省測繪學(xué)會2010年學(xué)術(shù)年會論文集[C];2010年

7 ;物聯(lián)網(wǎng)概述[A];地理信息與物聯(lián)網(wǎng)論壇暨江蘇省測繪學(xué)會2010年學(xué)術(shù)年會論文集[C];2010年

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

9 譚月萍;尹鐘;黃靜;;物聯(lián)網(wǎng)技術(shù)在茶葉中的應(yīng)用[A];科技創(chuàng)新 轉(zhuǎn)型升級 做大做強(qiáng)湖南特色茶葉——湖南省茶葉學(xué)會2011年學(xué)術(shù)年會論文集[C];2011年

10 童菲;朱詩兵;陳海勇;;物聯(lián)網(wǎng)在軍事應(yīng)用中面臨的機(jī)遇與挑戰(zhàn)[A];2011年全國電子信息技術(shù)與應(yīng)用學(xué)術(shù)會議論文集[C];2011年

中國重要報(bào)紙全文數(shù)據(jù)庫 前10條

1 楊慶廣;移動網(wǎng)絡(luò)將成物聯(lián)網(wǎng)主要接入方式[N];中國電子報(bào);2010年

2 本報(bào)記者 閆靜;物聯(lián)網(wǎng):護(hù)佑安全 空間廣闊[N];中國安全生產(chǎn)報(bào);2011年

3 同方泰德國際科技有限公司 周洪波;融合云計(jì)算的物聯(lián)網(wǎng)[N];計(jì)算機(jī)世界;2011年

4 本報(bào)記者 許泳;物聯(lián)網(wǎng)人才培養(yǎng)剛起步[N];計(jì)算機(jī)世界;2011年

5 上�；セ菪畔⒓夹g(shù)有限公司 歐書云;物聯(lián)網(wǎng)新脈搏：實(shí)時交互[N];計(jì)算機(jī)世界;2011年

6 本報(bào)記者 樊哲高;物聯(lián)網(wǎng)如何“網(wǎng)住”大市場[N];中國電子報(bào);2013年

7 本報(bào)記者 王娟;農(nóng)業(yè)物聯(lián)網(wǎng)試點(diǎn)不計(jì)成本 應(yīng)用普及呼喚成熟產(chǎn)業(yè)體系[N];中國計(jì)算機(jī)報(bào);2013年

8 中國科學(xué)院院士 姚建銓;物聯(lián)網(wǎng)是工具手段 智慧城市是目標(biāo)[N];中國信息化周報(bào);2013年

9 本報(bào)記者 郭峰峰;物聯(lián)網(wǎng)的今生與未來[N];科學(xué)導(dǎo)報(bào);2013年

10 記者 李珂;1500萬元 國家專項(xiàng)資金支持我省物聯(lián)網(wǎng)發(fā)展[N];福建日報(bào);2013年

中國博士學(xué)位論文全文數(shù)據(jù)庫 前10條

1 周明;物聯(lián)網(wǎng)應(yīng)用若干關(guān)鍵問題的研究[D];北京郵電大學(xué);2014年

2 孫運(yùn)雷;物聯(lián)網(wǎng)服務(wù)質(zhì)量動態(tài)保障方法研究[D];北京郵電大學(xué);2014年

3 王軍平;基于物聯(lián)網(wǎng)的服務(wù)提交關(guān)鍵技術(shù)與系統(tǒng)的研究[D];北京郵電大學(xué);2013年

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

5 劉e，

本文編號：945735