CSTL: Compositional Signal Temporal Logic for Adaptive Edge Service Monitoring

Deng Zhao,Zhangbing Zhou, Wenbo Zhang,Shuiguang Deng, Xiao Xue,Walid Gaaloul

IEEE TRANSACTIONS ON SERVICES COMPUTING(2024)

引用 0|浏览6
暂无评分
摘要
Edge service monitoring is essential to guarantee the healthy of service compositions at runtime. Current techniques focus mostly on the monitoring of atomic edge services, but they are inadequate for that of inter- and composite services. Besides, constraints to be monitored are usually pre-specified, although certain parameters may have to be adapted online according to the execution context. To address these challenges, this paper formulates the problem of edge service monitoring as the interpretation of temporal constraints and time-dependent QoS constraints upon intra-, inter-, and composite services. Leveraging our proposed Compositional Signal Temporal Logic (CSTL) with extended compositional modalities and online parameter settings, an adaptive monitoring mechanism is developed, where constraints are converted to CSTL formulae, and QoS variations and temporal violations are interpreted qualitatively and quantitatively at runtime. Extensive experiments are conducted upon publicly-available datasets, and evaluation results show that CSTL performs better than baseline techniques in terms of expressiveness, applicability, and robustness.
更多
查看译文
关键词
Monitoring,Quality of service,Runtime,Internet of Things,Robustness,Telecommunications,Task analysis,Adaptive monitoring,Compositional STL,edge service composition,qualitative and quantitative satisfaction
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络
Chat Paper
正在生成论文摘要