20. Составляющие объектного подхода (дополнительные)

Кроме главных существуют три дополнительных:

- типизация,

- параллелизм,

- устойчивость,

которые являются полезными, но не обязательными.

Типизация. Тип – это точное определение свойств ,строения или поведения которые присущи некоторой совокупности объектов. Т.е. типизация является ограничением, налагаемым на класс объектов, которое препятствует взаимозамене различных классов.

Типизация позволяет выполнит описание абстракции т.о., что реализуется поддержка проектных решений на уровне ЯП. ЯП могут быть типизированы строго и нестрого.

Строгая типизация ограничивает перечень абстракций, которые могут быть использованы в конкретных процедурах. Т.е. ЯП строго типизирован, если требует описания типа каждой переменной, параметра или поля. В таких ЯП все переменные проходят проверку на соответствие типов.

Если концепция строгой типизации связана с контролем соответствия типов, то концепция связей относится ко времени, когда имена связываются с определенными типами. Статическая или ранняя связь означает, что типы всех переменных определены уже на этапе компиляции. При динамической или поздней связи типы переменных определяются только на этапе выполнения программы.

Концепции типизации и связей являются независимыми, а следовательно ЯП может быть строго типизирован как со статическими, так и с динамическими связями.

Параллелизм. Каждая программа включает по крайней мере один канал управления. В параллельной системе таких каналов может быть несколько. Некоторые из них могут быть временными, а другие сохраняться в течении всего времени выполнения программы. Реальная параллельность достигается только в многопроцессорных системах, а системы с одним процессором имитируют параллельность только за счет разделения времени. Параллелизм связан с абстрагированием процессов и синхронизацией. Объект является основой, объединяющей обе эти концепции. Каждый объект, как абстракция реальности может представлять собой отдельный канал управления, т.е. абстракцию процесса. Такой объект называется активным. Для сложных систем, построенных на основе OOD реальность может быть представлена, как совокупность взаимодействующих объектов , часть которых является активными. Исходя из этого, параллелизм можно определить как свойство объектов находиться в активном или пассивном состоянии. Проще говоря, параллелизм – это возможность одновременного функционирования некоторого числа объектов.

Устойчивость. Каждый объект в программе занимает определенное место и существует в течении определенного времени. Он может существовать или во время определенных вычислений, или в течении всего времени выполнения программы, а оъекты, хранящиеся в БД существуют вне пределов программы.

Существует несколько видов устойчивости объектов:

- промежуточные результаты вычислений,

- локальные переменные,

- глобальные переменные,

- данные, сохраняемые между вызовами основной программы,

- данные, не изменяющиеся в различных версиях программы,

- данные, которые переживают программу.

Устойчивость позволяет сохранять объектам не только свое состояние, но и принадлежность к определенному классу. Устойчивость – это свойство объекта существовать во времени независимо от процесса, породившего этот объект, и (или) в пространстве, т.е. возможность перемещения объекта из адресного пространства в котором он был создан.