6 Принципы и концепции OPM-методологии

• 6.1 Принципы OPM-моделирования

• 6.2 Основные понятия OPM-методологии

  • Рисунок 1 - Общая структура OPM-метамодели

7 OPM-синтаксис и семантика сущностей

• 7.1 Объекты

  • Рисунок 2 - Графическое обозначение объекта

• 7.2 Процессы

  • Рисунок 3 - Графическое представление процесса

• 7.3 OPM-сущности

  • Рисунок 4 - Комбинация из общих атрибутов OPM-сущностей

  • Рисунок 5 - Представление объекта с двумя внутренними состояниями

  • Рисунок 6 - Объект с начальным/конечным состояниями и состоянием по умолчанию

8 Анализ синтаксиса и семантики OPM-связей

• 8.1 Обзор процедурных связей

• 8.2 Операционная семантика и поток команд управления исполнением

9 Процедурные связи

• 9.1 Преобразующие связи

  • Рисунок 7 - Преобразующие связи (transforming links): слева - потребительская связь (consumption link), посередине - результирующая связь (result link), справа - взаимодействующая связь (effect link)

• 9.2 Разрешающие связи

  • Рисунок 8 - Диаграмма с примером агентской связи

  • Рисунок 9 - Пример инструментальной связи

• 9.3 Определяющие состояние преобразующие связи

  • Рисунок 10 - Правильно (слева) и неправильно (справа) обозначенная результирующая связь с объектом, имеющим начальное состояние

  • Рисунок 11 - Определяющие состояние потребительская и результирующая связи

• 9.4 Определяющие состояние разрешающие связи

  • Рисунок 12 - Инструментальная связь (слева) в сравнении с определяющей состояние инструментальной связью (справа)

• 9.5 Управляющие связи

  • Рисунок 13 - Диаграмма условной инструментальной связи (с частичным OPL-описанием)

10 Структурные связи

• 10.1 Виды структурных связей

• 10.2 Тегированная структурная связь

  • Рисунок 14 - Два вида тегированных структурных связей

  • Рисунок 15 - Диаграмма двунаправленной связи (слева) и эквивалентной ей взаимной тегированной структурной связи (справа)

• 10.3 Фундаментальные структурные взаимосвязи

  • Рисунок 16 - Диаграмма для условной связи типа "агрегация - является частью"

  • Рисунок 17 - Пример условной связи типа "агрегация - является частью" с частичным набором объектов типа refine

  • Рисунок 18 - Частичная агрегация потребления

  • Рисунок 19 - Четыре комбинации признаков взаимосвязи типа "представление-характеризация"

  • Рисунок 20 - Примеры представления атрибутов объектов

  • Рисунок 21 - Примеры представления связей объекта с операциями

  • Рисунок 22 - Примеры представления связей процесса с атрибутами

  • Рисунок 23 - Примеры представления связей процессов с операциями

  • Рисунок 24 - Одиночные и множественные специализации объектов и процессов

  • Рисунок 25 - Диаграмма для дискриминирующего атрибута Travelling Medium и его специализаций

  • Рисунок 26 - Диаграмма связи типа "классификация-инстанцирование" с диапазоном допустимых значений (класс и экземпляр, слева направо соответственно)

  • Рисунок 27 - Состояние атрибута как значения: взаимосвязь между концептуальной и операционной моделями

• 10.4 Определяющая состояние характеристическая реляционная связь

  • Рисунок 28 - Пример определяющей состояние характеристической реляционной связи

  • Рисунок 29 - Связь значений атрибутов с объектами с использованием определяемой состоянием структурной связи

  • Рисунок 30 - Диаграмма определяющей состояние тегированной структурной связи для источника и получателя

11 Мощности отношений (связей)

• 11.1 Кратность объектов в структурных и процедурных связях

  • Рисунок 31 - Примеры кратности объектов

• 11.2 Выражения для кратности объекта и ограничений

  • Рисунок 32 - Примеры кратности объекта с диапазонами и параметрами

  • Рисунок 33 - Диаграмма, иллюстрирующая кратность объекта: арифметические выражения и пример ограничений

  • Рисунок 34 - Пример кратных параметризованных ограничений

• 11.3 Значение атрибута и кратные ограничения

12 Логические операторы AND, XOR и OR

• 12.1 Логические процедурные связи типа AND

  • Рисунок 35 - Диаграмма логического оператора "AND" для агентских и инструментальных связей

  • Рисунок 36 - Логическая операция "AND" для результирующих и потребительских связей

  • Рисунок 37 - Логическая операция "AND" для воздействующей связи и пар входной/выходной связи

• 12.2 Логические процедурные связи типа XOR и OR

  • Рисунок 38 - Примеры агентской связи для логического оператора OR (слева) и логического оператора XOR (справа)

• 12.3 Расходящиеся и сходящиеся XOR- и OR-связи

• 12.4 Определяющие состояние веерные XOR- и OR-связи

  • Рисунок 39 - Примеры определяющих состояние XOR- и OR-связей

• 12.5 Модифицирующие управление веерные связи

• 12.6 Определяющие состояние и модифицирующие управление веерные связи

• 12.7 Вероятности связей и вероятностные веерные связи

  • Рисунок 40 - Эквивалентность результирующей связи и совокупности определяющих состояние результирующих XOR-связей

  • Рисунок 41 - Примеры создания вероятностного определяющего состояние объекта

  • Рисунок 42 - Объекты, имеющие или не имеющие определенных состояний, как источники и получатели вероятностной веерной связи

