Formalization of SOA design patterns using model-based specification technique

Abstract

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.