Design Pattern Formalization Techniques