The 'Gang of Four' Companion:

Observer Design Pattern

Formal specification of design patterns in LePUS3 and Class-Z

Print this document

This page is part of the The 'Gang of Four' Companion dedicated to the formal specification in LePUS3 and Class-Z of patterns from the 'Gang of Four' catalogue [Gamma et al 1995].



The Observer design motif

The informal description: Excerpts from [Gamma et al. 1995] (adapted for this purpose):

Intent: Define a one-to-many dependency between objects so that when one object changes state, all its dependents are notified and updated automatically.

Structure: Original OMT diagram converted to UML (Why and How?):

Observer in UML



Formal specification

See also:

Observer in LePUS3
Observer in LePUS3 (legend)
Observer in Class-Z (legend)