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

《基于实时UML顺序图的物联网交互模型》由会员上传分享，免费在线阅读，更多相关内容在行业资料-天天文库。

1、第41卷第l1期计算机科学Vo1．41No．112014年l1月ComputerScienceNov2014基于实时UML顺序图的物联网交互模型丛新字虞慧群(华东理工大学计算机科学与工程学院上海200237)(上海计算机软件评测重点实验室上海201112)。摘要物联网是一个集计算、通信和控制于一体的智能系统，它通过监控和收集物理进程信息并将这些信息进行计算和分析，最终生成正确的控制指令用以执行，从而使物理环境变得更加安全和可靠。在物联网中，各物体通过网络连接或者本地连接的方式进行交互，这些交互具有时间性和地域性。物

2、联网的建模和验证是物联网研究中一个重要的领域。文中提出一种基于实时UML顺序图的物联网交互模型，该模型将物联网中所有参与交互的物体建模为交互对象，并且通过实时UML顺序图对交互对象间的交互进行建模。使用时间自动机对交互对象的内部状态变化进行建模，以形成对交互模型的补充。最后根据转换规则将交互模型转换为时间自动机的形式以便于验证。通过一个实例，显示了如何具体应用物联网交互模型。进一步提出了物联网系统应该满足的一些性质，并使用UPPAAL模型检测工具对物联网交互模型进行分析和验证。关键词物联网，交互模型，实时UMI顺序

3、图，时间自动机，验证中图法分类号TP31文献标识码ADOI10．11896／j．issn．1002—137)(．2014．11．016InteractionModelforInternetofThingsBasedonReal-timeUMLSequenceDiagramCONGXin-yuYUHui—qun(DepartmentofComputerScienceandEngineering。EastChinaUniversityofScienceandTechnology，Shanghai200237，China

4、)(ShanghaiKeyLaboratoryofComputerSoftwareEvaluatingandTesting，Shanghai201112，China)AbstractInternetofthings(IOT)isanintelligentsystemwhichintegratescomputation，communicationandcontro1．Itaimsatmonitoringthebehaviorofphysicalprocesses，analyzinginformationtogener

5、atecorrectinstructions，andactua—ringactionstomakephysicalenvironmentworkcorrectlyandbetter．InInternetofthings，differentthingsinteractlocal—lyorthroughnetworkconnections．Theseinteractionsareaffectedbytimeandlocations．ModelingandverificationofInternetofthingsare

6、animportantareaintheresearchofInternetofthings．ThispaperproposedaninteractionmodelforIOTbasedonreal—timeUMIsequencediagram．Inourmodel，allthingsthatinteractinIOTaremodeledasinterac—tiveobjectsbetweenwhichinteractionsaremodeledbyreal—timeUMLsequencediagram．Andti

7、medautomataisusedtomodeltheinternalstatechangesofinteractiveobjects，whichresultsinacomplementtotheinteractionmode1．Finallyaccordingtothetransitionrules．theinteractionmodelwastransformedt0theforilloftimedautomataforthesakeofverification．Acasestudywasusedtoshowh

8、owtospecificallyapplytheinteractionmode1．Furthersomepropertieswhich10Tshouldsatisfywerepresented．AndthemodelcheckingtoolUPPAALwasusedtoanalyzeandverifythein—teractionmodelforIOT．Ke