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. © 2013 Springer-Verlag.
CITATION STYLE
Tounsi, I., Hadj Kacem, M., & Hadj Kacem, A. (2013). Building correct by construction SOA design patterns: Modeling and refinement. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 7957 LNCS, pp. 33–44). https://doi.org/10.1007/978-3-642-39031-9_4
Mendeley helps you to discover research relevant for your work.