Formalization of SOA Design Patterns Using Model-Based Specification Technique

  • Ashish Kumar DwivediEmail author
  • Santanu Kumar Rath
  • Srinivasa L. Chakravarthy
Conference paper
Part of the Lecture Notes on Data Engineering and Communications Technologies book series (LNDECT, volume 28)


Due to the increase in the complexity of the current system, the need for developing solution of recurring design problems becomes more prominent. Nowadays, various analysis and design methodologies are available to resolve the complexity of the modern system. But most of them are informal and semiformal in nature. One of them is design pattern that produces reusable solution for the recurring design problem. Solution based on design pattern is specified by using UML diagrams, which are further analyzed by using formal notation, because UML is semiformal in nature. In this study, the analysis of the behavioral aspect of service-oriented architecture design pattern is presented. For the formalization of pattern notations, object modeling language, i.e., Alloy, has been used. For demonstrating the proposed approach, a case study, i.e., purchase order system, has been taken into consideration.


Alloy Design patterns Formal methods SOA 


  1. 1.
    Gamma E, Helm R, Johnson R, Vlissides J (1995) Design patterns: elements of reusable object-oriented software. Addison-WesleyGoogle Scholar
  2. 2.
    Erl T (2009) SOA design patterns, 1st edn. Prentice Hall PTR, Upper Saddle River, NJ, USAGoogle Scholar
  3. 3.
    Woodcock J, Larsen PG, Bicarregui J, Fitzgerald J (2009) Formal methods: practice and experience. ACM Comput Surv (CSUR) 41:1–36CrossRefGoogle Scholar
  4. 4.
    Jackson D (2002) Alloy: a lightweight object modeling notation. ACM Trans Softw Eng Methodol 11:256–290CrossRefGoogle Scholar
  5. 5.
    Group SD (2010) Alloy analyzer 4.
  6. 6.
    Tounsi I, Hadj Kacem M, Hadj Kacem A, Drira K (2015) A refinement-based approach for building valid soa design patterns. Int J Cloud Comput 24:78–104CrossRefGoogle Scholar
  7. 7.
    Dong J, Yang S, Zhang K (2007) Visualizing design patterns in their applications and compositions. Softw Eng, IEEE Trans 33:433–453CrossRefGoogle Scholar
  8. 8.
    Kim SK, Carrington D (2009) A formalism to describe design patterns based on role concepts. Formal Aspects Comput 21:397–420CrossRefGoogle Scholar
  9. 9.
    Dwivedi AK, Rath SK (2015) Formalization of web security patterns. INFOCOMP J Comput Sci 14:14–25CrossRefGoogle Scholar
  10. 10.
    Pradhan P, Dwivedi AK, Rath SK (2015) Detection of design pattern using graph isomorphism and normalized cross correlation. In: Contemporary computing (IC3), 2015 Eighth international conference on, IEEE, pp 208–213Google Scholar
  11. 11.
    Dwivedi AK, Tirkey A, Rath SK (2018) Software design pattern mining using classification-based techniques. Frontiers Comput Sci, 1–15Google Scholar
  12. 12.
    Dong J, Peng T, Zhao Y (2010) Automated verification of security pattern compositions. Inf Softw Technol 52:274–295CrossRefGoogle Scholar
  13. 13.
    Dou L, Liu Q, Yang ZY (2013) A metamodeling approach for pattern specification and management. J Zhejiang Univ Sci C, Springer 14, 743–755Google Scholar

Copyright information

© Springer Nature Singapore Pte Ltd. 2019

Authors and Affiliations

  • Ashish Kumar Dwivedi
    • 1
    Email author
  • Santanu Kumar Rath
    • 2
  • Srinivasa L. Chakravarthy
    • 1
  1. 1.Department of CSEGayatri Vidya Parishad College of Engineering (A)VisakhapatnamIndia
  2. 2.Department of CSENational Institute of Technology Rourkela RourkelaOdishaIndia

Personalised recommendations