@inproceedings{10871f789f0d47d396f6717595199d1c,
title = "Towards a formal verification approach for cloud software architecture",
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.",
keywords = "ADL, Behavior consistency, Cloud computing, Verification",
author = "Amal Ayach and Layth Sliman and Mourad Kmimech and Bhiri, \{Mohamed Tahar\} and Badran Raddaoui",
note = "Publisher Copyright: {\textcopyright} 2017 The authors and IOS Press. All rights reserved.; 16th International Conference on New Trends in Intelligent Software Methodology Tools, and Techniques, SoMeT 2017 ; Conference date: 26-09-2017 Through 28-09-2017",
year = "2017",
month = jan,
day = "1",
doi = "10.3233/978-1-61499-800-6-490",
language = "English",
series = "Frontiers in Artificial Intelligence and Applications",
publisher = "IOS Press BV",
pages = "490--502",
editor = "Hamido Fujita and Ali Selamat and Sigeru Omatu",
booktitle = "New Trends in Intelligent Software Methodologies, Tools and Techniques - Proceedings of the 16th International Conference, SoMeT 2017",
}