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

第 41卷 第 l1期 计 算 机 科 学 Vo1．41No．11 2014年 l1月 Computer Science Nov2014 基于实时UML顺序图的物联网交互模型 丛新字 虞慧群 (华东理工大学计算机科学与工程学院 上海 200237) (上海计算机软件评测重点实验室 上海201112)。 摘 要 物联网是一个集计算、通信和控制于一体的智能系统，它通过监控和收集物理进程信息并将这些信息进行计 算和分析，最终生成正确的控制指令用以执行 ，从而使物理环境变得更加安全和可靠。在物联网中，各物体通过网络 连接或者本地连接的方式进行交互，这些交互具有时间性和地域性。物联 网的建模和验证是物联网研究中一个重要 的领域。文中提 出一种基于实时UML顺序图的物联网交互模型，该模型将物联网中所有参与交互的物体建模为交 互对象，并且通过实时UML顺序图对交互对象间的交互进行建模。使用时间自动机对交互对象的 内部状态变化进 行建模，以形成对交互模型的补充。最后根据转换规则将交互模型转换为时间自动机的形式以便于验证。通过一个 实例，显示了如何具体应用物联网交互模型。进一步提出了物联网系统应该满足的一些性质，并使用UPPAAL模型 检测工具对物联网交互模型进行分析和验证。 关键词 物联网，交互模型，实时UMI顺序图，时间自动机，验证 中图法分类号 TP31 文献标识码 A DOI 10．11896／j．issn．1002—137)(．2014．11．016 InteractionM odelforInternetofThingsBasedonReal-timeUM L SequenceDiagram CONG Xin-yu YU Hui—qun (DepartmentofComputerScienceandEngineering。EastChinaUniversityofScienceandTechnology，Shanghai200237，China) (ShanghaiKeyLaboratoryofComputerSoftwareEvaluatingandTesting，Shanghai201112，China) Abstract Internetofthings(IOT)isanintelligentsystemwhichintegratescomputation，communicationandcontro1．It aimsatmonitoringthebehaviorofphysicalprocesses，analyzinginformationtogeneratecorrectinstructions，andactua— ringactionstomakephysicalenvironmentworkcorrectlyandbetter．InInternetofthings，differentthingsinteractlocal— lyorthroughnetworkconnections．Theseinteractionsareaffectedby timeandlocations．Modelingandverification of InternetofthingsareanimportantareaintheresearchofInternetofthings．Thispaperproposedaninteractionmodel forIOT basedonreal—timeUMIsequencediagram．Inourmodel，allthingsthatinteractinIOT aremodeledasinterac— tiveobjectsbetweenwhichinteractionsaremodeledbyreal—timeUMLsequencediagram．Andtimedautomataisu