Towards an Approach for Modeling and Formalizing SOA Design Patterns with Event-B

Imen Tounsi (1) , Mohamed Hadj Kacem (2) , Ahmed Hadj Kacem (2) , 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

This paper introduces a formal architecture-centric approach, which allows 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. We implement our approach under the Rodin platform which we use to prove model consistency.

Mots clés: Design patterns: SoaML modeling: Event-B method

Domaines: Architectures Matérielles [cs.AR]

Imen Tounsi, Mohamed Hadj Kacem, Ahmed Hadj Kacem, Khalil Drira. Towards an Approach for Modeling and Formalizing SOA Design Patterns with Event-B. The 28 th Annual ACM Symposium on Applied Computing, Mar 2013, Coimbra, Portugal. 3p. ⟨hal-00759840⟩