ВОССТАНОВЛЕНИЕ

ВОССТАНОВЛЕНИЕ — это идея объектно-ориентированного моделирования , которая была сформулирована путем объединения ( техники объектного моделирования ) и формальных спецификаций языка TROLL. OMTROLL был создан для использования практического анализа техники объектного моделирования, устранения его двусмысленности и неясности, а также для использования формальных системных спецификаций, предоставленных TROLL.

Краткая история

В последние годы проводились значительные исследования в области объектно-ориентированного анализа и объектно-ориентированных формальных спецификаций. Анализ жизненного цикла метода объектного моделирования концентрируется в основном на практике разработки программного обеспечения , тогда как TROLL, oblog , FOOPS и т. д. — это формальные языки, разработанные в основном на математической основе, имеющие корни в логике , алгебре и теории множеств . Необходимость объединить эти две области объектно-ориентированных подходов в единый формализм обусловлена ​​тем, что объектно-ориентированный подход методы анализа не достигают уровня упорядочения, достигаемого языками формальных спецификаций. Эти формальные языки используются в исследованиях и применяются в различных проектах по разработке программного обеспечения .

ТРОЛЛЬ против подходов к объектному моделированию

TROLL — это формальный язык , используемый для описания объектной системы. Его больше интересует динамическое поведение объекта с течением времени. В ТРОЛЛЕ объект может изменяться дискретным образом из-за определенных событий. Объект может быть создан возникновением определенных событий ( событие рождения ) и завершен некоторыми другими событиями ( событие смерти ). Текущее состояние объекта определяется его атрибутами. Роль — это роль , которую объект выполняет временно, а специализация — это роль, которую он играет постоянно. Объекты также могут быть компонентами других объектов — составных объектов или могут быть связаны посредством некоторого взаимодействия. Также могут быть определены представления, содержащие только определенную информацию о текущем состоянии объекта. Основная идея ТРОЛЛЯ — интерпретировать такой объект как набор наблюдаемых последовательных процессов. Итак, время жизни объекта — это серия событий, происходящих на объекте, а текущее состояние объекта зависит от всех событий, произошедших с ним в прошлом.

Методика объектного моделирования Модель системы состоит из:

• Объектная модель представляет структуру объектов в системе, аналогичную ER-диаграмме .
• Динамическая модель показывает аспекты управления системой, такие как время, взаимодействие между объектами и т. д.
• Функциональная модель определяет смысл операций и то, как значения изменяются в результате взаимодействий в системе.

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

Этапы системного анализа

Системный анализ в основном состоит из следующих этапов:

• Анализ структуры: дает подробную информацию об иерархической и организационной структуре системы.
• Анализ задачи: как и его название, он определяет, какая задача выполнена, когда она выполнена и кто это сделал. Он обрабатывает входные данные и показывает, как получается результат.
• Коммуникационный анализ: покажите, как устанавливаются отношения между операциями и взаимодействиями классов.
• Анализ документов: описывает документы и правила, которые используются в системе.
• Анализ процесса: дает информацию о выполнении операций.

Схематические изображения в OMTROLL

Диаграмма поведения

Их еще называют диаграммами переходов состояний. Они определяют поведение системы. Обычно они моделируются на начальных этапах. Есть два основных состояния – начальное и конечное. Переход из одного состояния в другое основан на условиях/действиях. Поведенческая диаграмма дополнительно уточняется до деталей.

Модель сообщества

Модель сообщества дает обзор всех классов объектов и параллельных объектов системы. Класс объектов инкапсулирует данные, описывающие объекты с одинаковой структурой и поведением. Сложный класс объектов может иметь один или несколько компонентов.

Сложный класс объектов содержит множество объектов. Объект может выполнять различные действия в определенное время, но не может иметь внутри себя параллелизм. Также класс объектов, который не участвует ни в каких отношениях (компонент/специализация), называется независимым классом объектов.

Диаграмма объявления класса объекта

На этой диаграмме показаны атрибуты объектов, их домены и необязательные параметры. Атрибутами объекта могут быть:

• Объектнозначные: это атрибуты, которые ведут себя как указатель или ссылка на объект. Кроме того, это могут быть одиночные или множественные атрибуты, имеющие объектное значение. Конструкторы, такие как: set, list, Bag и Map, можно использовать с несколькими атрибутами, имеющими значение объекта.

• Ценные данные

Диаграмма сообщества вместе с соответствующей диаграммой классов объектов образует структурную часть системы.

Схема связи

Как следует из названия, он схематически представляет связь между объектами системы . Подходы к объектному моделированию не поддерживают взаимодействие между объектами, поэтому в OMTROLL вводится диаграмма связи. Поля представляют класс, а внутренние поля относятся к событиям. Эти поля событий соединены стрелками. Событию можно назначить предварительное условие. Также возможна связь внутри сложного класса объектов. Связь может быть двух типов: сложный объект, взаимодействующий со своими компонентами, или параллельные объекты, взаимодействующие друг с другом.

Диаграмма типов данных

Для указания атрибутов определяемые пользователем типы данных (nat, int ( целое число ), вещественное число , bool ( логическое значение ), строка и действий используются , дата и т. д.) для создания новых типов данных, таких как списки , записи , перечисления и т. д.

Внешние ссылки

• http://wwwalt.ifis.cs.tu-bs.de/publications/tr97/node8.html