Formal Specification of Design Patterns' Relationships

T. Taibi (UAE)


Balanced Pattern Specification Language (BPSL), First Order Logic (FOL), Temporal Logic of Actions (TLA), Duplication, Refinement.


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.

Important Links:

Go Back