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

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

谢开斌 陈海明 崔莉

物联网的基本功能是感知物理环境，并根据实时的感知信息和用户的执行需求实现对物理环境的控制.因此，感执模块是物联网软件的核心模块.为最终将软件体系结构应用于物联网软件的开发，在基于物理模型的物联网软件体系结构（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 应用于物联网软件的开发具有实际的指导意义.

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