Behavioral verification of Service Component Architecture - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2017

Behavioral verification of Service Component Architecture

Résumé

Currently, much research looks at treating the behavior properties beginning with the architectural design phase in SCA (Software Component Architectures) based applications. In this paper,we propose to map SCA onto the Wright ADL in order to verify the behavioral consistency of SCA software architectures. To achieve this goal, we suggest translating this source software architecture into a Wright configuration. Using Wr2fdr tool, this Wright configuration can be automatically translated to a CSP specification acceptable by the FDR2 model-checker
Fichier non déposé

Dates et versions

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

Identifiants

Citer

Wael Chargui, Taoufik Sakka Rouis, Mourad Kmimech, Mohamed Tahar Bhiri, Layth Sliman, et al.. Behavioral verification of Service Component Architecture. WETICE 2017: 26th International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, Jun 2017, Poznan, Poland. pp.239 - 241, ⟨10.1109/WETICE.2017.65⟩. ⟨hal-01702725⟩
69 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More