Using SoaML Models and Event-B Specifications for Modeling SOA Design Patterns
Imen Tounsi, Hrichi Zied, Mohamed Hadj Kacem, Ahmed Hadj Kacem, Khalil Drira · 2013
Abstract. Although design patterns have become increasingly popular, most of them are pre-sented in an informal way. Patterns, proposed by the SOA design pattern community, are de-scribed with a proprietary informal notation, which can raise ambiguity and may lead to their incorrect usage. Modeling SOA design patterns with a standard formal notation avoids misun-derstanding by software architects and helps endow design methods. In this paper, we present an approach that aims, first, to model message-oriented SOA design patterns with the SoaML lan-guage, and second to transform them to Event-B specifications. 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 enhanced with a tool supporting it. Speci-fication results are imported under the Rodin platform which we use to prove model consistency.