聚合型時序邏輯驅(qū)動的復(fù)合服務(wù)聯(lián)動定量監(jiān)測

摘要： 近年來,面向服務(wù)的物聯(lián)網(wǎng)體系架構(gòu)受到學(xué)術(shù)界和工業(yè)界的廣泛關(guān)注.通過把物聯(lián)網(wǎng)資源虛擬化為智能物聯(lián)網(wǎng)服務(wù),動態(tài)互聯(lián)并融合協(xié)同這些資源受限且動態(tài)演進的物聯(lián)網(wǎng)服務(wù),從而構(gòu)建物聯(lián)網(wǎng)應(yīng)用,已成為一種被普遍認(rèn)可且靈活有效的機制.面向邊緣設(shè)備資源稀缺且動態(tài)時變,物聯(lián)網(wǎng)服務(wù)在其執(zhí)行過程中可能發(fā)生QoS變化或資源失配,致使物聯(lián)網(wǎng)應(yīng)用難以繼續(xù)或可能誘使故障發(fā)生.因此,實現(xiàn)物聯(lián)網(wǎng)服務(wù)的實時定量監(jiān)測,已... （共33頁）

物聯(lián)網(wǎng)服務(wù) 復(fù)合服務(wù) 定量監(jiān)測 實時監(jiān)測 信號時序邏輯