CTL-based adaptive service composition in edge networks - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue IEEE Transactions on Services Computing Année : 2023

CTL-based adaptive service composition in edge networks

Résumé

With the recent adoption of edge computing, I nternet of T hings ( IoT ) devices collaborate at the network edge to facilitate edge-native applications. In this setting, IoT devices are typically encapsulated as IoT services to encode their functionalities, and their collaboration is achieved through IoT service composition. Due to the continuous resource occupancy, release, and consumption of IoT devices at runtime, a composition, which is functionally compatible and non-functionally optimal at this moment, may not hold in the forthcoming time durations, when certain IoT services may significantly downgrade in their Q uality-of- S ervices ( QoS ). To guarantee the compatibility of compositions with QoS variations, this article proposes an adaptive composition mechanism leveraging C omputation T ree L ogic ( CTL ) specifications. Specifically, we formalize the composition as a temporal task, and convert it to CTL formulae with the abstractions of required functionalities and composite structures. Functional compatibility is formally interpreted by CTL semantics during the execution of compositions. Besides, we construct a QoS D ependency G raph ( QoSDG ) to capture QoS variations, and achieve adaptive composition with dynamic QoS satisfactions. Extensive experiments are conducted upon publicly-available datasets, and comparison results demonstrate that our technique outperforms the state-of-the-art counterparts in heterogenous scenarios with higher QoS dependencies ranging from 0.3 % to 27.8 % .
Fichier non déposé

Dates et versions

hal-04376902 , version 1 (07-01-2024)

Identifiants

Citer

Deng Zhao, Zhangbing Zhou, Patrick Hung, Shuiguang Deng, Xiao Xue, et al.. CTL-based adaptive service composition in edge networks. IEEE Transactions on Services Computing, 2023, 16 (2), pp.1051-1065. ⟨10.1109/TSC.2022.3184013⟩. ⟨hal-04376902⟩
20 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More