Building correct by construction SOA design patterns: modeling and refinement

Authors:
Imen Tounsi;Mohamed Hadj Kacem;Ahmed Hadj Kacem
Affiliations:
ReDCAD-Research Unit, University of Sfax, Sfax, Tunisia;ReDCAD-Research Unit, University of Sfax, Sfax, Tunisia;ReDCAD-Research Unit, University of Sfax, Sfax, Tunisia
Venue:
ECSA'13 Proceedings of the 7th European conference on Software Architecture
Year:
2013

Citing 6
Cited 0

Design patterns: elements of reusable object-oriented software

Design patterns: elements of reusable object-oriented software
Design pattern modelling and instantiation using DPML

CRPIT '02 Proceedings of the Fortieth International Conference on Tools Pacific: Objects for internet, mobile and embedded applications
Enterprise Integration Patterns: Designing, Building, and Deploying Messaging Solutions

Enterprise Integration Patterns: Designing, Building, and Deploying Messaging Solutions
SOA Design Patterns

SOA Design Patterns
Modeling in Event-B: System and Software Engineering

Modeling in Event-B: System and Software Engineering
Laws of pattern composition

ICFEM'10 Proceedings of the 12th international conference on Formal engineering methods and software engineering

Quantified Score

Hi-index	0.00

Visualization

Abstract

Modeling SOA design patterns with a standard formal notation avoids misunderstanding by software architects and helps endow design methods with refinement approaches for mastering system architectures complexity. In this paper, we propose a formal architecture-centric approach that aims to model message-oriented SOA design patterns with the SoaML standard language. Pattern models are developed in a stepwise manner which are then automatically translated into Event-B specifications that can be proved using the Rodin theorem prover. These two steps are performed before undertaking the effective coding of a design pattern providing correct by construction solutions. Our approach is experimented through pattern examples.