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 C ompositional S ignal T emporal L ogic ( 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.

中文翻译：

---

CSTL：用于自适应边缘服务监控的组合信号时间逻辑

边缘服务监控对于保证边缘服务至关重要运行时服务组合的健康状况。当前的技术主要集中于原子边缘服务的监控，但不足以监控间服务和复合服务。此外，要监视的约束通常是预先指定的，尽管某些参数可能必须根据执行上下文在线调整。为了应对这些挑战，本文将边缘服务监控问题表述为时间约束和时间相关的解释对内部、外部和组合服务的 QoS 约束。利用我们提出的作曲信号时间性逻辑（ CSTL）具有扩展的组合模式和在线参数设置，开发了一种自适应监控机制，其中约束被转换为CSTL 公式，以及QoS 变化和时间违规在运行时进行定性和定量解释。在公开的数据集上进行了大量的实验，评估结果表明CSTL 在表达性、适用性和鲁棒性方面比基线技术表现更好。