6. Основные понятия объектно-ориентированного подхода к проектированию программ. Понятие типизации.

Типизация:

• Это точная характеристика свойств, включая структуру и поведение, относящаяся к некоторой совокупности объектов

• Позволяет в программных системах проводить целый ряд проверок и согласований

• Строгая типизация предотвращает смешивание абстракций

Процесс проверки и накладывания ограничений типов — контроля типов, может выполняться во время компилирования (статическая проверка) или во время выполнения (динамическая проверка).

• Статическая типизация — контроль типов осуществляется при компиляции.

• Динамическая типизация — контроль типов осуществляется во время выполнения.

Контроль типов также может быть строгим и слабым.

• Строгая типизация — совместимость типов автоматически контролируется транслятором:

• Номинативная типизация — совместимость должна быть явно указана (наследована) при определении типа.

• Структурная типизация — совместимость определяется структурой самого типа (типами элементов, из которых построен составной тип).

• Слабая типизация — совместимость типов никак транслятором не контролируется. В языках со слабой типизацией обычно используется подход под названием «утиная типизация» — когда совместимость определяется и реализуется общим интерфейсом доступа к данным типа.

7. Назначение и основные свойства языка uml

UML – это язык для визуализации, специфицирования, конструирования и документирования артефактов программных систем.

Артефакт — это любой созданный искусственно элемент программной системы.

1. Визуализация:

• Результаты обсуждения проекта и принятые решения воплощаются в виде понятных для всех схем

• Улучшается понимание всеми участниками проекта поставленной задачи

• При смене разработчиков принятые решения в виде модели не меняются

2. Специфицирование:

• Специфицируются важнейшие характеристики системы

• Спецификации охватывают различные точки зрения на систему

• Спецификации согласуются между собой

3. Конструирование:

• Модели могут быть переведены на различные языки программирования – прямое проектирование

• Программы на языках программирования могут быть реконструированы в модель – обратное проектирование

4. Документирование:

• Требования к системе;

• Архитектура;

• Проект;

• Исходный код;

• Проектный план;

• Тест;

• Прототип;

• Версия;

• И др.

Язык UML предназначен для решения следующих задач:

• Предоставить легко воспринимаемый и выразительный язык визуального моделирования.

• Предоставить возможность расширения и специализации для более точного представления моделей систем в конкретной предметной области.

• Поддержка спецификации моделей, не зависящей от конкретных языков программирования и инструментальных средств проектирования программных систем.

• Семантический базис для понимания общих особенностей ООАП (объектно-ориентированнного анализа и проектирования).

• Поощрение развития рынка объектных инструментальных средств.

• Распространение объектных технологий и соответствующих понятий ООАП.

• Интеграция в себя новейших достижений практики ООАП.