基于实时UML顺序图的物联网交互模型

摘要：

物联网是一个集计算、通信和控制于一体的智能系统,它通过监控和收集物理进程信息并将这些信息进行计算和分析,最终生成正确的控制指令用以执行,从而使物理环境变得更加安全和可靠.在物联网中,各物体通过网络连接或者本地连接的方式进行交互,这些交互具有时间性和地域性.物联网的建模和验证是物联网研究中一个重要的领域.文中提出一种基于实时UML顺序图的物联网交互模型,该模型将物联网中所有参与交互的物体建模为交互对象,并且通过实时UML顺序图对交互对象间的交互进行建模.使用时间自动机对交互对象的内部状态变化进行建模,以形成对交互模型的补充.最后根据转换规则将交互模型转换为时间自动机的形式以便于验证.通过一个实例,显示了如何具体应用物联网交互模型.进一步提出了物联网系统应该满足的一些性质,并使用UPPAAL模型检测工具对物联网交互模型进行分析和验证.

关键词：物联网、交互模型、实时UML顺序图、时间自动机、验证

所属期刊栏目：41

分类号：TP31(计算技术、计算机技术)

资助基金：国家自然科学基金61173048,61073107

在线出版日期：2015-01-13（万方平台首次上网日期，不代表论文的发表时间）

页数：共9页

页码：79-87