你好,游客 登录 注册 发布搜索
背景:
阅读新闻

物联网软件体系结构中的感执模型的求精

[日期:2014-08-07] 来源:软件学报  作者:谢开斌 陈海明 崔莉 [字体: ]

物联网软件体系结构中的感执模型的求精

谢开斌 陈海明 崔莉

物联网的基本功能是感知物理环境,并根据实时的感知信息和用户的执行需求实现对物理环境的控制.因此,感执模块是物联网软件的核心模块.为最终将软件体系结构应用于物联网软件的开发,在基于物理模型的物联网软件体系结构(physical-model driven software architecture,简称PMDA)研究的基础上,对PMDA 中的感执模型SEM进行求精,求精后的感执模型称为R-SEM.R-SEM 考虑了物联网的特有属性,将SEM的内部构件按照物理应用的感执工作流程分解为用通信顺序进程(communication sequential process,简称CSP)表达的子构件来说明构件端口的功能实现,并采用CSP 中的导管运算符来说明子构件的端口与构件的端口之间的同步,通过CSP 描述了子构件与子构件之间的交互.使用进程分析工具(process analysis toolkit,简称PAT)对R-SEM 进行了验证.验证结果表明:R-SEM 中子构件之间的交互、子构件的端口与构件的端口之间的同步保持了SEM 所具有的保证物理应用之间有效互联的性质——不死锁、不中止和不发散.由于R-SEM 精化了SEM 的内部组成,且保持了SEM 的有效互联性质,因此,R-SEM 对最终将PMDA 应用于物联网软件的开发具有实际的指导意义.


物联网软件体系结构中的感执模型的求精

收藏 推荐 打印 | 录入:574107552 | 阅读:
相关新闻       物联网 软件体系 感执模型 
本文评论   查看全部评论 (0)
表情: 表情 姓名: 字数
点评:
       
评论声明
  • 尊重网上道德,遵守中华人民共和国的各项有关法律法规
  • 承担一切因您的行为而直接或间接导致的民事或刑事法律责任
  • 本站管理人员有权保留或删除其管辖留言中的任意内容
  • 本站有权在网站内转载或引用您的评论
  • 参与本评论即表明您已经阅读并接受上述条款