面向服务的物联网软件体系结构设计与模型检测

发布时间：2017-09-30 03:02

  本文关键词：面向服务的物联网软件体系结构设计与模型检测

  更多相关文章： 物联网 面向服务 软件体系结构 参考模型 模型检测

【摘要】：物联网软件体系结构用于定义物联网应用系统的构件模型和交互拓扑,是构建支持水平互联、异构集成、资源共享和动态维护的物联网应用系统的基础.面向服务的软件体系结构(Service Oriented Architecture,SOA)是目前构建各类物联网应用系统最常用的风格,国内外研究人员已经提出了多种面向服务以"物端"为中心的物联网软件体系结构参考模型.该文对这些参考模型进行了比较分析,指出了它们基于的软件构件类型、采用的设计原则及具有的结构属性的不同,说明了这些参考模型适用于指导不同规模和不同应用需求的物联网应用系统的构建,并且分析了基于软件体系结构的物联网应用系统的形式化建模与模型检测方法.最后,指出了未来为建立基于软件体系结构的物联网应用系统开发方法还需要开展的研究工作.
【作者单位】： 中国科学院计算技术研究所;
【关键词】： 物联网 面向服务 软件体系结构 参考模型 模型检测
【基金】：国家国际科技合作专项项目(2013DFA10690) 国家自然科学基金青年科(61100180) 中国科学院战略性先导科技专项项目(XDA06010403)资助~~
【分类号】：TP391.44;TN929.5;TP311.52
【正文快照】： 似的概念,比如信息物理融合系统(Cyber-Physical1　引　言System,CPS)[5]、信息物理社会系统(Cyber-Physical-Social　System,CPSS)[6]、社会物联网(Social　Internet随着传感技术、通信技术与嵌入式计算技术的of　Things,SIoT)[7].这些概念所指的系统虽然在设发展,物理空间中

【参考文献】

中国期刊全文数据库 前10条

1 梅宏;黄罡;张路;张伟;;ABC:一种全生命周期软件体系结构建模方法[J];中国科学:信息科学;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:一种物理模型驱动的物联网软件体系结构[J];计算机研究与发展;2013年06期

4 武建佳;赵伟;;WInternet:从物网到物联网[J];计算机研究与发展;2013年06期

5 陈海明;崔莉;谢开斌;;物联网体系结构与实现方法的比较研究[J];计算机学报;2013年01期

6 马华东;;Internet of Things:Objectives and Scientific Challenges[J];Journal of Computer Science & Technology;2011年06期

7 李力行;金芝;李戈;;基于时间自动机的物联网服务建模和验证[J];计算机学报;2011年08期

8 邬贺铨;;物联网的应用与挑战综述[J];重庆邮电大学学报(自然科学版);2010年05期

9 杨志斌;皮磊;胡凯;顾宗华;马殿富;;复杂嵌入式实时系统体系结构设计与分析语言:AADL[J];软件学报;2010年05期

10 李刚;孙红梅;李智;余海燕;;资源受限Web服务[J];计算机学报;2010年02期

【共引文献】

中国期刊全文数据库 前10条

1 陈红芬;何昭水;吴宗泽;陈文科;;面向智慧物流的多模车载网关系统设计[J];数码世界;2016年06期

2 陶硕;张冰;周洁;李泠潞;;基于物联网技术的放射源监控管理应用与实践——以昆明市放射源物联网管理系统为例[J];绿色科技;2016年10期

3 李仁发;杨帆;谢国琪;黄晶;段梦琴;;信息—物理融合系统中建模方法综述[J];通信学报;2016年05期

4 夏冰;;关于电力物联网信息模型及通信协议的设计要点分析[J];通信电源技术;2016年03期

5 蔡昌许;;基于布隆过滤器的WSN链路层地址隐藏方法[J];计算机工程与设计;2016年05期

6 王晓红;杜欣;倪友聪;罗增;;一种基于AADL语言的嵌入式软件能耗评估方法[J];福建师范大学学报(自然科学版);2016年03期

7 梁民;;基于物联网的投影仪管理系统设计与实现[J];信息技术;2016年04期

8 罗世亮;任斌;;基于物联网的脐橙园病虫害防治专家系统[J];北京联合大学学报(自然科学版);2016年02期

9 罗剑;;一种面向移动智能设备的物联网中间件服务模型[J];自动化仪表;2016年04期

10 肖融;孙波;陈文龙;肖永康;魏云刚;;IPv6物联网层次转发体系中的地址压缩[J];计算机研究与发展;2016年04期

【二级参考文献】

中国期刊全文数据库 前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 张登宏;;煤矿安全检测系统的物联网技术研究[J];煤炭技术;2011年12期

3 李力行;金芝;李戈;;基于时间自动机的物联网服务建模和验证[J];计算机学报;2011年08期

4 吴振强;周彦伟;马建峰;;物联网安全传输模型[J];计算机学报;2011年08期

5 周舸;陈智勇;;基于物联网的交通流量监测系统设计研究[J];计算机仿真;2011年08期

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

