Article Dans Une Revue International journal of advanced computer science and applications (IJACSA) Année : 2025

An Event-B Capability-Centric Model for Cloud Service Discovery

Résumé

Cloud computing has become increasingly adopted due to its ability to provide on-demand access to computing resources. However, the proliferation of cloud service offerings has introduced significant challenges in service discovery. Existing cloud service discovery approaches are often evaluated solely through simulation or experimentation and typically rely on unstructured service descriptions, which limits their precision and scalability. In this work, we address these limitations by proposing a formally verified architecture for capabilitycentric cloud service discovery, grounded in the Event-B method. The architecture is built upon a capabilitycentric service description model that captures service semantics through property-value representations. A core element of this model is the formally verified variantOf relation, which defines specialization among services. We prove that variantOf satisfies the properties of a partial order, enabling services to be structured as a Directed Acyclic Graph (DAG) and thus supporting hierarchical and scalable discovery. We formally verify the consistency of our model across multiple refinement levels. All proof obligations generated by the Rodin platform were successfully discharged. A scenario-based validation further confirms the correctness of dynamic operations within the system.

Fichier principal
Vignette du fichier
Sid'ElmostapheGJGN25.pdf (555.54 Ko) Télécharger le fichier
Sid'ElmostapheGJGN25 (1).pdf (555.54 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Licence

Dates et versions

hal-05142895 , version 1 (03-07-2025)

Licence

Identifiants

Citer

Aicha Sid’elmostaphe, J Paul Gibson, Imen Jerbi, Walid Gaaloul, Mohamedade Farouk Nanne. An Event-B Capability-Centric Model for Cloud Service Discovery. International journal of advanced computer science and applications (IJACSA), 2025, 16 (5), ⟨10.14569/ijacsa.2025.0160592⟩. ⟨hal-05142895⟩
258 Consultations
184 Téléchargements

Altmetric

Partager

  • More