Таймеры
Для поддержки таймеровских соглашений, описанных- в разделе 3.7, пять процессов определены как часть формализации ООА. Эти процессы (рис.6.2.5) используются на любой ДПДД по мере необходимости.
Уничтожение экземпляров
Если процесс уничтожает экземпляр объекта, поток данных изображается от процесса к соответствующему архиву данных обьекта. Поток данных аннотируется так, как показано на рис. 6.2.6 (ДПДД для состояния 3 Изменение Температуры).
Рис.6.2.5. Процессы, которые взаимодействуют с объектом Таймер. Архив данных Таймера представляет собой устойчивые данные, описывающие все таймеры в системе.
Потоки управления
Поток управления является графическим представлением ограничения на порядок выполнения процесса. ДПДД использует два типа потоков управления: безусловный и условный.
Безусловные потоки управления. На рис.6.2.6 безусловный поток управления (изображенный как прерывистая линия) нарисован от процесса TR.5 к процессу TR.6 для указания того, что TR.5 должен выполняться прежде TR.6. Это необходимо, чтобы гарантировать, что TR.5 сможет восстановить Изменение Температуры. ID Порции и Изменение Температуры. ID Таймера прежде, чем TR.6 уничтожит экземпляр.
Рис. 6.2.6. ДПДД для состояния 3 Изменения Температуры.
Условные потоки управления. Кроме ограничений на порядок выполнения процессов, условный поток управления обеспечивает графическое представление условий, при которых процесс выполняется (или не выполняется) на самом деле. Рассмотрим процесс TR.7 (Определить Завершено Ли Изменение) на рис.6.2.7. Его цель состоит в необходимости определить, закончено ли изменение температуры сравнением Конечного Времени с текущим временем. В зависимости от результата этого сравнения должен выполняться процесс TR. 11 или процессы TR. 12, TR.5 и TR.8. Это требование представлено условными потоками управления, показанными на ДПДД. Тот факт, что поток управления является условным, обозначается поперечной черточкой. Также приводится аннотация, указывающая условия, при которых поток создается (и, следовательно, условия, при которых полученный процесс(ы) должен выполняться).
Неустойчивые данные
Процесс может создавать данные, предназначенные только для применения другим процессом, т.е. данные, которые прекращают свое существование, если действие закончено. Такие данные называются неустойчивыми. Если поток данных несет неустойчивые данные, поток данных, связывающий создающий и использующий процессы, обозначается соответствующим именем и аннотируется, для того чтобы указать, что он переносит неустойчивый (т.е. непостоянный) элемент данных. Эта нотация показана на рис.6.2.7: поток данных между процессами TR.8 и TR.10 переносит неустойчивые данные.
Многократные экземпляры
Если поток данных может переносить атрибуты для более одного экземпляра объекта, поток данных помечается именами атрибутов, заключенными в фигурные скобки, как показано на рис.6.2.8.
Условные потоки данных
Если процесс создает данные только при определенных условиях, выходные данные показаны как условный поток данных - регулярный поток данных, отмеченный поперечной черточкой. Это обозначение иллюстрируется на рис.6.2.8 условным потоком данных с меткой ID Бака, который создается только тогда, когда существует бак для хранения, который содержит достаточное количество сока.
Внешние сущности
Если процесс читает данные из внешней сущности, типа физического устройства, внешняя сущность показывается так же, как терминатор на ДПДД (рис.6.2.9).
Рис.6.2.7. ДПДД для состояния 2 Изменения Температуры
6.3 Порядок выполнения процессов
Обычно существует несколько требований на порядок, в котором могут выполняться процессы действия. Например, в состоянии 2 Изменения Температуры (рис.6.2.7) процесс TR.5 должен выполняться и создавать выходной ID Порции прежде, чем в В.1 может получить данные, необходимые для выполнения. ДПДД выражает требования на порядок выполнения посредством обозначения доступности вводов. Требования приводятся как правила выполнения для ДПДД:
1. Процесс может выполняться, когда все вводы доступны.
2. Выводы процесса доступны после того, как процесс завершает выполнение.
3. Данные событий (атрибуты на потоках данных событий) всегда доступны.
4. Данные из архивов данных и внешние сущности всегда доступны.
Рис.6.2.8. Часть ДПДД для Порции.
Рис.6.2.9. Процесс может читать или записывать сущности, лежащие за пределами системы.
Правила выполнения обеспечивают следующий алгоритм для исполнения ДПДД с использованием маркеров.
Вначале помещаем маркеры на все потоки данных, содержащие доступные данные: все потоки данных событий и все потоки, которые возникают в архивах данных и внешних сущностях.
Повторяем до тех пор, пока действие не закончено.
Если существует, но еще не выполнен процесс, в котором все вводы доступны, выполняем процесс, помещая маркеры на всех выводах.
Если не существует такого процесса, действие закончено.
Заметьте, что правила выполнения обеспечивают только частичное упорядочивание для выполнения процессов: например, они не предписывают относительный порядок выполнения процессов СТ.1 и СТ.2 на ДПДД на рис.6.2.7. Поэтому законченное упорядочивание оставлено как решение проектирования. С точки зрения анализа просто несущественно, в каком порядке выполняются СТ.1 и СТ.2.
При оценке порядка выполнения процессов в пределах действия поток управления рассматривается подобно потоку данных, который не несет никаких данных. Это может быть выражено более явно повторным приведением двух правил выполнения:
1`. Процесс может выполняться, когда все вводы (включая вводы управления) доступны.
2`. Выводы процесса (включая выводы управления) доступны после того, как процесс завершает выполнение.