7 刘洪涛;程良伦;;基于DHT的物联网命名服务体系结构研究[J];计算机应用研究;2011年06期

8 何世钧;陈中华;张雨;周文君;;基于物联网的海洋环境监测系统的研究[J];传感器与微系统;2011年03期

9 孙利民;沈杰;朱红松;;从云计算到海计算:论物联网的体系结构[J];中兴通讯技术;2011年01期

10 邹俊伟;吴岳辛;张晓莹;;异构物联网的开放式架构研究(英文)[J];中国通信;2011年01期

【相似文献】

中国期刊全文数据库 前10条

1 ;中国电子学会物联网专家委员会正式成立[J];电子世界;2010年09期

2 吴德本;;物联网综述(1)[J];有线电视技术;2011年01期

3 ;物联网新应用[J];自动化与仪表;2011年02期

4 马兴;王巍;韩洁;袁顺全;李鹏;庞纯伟;张靖康;王海豹;;以物联网技术加快实现农业现代化[J];山西农业科学;2011年04期

5 刘楷华;李雄;;物联网应用现状及发展机遇[J];电脑知识与技术;2011年05期

6 李昆仑;缪泽峰;章剑雄;;物联网的研究现状及其产业化[J];单片机与嵌入式系统应用;2011年02期

7 余宁;;中国物联网的发展及前景分析[J];科技创新导报;2011年08期

8 李海毅;;物联网,在不成熟中成熟谋划[J];中国科技财富;2011年11期

9 季世;;融合云计算的物联网[J];中国数字电视;2011年05期

10 胡平霞;;物联网及其应用探索[J];湖南环境生物职业技术学院学报;2011年02期

中国重要会议论文全文数据库 前10条

1 刘雪芹;;伺机性物联网——探索物联网在社交方面的前景[A];2012全国无线及移动通信学术大会论文集（上）[C];2012年

2 李艳;;物联网在煤矿中的应用[A];山东煤炭学会工业信息化专业委员会2011年度工作会议暨物联网技术推进煤矿信息化学术论坛学术论文集[C];2011年

3 王守信;韩丹;潘宏侠;;物联网技术在山西省装备制造业中的应用研究与产业发展建议[A];创新装备技术 给力地方经济——第三届全国地方机械工程学会学术年会暨海峡两岸机械科技论坛论文集[C];2013年

4 胡晓川;陈金鹰;杨超;;物联网——新新“物”语[A];四川省通信学会2010年学术年会论文集[C];2010年

5 肖克辉;肖德琴;周权;;农业物联网实验室建设[A];Proceedings of 2011 National Teaching Seminar on Cryptography and Information Security(NTS-CIS 2011) Vol.1[C];2011年

6 周立;谢宏全;董春来;蒋廷臣;刘缓;;海洋物联网展望[A];地理信息与物联网论坛暨江苏省测绘学会2010年学术年会论文集[C];2010年

7 ;物联网概述[A];地理信息与物联网论坛暨江苏省测绘学会2010年学术年会论文集[C];2010年

8 叶建栋;;浅析物联网的发展与应用[A];中国通信学会2011年光缆电缆学术年会论文集[C];2011年

9 谭月萍;尹钟;黄静;;物联网技术在茶叶中的应用[A];科技创新 转型升级 做大做强湖南特色茶叶——湖南省茶叶学会2011年学术年会论文集[C];2011年

10 童菲;朱诗兵;陈海勇;;物联网在军事应用中面临的机遇与挑战[A];2011年全国电子信息技术与应用学术会议论文集[C];2011年

中国重要报纸全文数据库 前10条

1 杨庆广;移动网络将成物联网主要接入方式[N];中国电子报;2010年

2 本报记者 闫静;物联网:护佑安全 空间广阔[N];中国安全生产报;2011年

3 同方泰德国际科技有限公司 周洪波;融合云计算的物联网[N];计算机世界;2011年

4 本报记者 许泳;物联网人才培养刚起步[N];计算机世界;2011年

5 上海互惠信息技术有限公司 欧书云;物联网新脉搏：实时交互[N];计算机世界;2011年

6 本报记者 樊哲高;物联网如何“网住”大市场[N];中国电子报;2013年

7 本报记者 王娟;农业物联网试点不计成本 应用普及呼唤成熟产业体系[N];中国计算机报;2013年

8 中国科学院院士 姚建铨;物联网是工具手段 智慧城市是目标[N];中国信息化周报;2013年

9 本报记者 郭峰峰;物联网的今生与未来[N];科学导报;2013年

10 记者 李珂;1500万元 国家专项资金支持我省物联网发展[N];福建日报;2013年

中国博士学位论文全文数据库 前10条

1 周明;物联网应用若干关键问题的研究[D];北京邮电大学;2014年

2 孙运雷;物联网服务质量动态保障方法研究[D];北京邮电大学;2014年

3 王军平;基于物联网的服务提交关键技术与系统的研究[D];北京邮电大学;2013年

4 俞磊;基于物联网技术的智慧医院架构及服务访问研究[D];合肥工业大学;2014年

5 刘e，

本文编号：945735