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

【摘要】：物聯(lián)網(wǎng)是一個(gè)集計(jì)算、通信和控制于一體的智能系統(tǒng),它通過(guò)監(jiān)控和收集物理進(jìn)程信息并將這些信息進(jìn)行計(jì)算和分析,最終生成正確的控制指令用以執(zhí)行,從而使物理環(huán)境變得更加安全和可靠。在物聯(lián)網(wǎng)中,各物體通過(guò)網(wǎng)絡(luò)連接或者本地連接的方式進(jìn)行交互,這些交互具有時(shí)間性和地域性。物聯(lián)網(wǎng)的建模和驗(yàn)證是物聯(lián)網(wǎng)研究中一個(gè)重要的領(lǐng)域。文中提出一種基于實(shí)時(shí)UML順序圖的物聯(lián)網(wǎng)交互模型,該模型將物聯(lián)網(wǎng)中所有參與交互的物體建模為交互對(duì)象,并且通過(guò)實(shí)時(shí)UML順序圖對(duì)交互對(duì)象間的交互進(jìn)行建模。使用時(shí)間自動(dòng)機(jī)對(duì)交互對(duì)象的內(nèi)部狀態(tài)變化進(jìn)行建模,以形成對(duì)交互模型的補(bǔ)充。最后根據(jù)轉(zhuǎn)換規(guī)則將交互模型轉(zhuǎn)換為時(shí)間自動(dòng)機(jī)的形式以便于驗(yàn)證。通過(guò)一個(gè)實(shí)例,顯示了如何具體應(yīng)用物聯(lián)網(wǎng)交互模型。進(jìn)一步提出了物聯(lián)網(wǎng)系統(tǒng)應(yīng)該滿足的一些性質(zhì),并使用UPPAAL模型檢測(cè)工具對(duì)物聯(lián)網(wǎng)交互模型進(jìn)行分析和驗(yàn)證。
[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.
【作者單位】： 華東理工大學(xué)計(jì)算機(jī)科學(xué)與工程學(xué)院;上海計(jì)算機(jī)軟件評(píng)測(cè)重點(diǎn)實(shí)驗(yàn)室;
【基金】：國(guó)家自然科學(xué)基金(61173048,61073107)資助
【分類號(hào)】：TP391.44;TN929.5

【相似文獻(xiàn)】

相關(guān)期刊論文 前10條

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

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

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

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

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

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

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

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

本文編號(hào)：2032280