發(fā)布時間：2018-06-17 20:01

  本文選題：物聯(lián)網(wǎng) + 交互模型��； 參考：《計算機科學》2014年11期

【摘要】：物聯(lián)網(wǎng)是一個集計算、通信和控制于一體的智能系統(tǒng),它通過監(jiān)控和收集物理進程信息并將這些信息進行計算和分析,最終生成正確的控制指令用以執(zhí)行,從而使物理環(huán)境變得更加安全和可靠。在物聯(lián)網(wǎng)中,各物體通過網(wǎng)絡連接或者本地連接的方式進行交互,這些交互具有時間性和地域性。物聯(lián)網(wǎng)的建模和驗證是物聯(lián)網(wǎng)研究中一個重要的領域。文中提出一種基于實時UML順序圖的物聯(lián)網(wǎng)交互模型,該模型將物聯(lián)網(wǎng)中所有參與交互的物體建模為交互對象,并且通過實時UML順序圖對交互對象間的交互進行建模。使用時間自動機對交互對象的內部狀態(tài)變化進行建模,以形成對交互模型的補充。最后根據(jù)轉換規(guī)則將交互模型轉換為時間自動機的形式以便于驗證。通過一個實例,顯示了如何具體應用物聯(lián)網(wǎng)交互模型。進一步提出了物聯(lián)網(wǎng)系統(tǒng)應該滿足的一些性質,并使用UPPAAL模型檢測工具對物聯(lián)網(wǎng)交互模型進行分析和驗證。
[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

【相似文獻】

相關期刊論文 前10條

1 秦茜;;物聯(lián)網(wǎng)驟成產(chǎn)業(yè)巨浪 各方大肆追捧恐為時尚早[J];IT時代周刊;2009年Z2期

2 石菲;;物聯(lián)網(wǎng)還有多遠[J];中國計算機用戶;2009年Z2期

3 馬繼華;韓文哲;;物聯(lián)網(wǎng)的未來會變成“空中樓閣”嗎?[J];信息網(wǎng)絡;2009年10期

4 ;物聯(lián)網(wǎng)系列報道之一 理性物聯(lián)網(wǎng)[J];通信世界;2009年40期

5 李鵬;;物聯(lián)網(wǎng)發(fā)展 標準與應用先行[J];通信世界;2009年40期

6 李鵬;趙經(jīng)緯;;北郵謝東亮 物聯(lián)網(wǎng)需兩顆紅心一種準備[J];通信世界;2009年40期

7 周雙陽;;尋找物聯(lián)網(wǎng)的制高點[J];通信世界;2009年41期

8 張鵬;;物聯(lián)網(wǎng),十年涅i，

本文編號：2032280