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

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