Towards a formal verification approach for service component architecture - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2017

Towards a formal verification approach for service component architecture

Résumé

Service Component Architectures (SCA) is widely used for the integration of heterogeneous applications. This heterogeneity, added to the distributed aspect of SCA, can be a source of behavioral mismatches. In this paper, we present a new approach for behavioral verification of SCA software architectures. More precisely, we propose a translation of a SCA source model to a Wright ADL configuration. In order to facilitate this translation, a guiding script and translation rules are introduced. Then, by using the wr2fdr tool, the translation of this wright configuration to a CSP specification is done. Finally, the FDR2 model-checker simulates and checks the obtained specification
Fichier non déposé

Dates et versions

hal-01702712 , version 1 (07-02-2018)

Identifiants

Citer

Wael Chargui, Taoufik Sakka Rouis, Mourad Kmimech, Mohamed Tahar Bhiri, Layth Sliman, et al.. Towards a formal verification approach for service component architecture. SOMET 2017: 16th International Conference on Intelligent Software Methodologies, Tools, and Techniques, Sep 2017, Kitakyushu, Japan. pp.466 - 479, ⟨10.3233/978-1-61499-800-6-466⟩. ⟨hal-01702712⟩
87 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More