Conceptual Modelling of Autonomous Multi-cloud Interaction with Reflective Semantics

Buga, Andreea; Nemeş, Sorana Tania; Schewe, Klaus‐Dieter

doi:10.1007/978-3-319-69904-2_10

Cited by 4 publications

(1 citation statement)

References 20 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…After reporting the issue, the monitor moves to the Log data state. The ground model of the module has been detailed previously also in [22].…”

Section: Specification Of the Monitoring Solutionmentioning

confidence: 99%

Addressing Client Needs for Cloud Computing using Formal Foundations

Buga¹,

Nemeş²,

Mashkoor³

2018

Preprint

Self Cite

View full text Add to dashboard Cite

Cloud-enabled large-scale distributed systems orchestrate resources and services from various providers in order to deliver highquality software solutions to the end users. The space and structure created by such technological advancements are immense sources of information and impose a high complexity and heterogeneity, which might lead to unexpected failures. In this chapter, we present a model that coordinates the multi-cloud interaction through the specification, validation, and verification of a middleware exploiting monitoring and adaptation processes. The monitoring processes handle collecting meaningful data and assessing the state of components, while the adaptation processes restore the system as dictated by the evolution needs and sudden changes in the operating environment conditions. We employ Abstract State Machines to specify the models and we further make use of the ASMETA framework to simulate and validate them. Desired properties of the system are defined and analysed with the aid of the Computation Tree Logic.

show abstract

“…After reporting the issue, the monitor moves to the Log data state. The ground model of the module has been detailed previously also in [22].…”

Section: Specification Of the Monitoring Solutionmentioning

confidence: 99%