计算机科学
計算機科學
계산궤과학
COMPUTER SCIENCE
2014年
11期
79-87
,共9页
物联网%交互模型%实时UML顺序图%时间自动机%验证
物聯網%交互模型%實時UML順序圖%時間自動機%驗證
물련망%교호모형%실시UML순서도%시간자동궤%험증
Internet of things%Interaction model%Real-time UML sequence diagram%Timed automata%Verification
物联网是一个集计算、通信和控制于一体的智能系统,它通过监控和收集物理进程信息并将这些信息进行计算和分析,最终生成正确的控制指令用以执行,从而使物理环境变得更加安全和可靠.在物联网中,各物体通过网络连接或者本地连接的方式进行交互,这些交互具有时间性和地域性.物联网的建模和验证是物联网研究中一个重要的领域.文中提出一种基于实时UML顺序图的物联网交互模型,该模型将物联网中所有参与交互的物体建模为交互对象,并且通过实时UML顺序图对交互对象间的交互进行建模.使用时间自动机对交互对象的内部状态变化进行建模,以形成对交互模型的补充.最后根据转换规则将交互模型转换为时间自动机的形式以便于验证.通过一个实例,显示了如何具体应用物联网交互模型.进一步提出了物联网系统应该满足的一些性质,并使用UPPAAL模型检测工具对物联网交互模型进行分析和验证.
物聯網是一箇集計算、通信和控製于一體的智能繫統,它通過鑑控和收集物理進程信息併將這些信息進行計算和分析,最終生成正確的控製指令用以執行,從而使物理環境變得更加安全和可靠.在物聯網中,各物體通過網絡連接或者本地連接的方式進行交互,這些交互具有時間性和地域性.物聯網的建模和驗證是物聯網研究中一箇重要的領域.文中提齣一種基于實時UML順序圖的物聯網交互模型,該模型將物聯網中所有參與交互的物體建模為交互對象,併且通過實時UML順序圖對交互對象間的交互進行建模.使用時間自動機對交互對象的內部狀態變化進行建模,以形成對交互模型的補充.最後根據轉換規則將交互模型轉換為時間自動機的形式以便于驗證.通過一箇實例,顯示瞭如何具體應用物聯網交互模型.進一步提齣瞭物聯網繫統應該滿足的一些性質,併使用UPPAAL模型檢測工具對物聯網交互模型進行分析和驗證.
물련망시일개집계산、통신화공제우일체적지능계통,타통과감공화수집물리진정신식병장저사신식진행계산화분석,최종생성정학적공제지령용이집행,종이사물리배경변득경가안전화가고.재물련망중,각물체통과망락련접혹자본지련접적방식진행교호,저사교호구유시간성화지역성.물련망적건모화험증시물련망연구중일개중요적영역.문중제출일충기우실시UML순서도적물련망교호모형,해모형장물련망중소유삼여교호적물체건모위교호대상,병차통과실시UML순서도대교호대상간적교호진행건모.사용시간자동궤대교호대상적내부상태변화진행건모,이형성대교호모형적보충.최후근거전환규칙장교호모형전환위시간자동궤적형식이편우험증.통과일개실례,현시료여하구체응용물련망교호모형.진일보제출료물련망계통응해만족적일사성질,병사용UPPAAL모형검측공구대물련망교호모형진행분석화험증.
