TY  - BOOK
AU  - Tounsi,Imen
AU  - Kacem,Mohamed Hadj
AU  - Kacem,Ahmed Hadj
AU  - Drira,Khalil
TI  - A refinement-based approach for building valid SOA design patterns
SN  - 2043-9989
AV  - QA76.S85 INT 
PY  - 2015///
CY  - United Kingdom
PB  - Inderscience
KW  - SOA design patterns
KW  - SoaML modelling
KW  - Formal methods
N2  - Although design patterns have become increasingly popular, most of them are presented in an informal way, which can give rise to ambiguity and may lead to their incorrect usage. Patterns proposed by the SOA design pattern community are described with informal visual notations. Modelling SOA design patterns with a standard formal notation contributes to avoid misunderstanding by software architects and helps endowing design methods with refinement approaches for mastering system architectures complexity. In this paper, we present a formal refinement-based approach that aims, first, to model message-oriented SOA design patterns with the SoaML standard language, and second to formally specify these patterns at a high level of abstraction using the Event-B method. These two steps are performed before undertaking the effective coding of a design pattern providing correct by construction pattern-based software architectures. Our approach is experimented through an example we present in this paper. We implemented our approach under the Rodin platform, which we use to prove model consistency
UR  - https://doi.org/10.1504/IJCC.2015.067705
ER  -