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

发布时间：2018-06-17 20:01

本文选题：物联网 + 交互模型　；参考：《计算机科学》2014年11期

【摘要】：物联网是一个集计算、通信和控制于一体的智能系统,它通过监控和收集物理进程信息并将这些信息进行计算和分析,最终生成正确的控制指令用以执行,从而使物理环境变得更加安全和可靠。在物联网中,各物体通过网络连接或者本地连接的方式进行交互,这些交互具有时间性和地域性。物联网的建模和验证是物联网研究中一个重要的领域。文中提出一种基于实时UML顺序图的物联网交互模型,该模型将物联网中所有参与交互的物体建模为交互对象,并且通过实时UML顺序图对交互对象间的交互进行建模。使用时间自动机对交互对象的内部状态变化进行建模,以形成对交互模型的补充。最后根据转换规则将交互模型转换为时间自动机的形式以便于验证。通过一个实例,显示了如何具体应用物联网交互模型。进一步提出了物联网系统应该满足的一些性质,并使用UPPAAL模型检测工具对物联网交互模型进行分析和验证。
[Abstract]:The Internet of things is an intelligent system that integrates computing, communication and control. It monitors, collects, calculates and analyzes physical process information, and ultimately generates correct control instructions for execution. This makes the physical environment safer and more reliable. In the Internet of things, each object interacts through a network connection or a local connection. These interactions are temporal and regional. The modeling and verification of the Internet of things is an important field in the research of the Internet of things. In this paper, an interactive model of Internet of things based on real-time UML sequence diagram is proposed, in which all objects involved in the interaction in the Internet of things are modeled as interactive objects, and the interaction between interactive objects is modeled by real-time UML sequence diagrams. Time automata is used to model the internal state change of the interactive object to complement the interaction model. Finally, the interaction model is transformed into the form of time automata according to the transformation rules to facilitate verification. Through an example, it shows how to apply the interactive model of the Internet of things. Furthermore, some properties that should be satisfied in the Internet of things system are put forward, and the interaction model of the Internet of things is analyzed and verified by using UPPAAL model checking tool.
【作者单位】：华东理工大学计算机科学与工程学院;上海计算机软件评测重点实验室;
【基金】：国家自然科学基金(61173048,61073107)资助
【分类号】：TP391.44;TN929.5

【相似文献】