期刊文献+

基于实时UML顺序图的物联网交互模型 被引量:4

Interaction Model for Internet of Things Based on Real-time UML Sequence Diagram
下载PDF
导出
摘要 物联网是一个集计算、通信和控制于一体的智能系统,它通过监控和收集物理进程信息并将这些信息进行计算和分析,最终生成正确的控制指令用以执行,从而使物理环境变得更加安全和可靠。在物联网中,各物体通过网络连接或者本地连接的方式进行交互,这些交互具有时间性和地域性。物联网的建模和验证是物联网研究中一个重要的领域。文中提出一种基于实时UML顺序图的物联网交互模型,该模型将物联网中所有参与交互的物体建模为交互对象,并且通过实时UML顺序图对交互对象间的交互进行建模。使用时间自动机对交互对象的内部状态变化进行建模,以形成对交互模型的补充。最后根据转换规则将交互模型转换为时间自动机的形式以便于验证。通过一个实例,显示了如何具体应用物联网交互模型。进一步提出了物联网系统应该满足的一些性质,并使用UPPAAL模型检测工具对物联网交互模型进行分析和验证。 Internet of things(IOT)is an intelligent system which integrates computation,communication and control.It aims at monitoring the behavior of physical processes,analyzing information to generate correct instructions,and actuating actions to make physical environment work correctly and better.In Internet of things,different things interact locally or through network connections.These interactions are affected by time and locations.Modeling and verification of Internet of things are an important area in the research of Internet of things.This paper proposed an interaction model for IOT based on real-time UML sequence diagram.In our model,all things that interact in IOT are modeled as interactive objects between which interactions are modeled by real-time UML sequence diagram.And timed automata is used to model the internal state changes of interactive objects,which results in a complement to the interaction model.Finally according to the transition rules,the interaction model was transformed to the form of timed automata for the sake of verification.A case study was used to show how to specifically apply the interaction model.Further some properties which IOT should satisfy were presented.And the model checking tool UPPAAL was used to analyze and verify the interaction model for IOT.
出处 《计算机科学》 CSCD 北大核心 2014年第11期79-87,共9页 Computer Science
基金 国家自然科学基金(61173048 61073107)资助
关键词 物联网 交互模型 实时UML顺序图 时间自动机 验证 Internet of things Interaction model Real-time UML sequence diagram Timed automata Verification
  • 相关文献

参考文献12

  • 1Sarma S, Brock D, David L, et al. The Networked Physical World [R]. Technical Report MIT-AUTOID-WH-001. Cam- birdge, MIT, 1999. 被引量:1
  • 2Lee E A. Cyber Physical Systems:Design Challenges [C]//Ob jeet-Oriented Real-Time Distributed Computing. Orlando: IEEE, 2008 : 363-369. 被引量:1
  • 3Sha Lui, Gopalakrishnan S, Liu Xue, et al. Cyber-physical sys- tems:A new frontier [C] // Sensor Networks, Ubiquitous, and Trustworthy Computing. Taichung: IEEE, 2008 : 1-9. 被引量:1
  • 4OMG UML. 2.0 Superstructure Specification [R/OL]. 2005-07- 04 [2013-07-01]. http://www, uml. org. 被引量:1
  • 5Thomas Firely, Michaela Huhn, Karsen Diethers, et al. Timed Sequence Diagrams and Tool-Based Analysis [C]//The Unified Modeling Language. Berlin: Springer, 1999 : 645-650. 被引量:1
  • 6Alur R, Dill D. A theory of timed automata [J]. Theoretical Computer Science, 1994,126(2) : 183-235. 被引量:1
  • 7Cambronero M-E, Valero V, Diaz G, et al. Verification ot7 real- time systems design [J]. Software Testing,Verification & Reli- ability,2010,20(1):3-37. 被引量:1
  • 8Frits Vaandrager. A First Introduction to UPPAAL [R/OL]. [2013-07-01]. http//www, mbsd. cs. ru. nl/publications/pa- pers/fvaan/uppaaltutorial, pdf. 被引量:1
  • 9Behrmann G, David A, Larson K G, et al. A Tutorial on UP- PAAL 4.0 [R/OL]. [2013-07-01]. http://www, it. uu. se/re- search/group/darts/papers/texts/new-tutorial, pdf. 被引量:1
  • 10Ohn H, Marburger J H, Kvamme E F, et al. Leadership UnderChallenge: Information Technology R&D in a Competitive World[R/OL].[2013-07-01]. http://ostp, gov/pdf/nitrd re- view. pdf. 被引量:1

同被引文献33

引证文献4

二级引证文献7

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部