Towards a Formal Verification Approach for Cloud Software Architecture

被引：0

作者：

Ayach, Amal ^{[1
]}

Sliman, Layth ^{[2
]}

Kmimech, Mourad ^{[3
]}

Bhiri, Mohamed Tahar ^{[4
]}

Raddaoui, Badran ^{[5
]}

机构：

[1] Fac Sci Monastir, Monastir, Tunisia

[2] Efrei Ecole Ingenieur Generaliste Informat, F-94800 Villejuif, France

[3] Univ Tunis El Manar, ENIT, UR OASIS, Tunis, Tunisia

[4] Pole Technol Sfax, Lab Miracl ISIMS, Sakiet Ezzit Sfax, Tunisia

[5] Univ Paris Saclay, CNRS, Telecom SudParis, SAMOVAR, Evry, France

来源：

NEW TRENDS IN INTELLIGENT SOFTWARE METHODOLOGIES, TOOLS AND TECHNIQUES | 2017年 / 297卷

关键词：

cloud computing; ADL; verification; behavior consistency; TOSCA;

D O I：

10.3233/978-1-61499-800-6-490

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

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.

引用

页码：490 / 502

页数：13

共 50 条

[1] Towards a Formal Verification Approach for Service Component Architecture
Chargui, Wael
Rouis, Taoufik Sakka
Kmimech, Mourad
Bhiri, Mohamed Tahar
Sliman, Layth
Raddaoui, Badran
[J]. NEW TRENDS IN INTELLIGENT SOFTWARE METHODOLOGIES, TOOLS AND TECHNIQUES, 2017, 297 : 466 - 479
[2] Towards a Formal Approach for the Verification of SCA/BPEL Software Architectures
Taoufik, Sakka Rouis
Tahar, Bhiri Mohamed
Layth, Sliman
Mourad, Kmimech
[J]. 2017 8TH INTERNATIONAL CONFERENCE ON INFORMATION, INTELLIGENCE, SYSTEMS & APPLICATIONS (IISA), 2017, : 487 - 492
[3] Towards Formal Verification of a TPM Software Stack
Ziani, Yani
Kosmatov, Nikolai
Loulergue, Frederic
Perez, Daniel Gracia
Bernier, Teo
[J]. INTEGRATED FORMAL METHODS, IFM 2023, 2024, 14300 : 93 - 112
[4] A Research Landscape on Formal Verification of Software Architecture Descriptions
Araujo, Camila
Cavalcante, Everton
Batista, Thais
Oliveira, Marcel
Oquendo, Flavio
[J]. IEEE ACCESS, 2019, 7 : 171752 - 171764
[5] A formal approach to distributed software architecture
He, J
Fang, DY
Qin, Z
[J]. 2002 IEEE REGION 10 CONFERENCE ON COMPUTERS, COMMUNICATIONS, CONTROL AND POWER ENGINEERING, VOLS I-III, PROCEEDINGS, 2002, : 342 - 346
[6] A Formal Approach for Cloud Composite Services Verification
Lahouij, Aida
Hamel, Lazhar
Graiet, Mohamed
El Malki, Mohammed
[J]. 2018 IEEE 11TH CONFERENCE ON SERVICE-ORIENTED COMPUTING AND APPLICATIONS (SOCA), 2018, : 161 - 168
[7] A comparative study of formal verification techniques for software architecture specifications
Tsai, JJP
Xu, K
[J]. ANNALS OF SOFTWARE ENGINEERING, 2000, 10 : 207 - 223
[8] A formal approach towards systems modeling and verification
Bhattacharyya, J
Chaudhuri, AD
Bhattacharya, S
[J]. IEEE TENCON 2003: CONFERENCE ON CONVERGENT TECHNOLOGIES FOR THE ASIA-PACIFIC REGION, VOLS 1-4, 2003, : 178 - 182
[9] Towards a Formal Approach to Mobile Cloud Computing
Amoretti, Michele
Grazioli, Alessandro
Zanichelli, Francesco
Senni, Valerio
Tiezzi, Francesco
[J]. 2014 22ND EUROMICRO INTERNATIONAL CONFERENCE ON PARALLEL, DISTRIBUTED, AND NETWORK-BASED PROCESSING (PDP 2014), 2014, : 743 - 750
[10] Towards formal verification of cryptographic circuits: A functional approach
Bitat, Abir
Merniz, Salah
[J]. 2018 3RD INTERNATIONAL CONFERENCE ON PATTERN ANALYSIS AND INTELLIGENT SYSTEMS (PAIS), 2018, : 158 - 163

← 1 2 3 4 5 →