Analisi comparativa di linguaggi formali per la definizione di Design Pattern

This paper describes, analyses and compares different formal languages which have been used in literature to define Design Patterns. For every language we provide a brief description of its elements and discuss their ability to completely define a Design Pattern, both through a graphical and a machine readable formalism, also in relation to the other languages examined, in order to identify their weak and strong points