An ontology based approach for formal modeling of structural design patterns

The present day, software are becoming too much complex by nature. Hence there is a need for developing the right solution of complex requirements. To solve various design prob­lems, a number of tools and techniques are available, one of them is known as design pattern, which helps to find a better solution for the problems, which are recurring in nature. Generally, the notation of design pattern is often described using UML (Unified Modeling Language), which is semi-formal in nature. The UML notation may lead to ambiguities and inconsistencies. In this study, attempts have been made to model the logics behind of structural design patterns using Web Ontology Language (OWL). For consistency checking of the OWL notation, an ontology reasoner i.e., Pellet has been considered. In order to analyze the composition of design patterns, description logic has been applied. For the evaluation of the presented study, an example i.e., online banking system is used.