3. Эволюция объектно-ориентированных языков программирования.

Вегнер сгруппировал некоторые из наиболее известных языков высокого уровня в четыре поколения в зависимости от того, какие языковые конструкции впервые в них появились:

1. Simula 67, Pascal. Моделирование дискретных событий, абстрактные данные.

2. Smalltalk – «абсолютное воплощение объектно-ориентированного идеала». Smalltalk 80, Smalltalk V.

3. C++. Параметризованные типы.

4. Java, C#. Сборка мусора. Библиотеки объектов.

В каждом следующем поколении менялись поддерживаемые языками механизмы абстракции. Такие языки, как Simula 67, были созданы для упрощения программирования математических формул, чтобы освободить программиста от трудностей ассемблера и машинного кода. Также главной задачей стало инструктировать машину, что делать: сначала прочти эти анкеты сотрудников, затем отсортируй их и выведи результаты на печать. Появилась возможность решать все более сложные задачи, но это требовало умения обрабатывать самые разнообразные типы данных, т.е абстрактные данные. Такие языки как Pascal стали поддерживать абстракцию данных. Программисты смогли описывать свои собственные типы данных.

70-е годы знаменовались безумным всплеском активности: было создано около двух тысяч различных языков и их диалектов. Неадекватность более ранних языков при написании крупных программных систем стала очевидной, поэтому новые языки имели механизмы, устраняющие это ограничение. Таким образом, мы получили языки Smalltalk (переработанное наследие Simula), Ada (Pascal с элементами Simula, Alphard и CLU), C++ (возникший от брака С и Simula) и Eiffel (произошел от Simula и Ada). Наибольший интерес для дальнейшего изложения представляет класс языков, называемых объектными и объектно-ориентированными/

Третье и четвертое поколение – дальнейшее развитие объектных методов.

4. Эволюция методов объектно-ориентированного проектирования.

1. Метод Буча (1980): Метод Буча является техникой объектного проектирования и дополнен элементами объектного анализа. Метод Буча использует логическую модель (класс и объектная структура) и физическую модель (модуль и архитектура процесса), включая как статические, так и динамические компоненты, в ней применяются многочисленные графические символы.

2. Методы Кода, OMT, OOSE, ROD (1990):

Методика объектного ана­лиза. Базируется на выделении классов и объектов. Она включает в себя пять этапов: поиск классов и объектов, исходя из предметной области и на основе анализа функций системы, идентификация структур путем поиска отношений "обобщение-специализация" и "общее-частное", определение "субъектов" (групп класс-объект), определение атрибутов; определение сервисов.

Метод OMT (Object Modeling Technique) объединяет концепции объектной технологии и моделирования, основываясь на понятии "сущность-отношение" (entity-relation). Метод включает статическую и динамическую модели. Статическая модель базируется на концепциях класса, атрибута, операции, отношения и агрегирования, динамическая - на основе диаграмм "событие-состояние" позволяет дать абстрактное описание предполагаемого поведения системы.

Метод OOSE (Object-Oriented Software Engineering), также известный как метод Jacobson, основан на использовании сценариев для выявления классов. Рассматривается пять моделей сценариев: доменная модель исходной области приложения и четыре модели этапов разработки - анализа, проектирования, реализации, тестирования.

Метод OOIE (Object-Oriented Information Engineering) разделяется на две части. В первой части анализируется объектная структура, идентифицируются типы объектов, их состав, отношения наследования. Вторая часть анализирует поведение объектов, определяемое динамической моделью, учитывающей состояния объектов и события, которые могут изменить эти состояния.

3. Нотация UML (1997): объединяет в себе методы Буча, Якобсона и OMT. Нотация использует объектно-ориентированные методы. Моделирование в данной нотации позволяет последовательно пройти концептуальный, логический и физический уровни моделирования систем.