Using SoaML Models and Event-B Specifications for Modeling SOA Design PatternsReport as inadecuate




Using SoaML Models and Event-B Specifications for Modeling SOA Design Patterns - Download this document for free, or read online. Document in PDF available to download.

* Corresponding author 1 REDCAD - Unité de Recherche en développement et contrôle d-applications distribuées 2 ReDCAD REDCAD - Unité de Recherche en développement et contrôle d-applications distribuées 3 LAAS-SARA - Équipe Services et Architectures pour Réseaux Avancés LAAS - Laboratoire d-analyse et d-architecture des systèmes Toulouse

Abstract : Although design patterns have become increasingly popular, most of them are presented in an informal way. Patterns, proposed by the SOA design pattern community, are described 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 misunderstanding 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 language, 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. Specification results are imported under the Rodin platform which we use to prove model consistency.

keyword : SOA Design patterns: SoaML modeling: Formal methods: Event-B method: Tool support





Author: Imen Tounsi - Hrichi Zied - Mohamed Hadj Kacem - Ahmed Hadj Kacem - Khalil Drira -

Source: https://hal.archives-ouvertes.fr/



DOWNLOAD PDF




Related documents