@inproceedings{f8e75e8526414c0ea4102d3d269ddf9a,
title = "Behavioral verification of service component architecture",
abstract = "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 verifythe behavioral consistency of SCA software architectures. To achieve this goal, we suggesttranslating this source software architecture into a Wright configuration. Using Wr2fdrtool, this Wright configuration can be automatically translated to a CSP specificationacceptable by the FDR2 model-checker.",
keywords = "ADL, Behavior, FDR2, Model-checker, SCA, Software architecture, Verification",
author = "Wael Chargui and Rouis, \{Taoufik Sakka\} and Mourad Kmimech and Bhiri, \{Mohamed Tahar\} and Layth Sliman and Badran Raddaoui",
note = "Publisher Copyright: {\textcopyright} 2017 IEEE.; 26th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, WETICE 2017 ; Conference date: 21-06-2017 Through 23-06-2017",
year = "2017",
month = aug,
day = "7",
doi = "10.1109/WETICE.2017.65",
language = "English",
series = "Proceedings - 2017 IEEE 26th International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, WETICE 2017",
publisher = "Institute of Electrical and Electronics Engineers Inc.",
pages = "239--241",
editor = "Wojciech Cellary and MariaGrazia Fugini and Sumitra Reddy",
booktitle = "Proceedings - 2017 IEEE 26th International Conference on Enabling Technologies",
}