Визначає залежність типу 1:М між об'єктами таким чином, що при зміні стану одного об'єкта всі, що залежать від нього, сповіщаються про це і автоматично оновлюються

Варіювати поведінку об'єкта в залежності від його внутрішнього стану

Визначає нову операцію над кожним об'єктом певної структури, не змінюючи класи об'єктів

Визначає алгоритм та реалізує можливість перевизначення деяких кроків алгоритму для підкласів (без зміни загальної структури алгоритму)