Formal specification of design patterns' relationships
Toufik Taibi · 2006
Patterns are effective means of disseminating solutions to problems repeatedly encountered during object-oriented design. Patterns are mostly described using informal means (text and graphical notations), which lack well-defined semantics. As many new patterns are being introduced, it is becoming increasingly difficult to informally decide whether a given pattern is similar, part of, or a variant of another pattern. This paper describes Balanced Pattern Specification Language (BPSL), a formal specification language that can accurately describe patterns in order to allow rigorous reasoning about them and their relationships. This is an important milestone towards fully automated pattern repository management. As a case study, we formally resolve the relationship between two patterns proposed by GoF namely Multicast and Typed Message.