An Approach for Modeling and Formalizing SOA Design Patterns

Imen Tounsi (1) , Mohamed Hadj Kacem (2) , Ahmed Hadj Kacem (1) , Khalil Drira (3)

1 REDCAD - Unité de Recherche en développement et contrôle d'applications distribuées
2 ReDCAD
3 LAAS-SARA - Équipe Services et Architectures pour Réseaux Avancés

Although design patterns has 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. Modeling 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 architecture-centric 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 patternbased 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.

Mots clés: SOA Design Patterns: SoaML modeling: Formal methods: Event-B method

Domaines: Architectures Matérielles [cs.AR]

Imen Tounsi, Mohamed Hadj Kacem, Ahmed Hadj Kacem, Khalil Drira. An Approach for Modeling and Formalizing SOA Design Patterns. IEEE International Conference on Enabling Technologies: Infrastructures for Collaborative Enterprises ( WETICE ), Jun 2013, Hammamet, Tunisia. 11p. ⟨hal-00801395⟩