Verification of a Self-configuration Protocol for Distributed Applications in the Cloud

Salaün, Gwen; Etchevers, Xavier; Palma, Noël De; Boyer, Fabienne; Coupaye, Thierry

doi:10.1007/978-3-642-36249-1_3

Cited by 15 publications

(16 citation statements)

References 23 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…In [6,7,19], the authors present a protocol that automates the configuration of distributed applications in cloud environments. In these applications, all elements are known from the beginning (e.g., numbers of VMs and components, bindings among components, etc.).…”

Section: Related Workmentioning

confidence: 99%

See 1 more Smart Citation

Verification of a Dynamic Management Protocol for Cloud Applications

Abid

Salaün

Bongiovanni

et al. 2013

Automated Technology for Verification and Analysis

Self Cite

View full text Add to dashboard Cite

Abstract. Cloud applications are composed of a set of interconnected software components distributed over several virtual machines. There is a need for protocols that can dynamically reconfigure such distributed applications. In this paper, we present a novel protocol, which is able to resolve dependencies in these applications, by (dis)connecting and starting/stopping components in a specific order. These virtual machines interact through a publish-subscribe communication media and reconfigure themselves upon demand in a decentralised fashion. Designing such protocols is an error-prone task. Therefore, we decided to specify the protocol with the LNT value-passing process algebra and to verify it using the model checking tools available in the CADP toolbox. As a result, the introduction of formal techniques and tools help to deeply revise the protocol, and these improvements have been taken into account in the corresponding Java implementation.

show abstract

Section: Related Workmentioning

confidence: 99%

“…Existing protocols [6,8,19] mainly focus on self-deployment issues where a model of the application (virtual machines, components, ports, and bindings) to be deployed exists and guides the configuration process. This approach works fine only with specific applications where the application does not need to be changed after deployment.…”

Section: Introductionmentioning

confidence: 99%

Verification of a Dynamic Management Protocol for Cloud Applications

Abid

Salaün

Bongiovanni

et al. 2013

Automated Technology for Verification and Analysis

Self Cite

View full text Add to dashboard Cite

show abstract

“…The deployment of the distributed application in the cloud is included a protocol for self-conguring the virtual application machines. The verication of the self-conguration protocol is done by Gwen et al in [76].…”

Section: Cloud Computing Applicationsmentioning

confidence: 99%

On Service Level Agreement Assurance in Cloud Computing Data Centers

Zainelabden

Ibrahim

Kliazovich

et al. 2016

2016 IEEE 9th International Conference on Cloud Computing (CLOUD)

View full text Add to dashboard Cite

SaaS is providing cloud applications like all the normal classes of applications of normal computing like the web applications, le applications, email applications, real-time applications, highly interactive applications, massive data analysis applications, high performance computing applications and mobile cloud applications. Cloud computing uses the internet data centers to host the applications and data storage and also the processing power in the addition to the virtualization. Clouds are a huge stack of easily and usefully virtualized services and resources (Like software, platform and hardware).These resources are used by people all over the world and dynamically congured to accommodate more and more load and scale to a huge number of users. This stack of resources and services is delivered to the customers by a pay-per-use model which veries that the services provided by the cloud providers are provided by means of service level agreements.In this master thesis, we present an assurance to the service level agreement between the cloud users and the cloud services providers by trying to assess and evaluate the cloud computing data centers services and applications provided to the cloud users. Also we introduce mathematical test models for the web, le, real time and distributed applications. We can use these test models to see the behavior of the applications over a long time.In this master thesis, we classify the cloud applications into 8 dierent classes of applications and then identify the failures and problems which aect these cloud applications.We classify also all failures types which may occur in cloud data centers like network failures, physical server failures, VM unavailability, individual failures racks and individual component failures. We got the important metrics for each class of applications and developed real scenarios for four classes. Then, we introduce dierent failures to these scenarios to see what is the impact in the most important metrics of applications. Then, we simulate these scenarios in Network Simulator 2. Finally, we solved and mitigated the failures in simulation by using two failure mitigation techniques. The rst one is the virtual machine migration and redundancy. The second technique is the forward error correction.Experimental results acquired over the course of this master's thesis give an assessment and verication of the cloud applications services provided by the cloud provider data centers. And also verify that the cloud data center provider gives their users the best services performance and high QoS, we use this verication to assure SLA response times metric and a good quality and performance of services as mentioned inside the SLA document. This verication will be given to the cloud customers.iii iv Acknowledgment "Today don't beg, don't ask, Just thank God in silence; for all the blessings in your life. " Paulo CoelhoThe road to want something is always guided by unseen strong currents of support from people who believe that you will do it what you have set...

show abstract

“…VAMP (Virtual Applications Management Platform) [15,16] is a framework constituted by a language to describe the global structure of the application and an environment to manage the runtime deployment of components. The language extends the OVF (Open Virtualization Format) [17] language, a proposed standard for a uniform format for applications to be run on virtual machines.…”

Section: Related Workmentioning

confidence: 99%

Automatic deployment of component-based applications

Lascu

Mauro

Zavattaro

2015

Science of Computer Programming

View full text Add to dashboard Cite

In distributed systems like those based on cloud or service-oriented frameworks, applications are typically assembled by deploying and connecting a large number of heterogeneous software components, spanning from fine-grained packages to coarse-grained complex services. Automation techniques and tools have been proposed to ease the deployment process of these complex system. By relying on a formal model of components, we describe a sound and complete algorithm for computing the sequence of actions that permits the deployment of a desired configuration even in the presence of circular dependencies among components. We give a proof for the polynomiality of the devised algorithm and exploit it to develop METIS, a tool for computing deployment plans. The validation of METIS has been performed in two ways: on the one hand, by considering artificial scenarios consisting of a huge number of different components synthesized by following typical configuration patterns and, on the other hand, by exploiting it to deploy real-life installations of a WordPress blogging service.

show abstract

Verification of a Self-configuration Protocol for Distributed Applications in the Cloud

Cited by 15 publications

References 23 publications

Verification of a Dynamic Management Protocol for Cloud Applications

Verification of a Dynamic Management Protocol for Cloud Applications

On Service Level Agreement Assurance in Cloud Computing Data Centers

Automatic deployment of component-based applications

Contact Info

Product

Resources

About