
- •Объектно-ориентированный анализ: моделирование мира в состояниях содержание
- •1 Краткий обзор объектно-ориентированного анализа
- •1.1 Установка для анализа
- •1.2 Информационные модели
- •1.3 Модели состояний
- •1.4 Модели процессов
- •1.5 Рабочие продукты ооа
- •1.6 Краткое содержание
- •2 Концепции информационного моделирования
- •2.1 Объекты Понятие объекта
- •Идентификация объектов
- •Описания объектов
- •2.2 Атрибуты Понятие атрибута
- •Домены и значения атрибутов
- •Идентификаторы
- •Представление
- •Табличная интерпретация
- •Типы атрибутов
- •Описание атрибутов и доменов
- •Правила атрибутов
- •2.3 Связи Понятие связи
- •Представление
- •Безусловные связи
- •Условные формы
- •Описания связи
- •2.4 Формализация связи
- •2.5 Композиция связей
- •2.6 Подтипы и супертипы
- •2.7 Рабочие продукты
- •3 Жизненные циклы объектов
- •3.1 Модели поведений в реальном мире
- •3.2 Жизненные циклы и диаграмма переходов в состояния
- •Жизненные циклы кок модели состояний
- •Завершение предписанного интервала для приготовления пищи.
- •Координация жизненных циклов
- •Модели состоянии против конечных автоматов
- •3.3 Состояния
- •Номера и названия состояний
- •Состояние создания
- •Заключительное состояние
- •Текущее состояние
- •Данные события
- •Данные событий и состояния
- •Абстрагирование событий из инцидентов
- •Спецификация события против экземпляров события
- •3.5 Действия Действия и экземпляры
- •Что может делать действие
- •Что должно делать действие
- •Описание действия
- •Действия, события и время
- •Запоминание событий
- •3.6 Переходы и таблица переходов в состояния Правила переходов
- •Наполнение ячеек
- •Роль таблицы переходов в состояния
- •3.7 Таймеры Понятие таймера
- •Условные обозначения псевдокода для Таймеров
- •Использование таймера
- •3.8 Общие формы жизненных циклов
- •3.9 Формирование жизненных циклов
- •3.10 Жизненные циклы для подтипов и супертипов
- •Миграция подтипов
- •Немигрирующие подтипы
- •3.11 Когда формируются жизненные циклы
- •3.12 Анализ отказов Анормальное поведение
- •Анализ отказов в ооа
- •Отказы во внешнем процессе и интерфейсном оборудовании
- •Идентификации отказов посредством ооа моделей
- •Заключительное замечание
- •3.13 Рабочие продукты Модели состояний
- •Список событий
- •4 Динамика связей
- •4.1 Динамика связей
- •4.2 Жизненные циклы связей
- •4.3 Динамические связи вне жизненных циклов
- •4.4 Конкурирующие связи: монитор Конкуренция в реальном мире
- •Конкуренция в ооа
- •Мониторы
- •Выбор экземпляра
- •4.5 Общий случай конкурирующей связи
- •4.6 Конкурирующие связи с жизненными циклами экземпляров
- •4.7 Советы по моделированию
- •5 Динамики систем
- •5.1 Модель взаимодействия объектов
- •5.2 Иерархическое представление объектов Интеллект, контекст и цель
- •Иерархическое представление на мво
- •5.3 Схемы взаимодействий
- •Типы событий
- •5.4 Каналы управления Понятие канала управления
- •Время и канал управления
- •Применение
- •5.5 Имитирование
- •Установление состояния системы
- •Выполнение имитирования
- •5.6 Как рассматривать время Интерпретации параллелизма
- •Правила времени ооа
- •Правила относительно действий
- •Правила непротиворечивых данных
- •Правила событий
- •5.7 Многократное управление
- •Определение частоты
- •6 Модели процессов
- •6.1 Определение действия
- •6.2 Диаграммы потоков данных действий
- •Процессы и потоки данных
- •Устойчивые данные
- •Получаемые события
- •Порождаемые события
- •Идентификаторы процессов
- •Потоки данных между процессами
- •Таймеры
- •Уничтожение экземпляров
- •Потоки управления
- •Неустойчивые данные
- •6.4 Многократное использование процессов
- •Критерии многократного использования
- •Что это значит: быть процессом ?
- •6.5 Формирование и определение процессов
- •Типы процессов
- •Аксессоры
- •Генераторы событий
- •Преобразования
- •Проверка
- •Когда объект имеет две модели состояний
- •6.6 Наименование и описание процессов
- •Аксессоры
- •Описание
- •Генераторы событий
- •Преобразования
- •Проверки
- •6.7 Таблица процессов состояний
- •6.8 Модель доступа к объектам Синхронное взаимодействие против асинхронного
- •Представление
- •6.9 Рабочие продукты
- •7 Домены
- •7.1 Понятие домена
- •7.2 Типы доменов
- •Прикладные домены
- •Сервисные домены
- •Архитектурный домен
- •Домены реализации
- •7.3 Мосты Мосты, пользователи и исполнители (клиенты и сервера)
- •Предложения и требования
- •7.4 Определение доменов Домены
- •Тестирование доменов
- •7.5 Использование ооа с множественными доменами Порядок работы
- •Работа над отчетом
- •8 Управление большим доменом
- •8.1 Понятие подсистемы
- •8.2 Начальное определение подсистем Проблема начальной инициализации
- •Заключительные замечания
- •8.3 Анализ большого домена
- •Уникальная идентификация элементов модели
- •Связи между подсистемами
- •Дублирование объектов
- •Расщепленные кластеры
- •Трудно поддающиеся контролю и обработке большие подсистемы
- •Приведение в порядок имен и описаний подсистем
- •8.4 Модели доменового уровня
- •Модель связей подсистем
- •Модель взаимодействий подсистем
- •Модель доступа к подсистемам
- •8.5 Проектная матрица Что представляет проектная матрица
- •Деятельность при анализе
- •8.6 Записная книжка подсистемы
- •1.4 Проектная матрица
- •9 Преобразование объектно-ориентированного анализа в объектно-ориентированное проектирование
- •9.1 Введение
- •Принцип проектирования
- •Терминология
- •9.2 Краткий обзор проектирования
- •9.3 Механизм конечного автомата архитектуры
- •Инкапсулированные данные
- •Теория операции: прохождение конечного автомата
- •Теория операции: инициализация
- •9.4 Класс Таймер
- •9.5 Диаграммы классов для прикладных классов Образцы
- •Пассивные классы
- •Компоненты экземпляра
- •Активные классы
- •Определительные классы
- •9.6 Наследование
- •Установление структуры данных
- •Подтип-Супертип
- •Сервисные домены
- •9.7 Схемы структуры класса для прикладных классов
- •9.8 Основная программа
- •Инициализация
- •Внешние события
- •Поток управления
- •Таймеры
- •9.9 Расширение и использование архитектуры Варьирование
- •Рабочие продукты
- •Многозадачный режим
- •9.10 Рекурсивное проектирование
- •Структурные элементы и правила архитектуры
- •Правила преобразования: от прикладных моделей к архитектуре
- •Правила преобразования: от архитектуры к реализации
- •A. Oodle: He зависимая от языка нотация для объектно-ориентированного проектирования
- •1.1 Что представлять
- •1.2 Стиль представления
- •Возможность ручного изображения
- •Никаких излишних различий
- •Однократный просмотр против многократных
- •Насыщенность информации
- •Правила непротиворечивости
- •Правила включения
- •Никаких сложных требований относительно размещения
- •Альтернативные представления
- •2 Компоненты нотации
- •3 Диаграмма класса
- •3.1 Назначение
- •3.2 Символика Класс
- •Логические компоненты
- •Общедоступные операции
- •Параметры
- •Базис операции и упорядочивание воков
- •Отсрочка
- •Связывание во время компиляции против связывания во время выполнения
- •Имена модулей
- •Первичные модули
- •Внешние модули
- •Данные экземпляра
- •Другие устойчивые данные
- •Полиморфизм
- •Исключения
- •4.3 Обсуждение
- •5 Диаграмма зависимостей
- •5.1 Зависимость
- •Пользователь-исполнитель (клиент-сервер)
- •Назначение диаграммы
- •5.2 Символика
- •5.3 Альтернативные представления и автоматизация
- •6 Диаграмма наследования
- •6.1 Назначение
- •6.2 Символика
- •6.3 Альтернативное представление и автоматизация
Описание атрибутов и доменов
Каждый атрибут требует описания, из которого становится ясным, какую характеристику содержит атрибут. Также Должен быть описан домен каждого атрибута.
Эти описания составляются в зависимости от типа атрибута, с которым мы имеем дело, несколько по-другому.
Описательные атрибуты. Описание атрибута должно устанавливать реальную характеристику, абстрагируемую как атрибут. Оно может объяснять, как определяется характеристика и почему она уместна для определения объекта.
Описание домена можно давать:
-
перечислением всех возможных значений, которые атрибут может принимать;
-
ссылкой на документ, приводящий возможные значения;
-
формулировкой правила, определяющего, какие значения допустимы;
-
приведением диапазона возможных значений.
Указывающие атрибуты. Описание атрибута для указывающего атрибута устанавливает форму указания (если форма уместна), организацию, которая назначает указание (если уместно) и степень, в которой имя может использоваться как часть идентификатора. Если описание атрибута дает достаточно информации о допустимых значениях для указательного атрибута, домен определяется следующим образом:
Домен: См. описание атрибута
или
Домен: См. выше (когда его предваряет описание атрибута).
Кроме того, домен указательного атрибута может определяться перечислением или ссылкой.
Вспомогательные атрибуты. Описание атрибута для вспомогательного атрибута должно указывать реальное отношение, сберегаемое атрибутом. Например, атрибут Магнит. Источник Электроснабжения может быть описан как название источника электроснабжения, используемого в настоящее время для подачи напряжения на этот магнит.
Значение, которое вспомогательный атрибут может принимать, будет всегда таким же, как и значение атрибута, действующего как идентификатор для соотносимого объекта. Следовательно, описание домена всегда дается фразой: "Такой, как <имя идентифицирующего атрибута соотносимого объекта>", например:
Атрибут: Магнит.Источник Электроснабжения.
Описание: . . .
Домен: Такой, как Источник Электроснабжения.ID Источника Электроснабжения.
Правила атрибутов
Информационная модель основана на реляционной модели данных: представлении данных в виде отношений между ними [2,3]. Реляционная модель определяется в конкретных утверждениях относительно форм, которые мы используем в информационной модели, и значении, которое мы подразумеваем, когда назначаем атрибут для объекта.
Первое правило. Один экземпляр объекта имеет одно-единственное значение для каждого атрибута в любое данное время.
В табличной интерпретации объекта это правило требует, чтобы существовал один и только один элемент данных в каждом пересечении столбца со строкой. Это делает невозможным составление таблицы со структурой "повторяющейся группы", как и таблицу с незаполненными ячейками (рис.2.2.3).
Рис.2.2.3 Два нарушения первого правила атрибутов.
Второе правило. Атрибут не должен содержать никакой внутренней структуры.
Второе правило подразумевает, что если Вы определяете объект, как на рис.2.2.4, то это означает, что Вы считаете Изготовителя и Модель одной характеристикой и не можете разделить "Эйсм 126", чтобы выяснить, что насос Р101 был сделан Эйсм.
Третье правило. Когда объект имеет составной идентификатор, т.е. состоящий из двух или более атрибутов, каждый атрибут, не являющийся частью идентификатора, представляет характеристику всего объекта, а не его части, а тем более не характеристику чего-либо другого.
Рис.2.2.4. Возможное нарушение второго правила.
Третье правило означает, что если Вы определяете объект Перемещение Сока:
Перемещение Сока(ID Бака-Хранилища, ID Бака Для Приготовления, Количество Галлонов, Планируемое Время Перемещения),
то атрибут Перемещение Сока. Количество Галлонов обозначает количество галлонов, перемещаемых от бака для хранения к баку для приготовления, а не количество галлонов в баке-хранилище или баке для приготовления.
Четвертое правило. Каждый атрибут, не являющийся частью идентификатора, представляет характеристику экземпляра, указанного идентификатором, а не характеристику некоторого другого атрибута - неидентификатора.
В соответствии с четвертым правилом, если Вы определяете объект
Порция (ID Порции, ID Рецепта, Количество Галлонов, Время Приготовления),
Атрибут Порция. Время Приготовления должен представлять фактическое время приготовления порции, а не время приготовления, определяемое рецептом.