Formal specification of design patterns' relationships

Authors:
Toufik Taibi
Affiliations:
College of Information Technology, United Arab Emirates University, Al Ain, United Arab Emirates
Venue:
ACST'06 Proceedings of the 2nd IASTED international conference on Advances in computer science and technology
Year:
2006

Citing 4
Cited 0

The temporal logic of actions

ACM Transactions on Programming Languages and Systems (TOPLAS)
Design patterns: elements of reusable object-oriented software

Design patterns: elements of reusable object-oriented software
The Unified Modeling Language reference manual

The Unified Modeling Language reference manual
Classifying Relationships between Object-Oriented Design Patterns

ASWEC '98 Proceedings of the Australian Software Engineering Conference

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.