“…One of the main drawbacks on developing the verification tools for PLs is that the patterns and PLs often have been presented informally or semi-formally in literature [1,9,11] . Therefore, to facilitate the process of developing supporting tools on verifying the applied patterns and PLs in practice, we need to formalize the underlying concepts [3,6] . Although the literature of the last two decades of software patterns, beginning from the publishing of the seminal Gang-of-Four (GoF) design patterns book [1] , illustrates several researches which have been concentrated on formalizing single patterns [3,[13][14][15][16] , a few of the current researches consider the patterns' inter-relationships and patterns' compositions [17][18][19][20] as well.…”