Towards an approach for modeling and formalizing SOA design patterns with Event-B
Imen Tounsi, Mohamed Hadj Kacem, Ahmed Hadj Kacem, Khalil Drira, Emna Mezghani · 2013
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.