Building Correct by Construction SOA Design Patterns: Modeling and Refinement

  • Imen Tounsi
  • Mohamed Hadj Kacem
  • Ahmed Hadj Kacem
Part of the Lecture Notes in Computer Science book series (LNCS, volume 7957)


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.


Design patterns SoaML modeling Event-B method Pattern transformation 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Abrial, J.-R.: Modeling in Event-B: System and Software Engineering, 1st edn. Cambridge University Press, New York (2010)zbMATHCrossRefGoogle Scholar
  2. 2.
    Blazy, S., Gervais, F., Laleau, R.: Reuse of specification patterns with the B method. CoRR, abs/cs/0610097 (2006)Google Scholar
  3. 3.
    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)Google Scholar
  4. 4.
    Erl, T.: SOA Design Patterns, 1st edn. The Prentice Hall Service-Oriented Computing Series from Thomas Erl. Prentice Hall PTR (2009)Google Scholar
  5. 5.
    Gamma, E., Helm, R., Johnson, R.E., Vlissides, J.: Design Patterns: Elements of Reusable Object-Oriented Software. Addison-Wesley, Reading (1995)Google Scholar
  6. 6.
    Hohpe, G., Woolf, B.: Enterprise Integration Patterns - Designing, Building, and Deploying Messaging Solutions. Addison-Wesley (2003)Google Scholar
  7. 7.
    Kim, S.-K., Carrington, D.A.: A formalism to describe design patterns based on role concepts. Formal Asp. Comput. 21(5), 397–420 (2009)zbMATHCrossRefGoogle Scholar
  8. 8.
    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)Google Scholar
  9. 9.
    OMG: Service oriented architecture Modeling Language (SoaML) Specification. Technical report (2012)Google Scholar
  10. 10.
    Taibi, T., Ngo, D.C.L.: Formal specification of design pattern combination using BPSL. Information and Software Technology 45(3), 157–170 (2003)CrossRefGoogle Scholar
  11. 11.
    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)Google Scholar
  12. 12.
    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)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2013

Authors and Affiliations

  • Imen Tounsi
    • 1
  • Mohamed Hadj Kacem
    • 1
  • Ahmed Hadj Kacem
    • 1
  1. 1.ReDCAD-Research UnitUniversity of SfaxSfaxTunisia

Personalised recommendations