BiCloud-2M: A Combined Bigraph Maude-based Tool for Cloud Specification and Analysis

Provided by: RWSoftware
Topic: Cloud
Format: PDF
Service availability is a challenging issue in cloud computing. It implies continuous reconfiguration of cloud architecture by adding or removing different resources (virtual machines and services) to ensure the suited quality of service. Thus a main goal in cloud systems design is to model and analyze cloud architecture and its dynamic reconfiguration. Based on Bigraphical Reactive Systems (BRS) theory as a semantic framework and Maude language as an executable specification language, the authors propose a tool called BiCloud- 2M offering a formal support for specifying and analyzing cloud architecture systems.

Find By Topic