Объектно-ориентированная методология разработки сложных систем. Глотова Т.В. - 9 стр.

суперклассов    может     быть    несколько.    Если   в    языке    или      системе
поддерживается единичное наследование классов, набор классов образует
древовидную иерархию. При поддержании множественного наследования
классы связаны в ориентированный граф с корнем, называемый решеткой
классов.
        Иерархия по составу определяет отношения агрегирования. Более
высокий уровень представляет те абстракции, которые используют в своём
составе другие классы.
        Принципы     абстрагирования,        ограничение     доступа,       иерархии
конкурируют между собой. Принцип наследования требует открыть доступ
к состоянию и к функциям объекта для производных объектов.
        Дополнительные элементы:
        Типизация    -    ограничение       предъявляемых        классу     объектов,
препятствующих взаимозамене различных классов и в большинстве случаев
сильно сужающих возможность такой замены. Концепция типизации
строится на понятии абстрактных типов данных. Тип - точное определение
свойств строения или поведения, которое присуще некоторой совокупности
объекта. Часто термины «тип» и «класс» считают эквивалентными. Более
точно    сказать,   что   класс    реализует    тип.   Типизация-         ограничение
предъявляемых классу объектов, препятствующих взаимозамене различных
классов и в большинстве случаев сильно сужающих возможность такой
замены. Типизация позволяет выполнять описание абстракций т. о., что
реализуется     поддержка        проектных     решений      на      уровне     языка
программирования.
        В тоже время объектно-ориентированные языки программирования
могут быть: строго типизированными, нестрого типизированными и совсем
не типизированными, что позволяет говорить о типизации, как о


                                        9