Institute of Computing Technology, Chinese Academy IR
PMDA:一种物理模型驱动的物联网软件体系结构 | |
谢开斌; 陈海明; 崔莉 | |
2013 | |
发表期刊 | 计算机研究与发展 |
ISSN | 1000-1239 |
卷号 | 50.0期号:006页码:1185 |
摘要 | 实现众多物理应用之间的互联是建立物联网的基本方法.然而,如何设计一种有效的架构指导物理应用的水平化互联是目前物联网研究领域尚未解决的问题之一.针对该架构设计问题,提出了一种支持物理应用水平化互联的物理模型驱动的物联网软件体系结构(PMDA).PMDA由3个模型组成,分别是物理模型、感执模型和应用模型.模型之间以及模型内的组件之间通过连接器进行连接与交互,模型或组件在交互时需要满足一定的约束条件.通过体系结构描述语言Wright对PMDA中的3个模型的组成以及模型之间的交互进行了形式化描述.通过一种形式化验证工具PAT验证了用Wright描述的PMDA可以保证水平化互联起来的物理应用的有效性,即不存在死锁、发散和中止这3个影响物理应用有效互联的性质.基于PAT的验证结果,通过数学归纳法证明了根据PMDA开发的物联网应用系统在交互时不存在死锁、发散和中止的情形. |
关键词 | 物联网 物理应用 软件体系结构 物理模型 感执模型 应用模型 |
语种 | 英语 |
文献类型 | 期刊论文 |
条目标识符 | http://119.78.100.204/handle/2XEOYT63/37306 |
专题 | 中国科学院计算技术研究所期刊论文_中文 |
作者单位 | 中国科学院计算技术研究所 |
第一作者单位 | 中国科学院计算技术研究所 |
推荐引用方式 GB/T 7714 | 谢开斌,陈海明,崔莉. PMDA:一种物理模型驱动的物联网软件体系结构[J]. 计算机研究与发展,2013,50.0(006):1185. |
APA | 谢开斌,陈海明,&崔莉.(2013).PMDA:一种物理模型驱动的物联网软件体系结构.计算机研究与发展,50.0(006),1185. |
MLA | 谢开斌,et al."PMDA:一种物理模型驱动的物联网软件体系结构".计算机研究与发展 50.0.006(2013):1185. |
条目包含的文件 | 条目无相关文件。 |
个性服务 |
推荐该条目 |
保存到收藏夹 |
查看访问统计 |
导出为Endnote文件 |
谷歌学术 |
谷歌学术中相似的文章 |
[谢开斌]的文章 |
[陈海明]的文章 |
[崔莉]的文章 |
百度学术 |
百度学术中相似的文章 |
[谢开斌]的文章 |
[陈海明]的文章 |
[崔莉]的文章 |
必应学术 |
必应学术中相似的文章 |
[谢开斌]的文章 |
[陈海明]的文章 |
[崔莉]的文章 |
相关权益政策 |
暂无数据 |
收藏/分享 |
除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。
修改评论