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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Abrial, J.-R.: Modeling in Event-B: System and Software Engineering, 1st edn. Cambridge University Press, New York (2010)
Blazy, S., Gervais, F., Laleau, R.: Reuse of specification patterns with the B method. CoRR, abs/cs/0610097 (2006)
Dong, J., Alencar, P.S.C., Cowan, D.D.: A behavioral analysis and verification approach to pattern-based design composition. Software and System Modeling, 262–272 (2004)
Erl, T.: SOA Design Patterns, 1st edn. The Prentice Hall Service-Oriented Computing Series from Thomas Erl. Prentice Hall PTR (2009)
Gamma, E., Helm, R., Johnson, R.E., Vlissides, J.: Design Patterns: Elements of Reusable Object-Oriented Software. Addison-Wesley, Reading (1995)
Hohpe, G., Woolf, B.: Enterprise Integration Patterns - Designing, Building, and Deploying Messaging Solutions. Addison-Wesley (2003)
Kim, S.-K., Carrington, D.A.: A formalism to describe design patterns based on role concepts. Formal Asp. Comput. 21(5), 397–420 (2009)
Mapelsden, D., Hosking, J., Grundy, J.: Design pattern modelling and instantiation using DPML. In: 40th International Conference on Tools Pacific: Objects for Internet, Mobile and Embedded Applications, CRPIT 2002, pp. 3–11. Australian Computer Society, Inc. (2002)
OMG: Service oriented architecture Modeling Language (SoaML) Specification. Technical report (2012)
Taibi, T., Ngo, D.C.L.: Formal specification of design pattern combination using BPSL. Information and Software Technology 45(3), 157–170 (2003)
Tounsi, I., Hrichi, Z., Hadj Kacem, M., Hadj Kacem, A., Drira, K.: Using SoaML Models and Event-B Specifications for Modeling SOA Design Patterns. In: 15th International Conference on Enterprise Information Systems, ICEIS 2013 (to appear, 2013)
Zhu, H., Bayley, I.: Laws of pattern composition. In: Dong, J.S., Zhu, H. (eds.) ICFEM 2010. LNCS, vol. 6447, pp. 630–645. Springer, Heidelberg (2010)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2013 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Tounsi, I., Hadj Kacem, M., Hadj Kacem, A. (2013). Building Correct by Construction SOA Design Patterns: Modeling and Refinement. In: Drira, K. (eds) Software Architecture. ECSA 2013. Lecture Notes in Computer Science, vol 7957. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-39031-9_4
Download citation
DOI: https://doi.org/10.1007/978-3-642-39031-9_4
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-39030-2
Online ISBN: 978-3-642-39031-9
eBook Packages: Computer ScienceComputer Science (R0)