Modeling and refinement SOA design patterns with Event-B method - LAAS-Réseaux et Communications Accéder directement au contenu
Rapport Année : 2012

Modeling and refinement SOA design patterns with Event-B method

Résumé

Using design patterns has become increasingly popular. Most design patterns are proposed in an informal way, which can give rise to ambiguity and may lead to incorrect usage. Patterns, proposed by the SOA design pattern community, are described with an appropriate notation. So they require modeling with a standard notation and then formalization. In this paper, we propose a formal architecture-centric approach that aims 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 language. These two steps are performed before undertaking the effective coding of a design pattern providing correct by design solutions. 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.
Fichier principal
Vignette du fichier
PapierICEIS_version2.pdf (587.23 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-00676203 , version 1 (03-03-2012)

Identifiants

  • HAL Id : hal-00676203 , version 1

Citer

Imen Tounsi, Mohamed Hadj Kacem, Ahmed Hadj Kacem, Khalil Drira. Modeling and refinement SOA design patterns with Event-B method. 2012. ⟨hal-00676203⟩
358 Consultations
634 Téléchargements

Partager

Gmail Facebook X LinkedIn More