Abstract | ||
---|---|---|
AbstractControlling cloud resources provisioning for time critical applications is crucial to meet required quality of service (QoS) of modern applications. Both computational resources capabilities and network bandwidth should be considered to accurately serve practical needs, while complying relevant constraints. The objective of this work is to show how to add time constructs to the bigraphical reactive systems (BRSs) formalism, in order to describe and analyse the execution of cloud applications having temporal constraints. In particular, we are interested in the cloud resource allocation problem to meet end user requests while considering network deadline, as well as the service processing time. The proposed time-aware BRS model is then integrated in the Real-Time Maude language and its TCTL model checker in order to obtain an executable and analysable specification of cloud applications having temporal constraints. |
Year | DOI | Venue |
---|---|---|
2019 | 10.1504/ijccbs.2019.106818 | Periodicals |
DocType | Volume | Issue |
Journal | 9 | 4 |
ISSN | Citations | PageRank |
1757-8779 | 0 | 0.34 |
References | Authors | |
0 | 2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Fateh Latreche | 1 | 1 | 2.40 |
Faiza Belala | 2 | 46 | 20.89 |