Date Added: Dec 2010
In software engineering, a software pattern is a reusable solution to solve recurring software design problems. Traditionally, suitable patterns are identified by software designers to satisfy a set of requirements. A part of appropriate patterns is then applied to a recurring software design problem. However, the existing software patterns part has to be properly integrated to specific design problems. Therefore, the introduction of formalization is required to describe this integration accurately. In this paper, The authors propose a framework of UML class diagrams and software patterns integration prepared for formal specification to solve different software designer's experiences. The integration rules in this formal framework is intended to complement existing textual and graphical descriptions.