Towards an approach for modeling and formalizing SOA design patterns with Event-B

Authors:
Imen Tounsi;Mohamed Hadj Kacem;Ahmed Hadj Kacem;Khalil Drira;Emna Mezghani
Affiliations:
University of Sfax, ReDCAD-Research unit, Sfax, Tunisia;University of Sfax, ReDCAD-Research unit, Sfax, Tunisia;University of Sfax, ReDCAD-Research unit, Sfax, Tunisia;CNRS, LAAS, colonel Roche, Toulouse, France and Univ de Toulouse, LAAS, Toulouse, France;CNRS, LAAS, Toulouse, France and Univ de Toulouse, LAAS, Toulouse, France
Venue:
Proceedings of the 28th Annual ACM Symposium on Applied Computing
Year:
2013

Citing 7
Cited 0

Design patterns: elements of reusable object-oriented software

Design patterns: elements of reusable object-oriented software
Enterprise Integration Patterns: Designing, Building, and Deploying Messaging Solutions

Enterprise Integration Patterns: Designing, Building, and Deploying Messaging Solutions
Composing pattern-based components and verifying correctness

Journal of Systems and Software
SOA Design Patterns

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

Modeling in Event-B: System and Software Engineering
Rodin: an open toolset for modelling and reasoning in Event-B

International Journal on Software Tools for Technology Transfer (STTT) - Special Section on VSTTE 2008
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

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.