A practical and automated approach for engineering service-oriented applications with design patterns

Today the biggest shift in mainstream programming and architectural modeling toward service-oriented architectures requires us to discover, document, and share new design patterns. This paper presents a framework, called SCA-PatternBox, to define and apply SOA design patterns. The framework relies on the OASIS standard Service Component Architecture (SCA) for service-oriented architecture modeling, and on SCA component implementation types, such as SCA-Java, for providing an implementation-oriented approach to design pattern definition and application. Moreover, in order to provide formally verified design patterns, a specification-oriented approach is also supported by using the formal method Abstract State Machines and associated analysis tools for describing and validating the functional behavior of design patterns and SCA components.