Search
 
loader loading subjects...
cover
Towards a Formal Verification Approach for Cloud Software Architecture
Amal Ayach, Layth Sliman, Mourad Kmimech, Mohamed Tahar Bhiri, Badran Raddaoui
490 - 502
10.3233/978-1-61499-800-6-490
Frontiers in Artificial Intelligence and Applications
Volume 297: New Trends in Intelligent Software Methodologies, Tools and Techniques
Abstract

Behavioral consistency of cloud architectures is one of the pivotal challenges in cloud computing. In this paper, we propose a new approach for checking the behavioral consistency of the topology and orchestration of cloud computing. To do so, we choose TOSCA language in order to describe the cloud application. Then, we exploit the Wright ADL that encompasses the CSP language to check the consistency of cloud architectures using FDR2 model-checker.

$35.00 / €27.50 / £22.00
Add PDF to cart