A refinement-based approach for building valid SOA design patterns

Abstract

Although design patterns have become increasingly popular, most of them are proposed 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 renement approaches for mastering system architectures complexity. In this paper, we present a formal renement-based approach that aims, rst, 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 eective coding of a design pattern providing correct by construction pattern-based 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.

Modeling IoT Design Patterns Proven Correct by Construction

“…However, there is no consensus on the specification of the patterns. Tounsi et al [12,13,15] focused on both the modeling, the formal specification and the composition of SOA design patterns [14] and established the link between them with an automatic transformation. They used the SoaML language for the pattern modeling that ease the understanding of pattern models.…”

Modeling and Specification of Bootstrapping and Registration Design Patterns for IoT Applications

“…In past work [11,13] we focused on both the modeling, the formal specification and the composition of SOA design patterns [12,14] and established the link between them with an automatic transformation [15]. We used the SoaML language for the pattern modeling that ease the understanding of pattern models.…”