PMDA：一种物理模型驱动的物联网软件体系结构
文献类型：期刊论文
| 作者 | 谢开斌; 陈海明; 崔莉 |
| 刊名 | 计算机研究与发展
 |
| 出版日期 | 2013 |
| 卷号 | 50.0期号:006页码:1185 |
| 关键词 | 物联网 物理应用 软件体系结构 物理模型 感执模型 应用模型 |
| ISSN号 | 1000-1239 |
| 英文摘要 | 实现众多物理应用之间的互联是建立物联网的基本方法．然而，如何设计一种有效的架构指导物理应用的水平化互联是目前物联网研究领域尚未解决的问题之一．针对该架构设计问题，提出了一种支持物理应用水平化互联的物理模型驱动的物联网软件体系结构（PMDA）．PMDA由3个模型组成，分别是物理模型、感执模型和应用模型．模型之间以及模型内的组件之间通过连接器进行连接与交互，模型或组件在交互时需要满足一定的约束条件．通过体系结构描述语言Wright对PMDA中的3个模型的组成以及模型之间的交互进行了形式化描述．通过一种形式化验证工具PAT验证了用Wright描述的PMDA可以保证水平化互联起来的物理应用的有效性，即不存在死锁、发散和中止这3个影响物理应用有效互联的性质．基于PAT的验证结果，通过数学归纳法证明了根据PMDA开发的物联网应用系统在交互时不存在死锁、发散和中止的情形． |
| 语种 | 英语 |
| 源URL | [http://119.78.100.204/handle/2XEOYT63/37305]  |
| 专题 | 中国科学院计算技术研究所期刊论文_中文 |
| 作者单位 | 中国科学院计算技术研究所 |
| 推荐引用方式 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. |
入库方式： OAI收割
来源：计算技术研究所
浏览0
下载0
收藏0
其他版本
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。