13 Путь выполнения и метки путей

• Рисунок 43 - Пути выполнения и метки путей

• Рисунок 44 - Метки путей, иллюстрирующие потребительские или результирующие связи

14 Управление контекстом с использованием OPM-методологии

• 14.1 Разработка структурной диаграммы

• 14.2 Достижение надлежащего понимания модели

  • Рисунок 45 - Диаграмма объекта с внутренним состоянием со всеми отображаемыми состояниями (слева) и тот же объект с частично отображаемыми состояниями (справа)

  • Рисунок 46 - Пример новой детализированной диаграммы

  • Рисунок 47 - Диаграмма детализированного процесса Check-Based Paying (Расчеты по чекам), представленного последовательными подпроцессами

  • Рисунок 48 - Диаграммы для инициализирующей связи (слева) и неявной инициализирующей связи (справа)

  • Рисунок 49 - Порядок выполнения подпроцессов и набор неявных параллельных инициализирующих связей 14.2.2.3

  • Рисунок 50 - Диаграммы распределения детализированных связей

  • Рисунок 51 - Диаграмма, иллюстрирующая ограничение на распределение потребительских и результирующих связей

  • Рисунок 52 - Разделенная определяющая состояние преобразующая связь для разрешения согласно спецификации

  • Рисунок 53 - Диаграмма, иллюстрирующая роль обобщения с разделяющими состояние преобразующими связями

  • Рисунок 54 - Диаграмма, показывающая, что процесс Home Safety Maintaining соответствует асинхронной системе

  • Рисунок 55 - Диаграмма обобщающих процедурных связей

  • Рисунок 56 - Приоритеты для преобразующих и разрешающих связей

Приложение B (справочное). Руководство по применению OPM-методологии

• Рисунок B.1 - Дублированный объект и символы дублирования процесса

Приложение C (справочное). OPM-моделирование с помощью OPD-диаграмм

• Рисунок C.1 - Структура OPM-модели

• Рисунок С.2 - Модель OPD-структуры и базовой структуры

• Рисунок С.3 - OPD-структура и базовая структура

• Рисунок С.4 - Диаграмма OPM-модели OPM-элемента

• Рисунок С.5 - Диаграмма OPM-модели сущности

• Рисунок C.6 - Пример относящегося к состоянию объекта

• Рисунок C.7 - Диаграмма OPM-модели объекта с внутренним состоянием

• Рисунок C.8 - Диаграмма OPM-модели связей

• Рисунок C.9 - Диаграмма OPM-модели общих свойств объекта Thing

• Рисунок C.10 - Диаграмма OPM-модели символического представления объекта Thing

• Рисунок C.11 - Диаграмма OPM-модели восьми представлений символов объекта Thing

• Рисунок C.12 - Разработка объекта Basic Construct

• Рисунок C.13 - OPM-модель объекта Basic Structural Construct

• Рисунок C.14 - OPM-модель объекта Basic Procedural Construct

• Рисунок C.15 - OPM-модель объекта Transformation Construct

• Рисунок C.16 - OPM-модель направленности связей объекта Transformation Construct

• Рисунок C.17 - OPM-модель объекта Basic Enablement Construct

• Рисунок C.18 - OPM-модель объекта State-Specified Agent Construct с приведенным примером

• Рисунок C.19 - Модели процессов New-Diagram In-Zooming и New-Diagram Out-Zooming

• Рисунок C.20 - Описание процессов New-Diagram In-Zooming и New-Diagram Out-Zooming

• Рисунок C.21 - Упрощенная OPD-диаграмма

• Рисунок C.22 - Диаграмма системы контроля осуществления процесса - SD-диаграмма

• Рисунок C.23 - Детализированная диаграмма процесса Process Performance Controlling (SD-диаграмма)

• Рисунок C.24 - Детализированная диаграмма процесса Process Initiating (SD1.1-диаграмма)

• Рисунок C.25 - Детализированная диаграмма процесса Precondition Evaluating (SD1.1.1-диаграмма)

• Рисунок C.26 - Детализированная диаграмма процесса Consumee & Affectee Set Checking (SD1.1.1.1)

• Рисунок C.27 - Детализированная диаграмма процесса Process Performing (SD1.2)

• Рисунок C.28 - Детализированная диаграмма процесса Initial Process Performing (SD1.2.1)

• Рисунок C.29 - Детализированная диаграмма процесса Main Process Performing (SD1.2.2)

• Рисунок С.30 - Детализированная диаграмма процесса Final Process Performing (SD1.2.3)

Приложение D (справочное). Динамические свойства и моделирование в OPM-методологии

• Рисунок D.1 - Юридическая модель системы, изменяющаяся от малолетства до взрослого состояния (до возраста 18 лет)

• Рисунок D.2 - Системное временное событие, инициализирующее изменение юридического статуса

• Рисунок D.3 - Пример четырех диаграмм выполнения процесса окраски автомобилей

• Рисунок D.4 - Исполнение OPM-модели процесса автоматического реагирования на столкновение

• Рисунок D.5 - Объект Processing Duration со значениями свойств

• Рисунок D.6 - Примеры продолжительностей процессов

• Рисунок D.7 - Пример процесса Overtime exception

• Рисунок D.8 - Пример процесса Undertime Exception Handling