Объект изменения температуры


Объект изменения температуры представляет собой компактный пример для демонстрации нотации ДПДД.
Информация необходимая для построения ДПДД содержится в информационной модели и модели состояний изменения температуры.
Модель состояний для изменения температуры:
TR(90): Создает изменения температуры
(ID порции, конечное время, конечная температура)

1.Создано
[1] создать изменение температуры с произвольным ID изменения
и ID порции, конечным временем, конечной температуры.
[2] изменение температуры.ID таймера := создать таймер.
[3] установить изменение температуры. Начальное время = текущему
времени.
[4] установить изменение температуры. Начальная температура = бак
для приготовления. текущая температура.
[5] порождает TR11: начать контроль температуры (ID изменения).
[6] изменение температуры. статус := “создано”

TR11: Начать контроль температуры. TR13: Таймер изменения истек
(ID изменения)
2. Контролируется
[1] Если текущее время меньше изменения температуры.конечное время,
то определить достигнутую температуру. Если бак.фактическая температура меньше конечной температуры,
то порождает H20: включить нагреватель (ID нагревателя).
Иначе порождает H21: выключить нагреватель (ID нагревателя),
порождает TM1: установить таймер (ID таймера, 10 сек, TR13, ID
изменения).

Иначе порождает TR12: завершить изменение температуры (ID измене-
ния).
[2] Установить изменение температуры.статус := “контролируется”.

TR12: Завершить изменение температуры (ID изменения)
3. Завершение
[1] Порождает B91: завершить изменение температуры (ID порции).
[2] Порождает H21: выключить нагреватель (ID нагревателя).
[3] Уничтожить таймер (ID таймера).
[4] Уничтожить изменение температуры.

Любой процесс на ДПДД представляется овалом аннотируемым
(помечаемым), как идентификатор процесса, так и значимым
именем описывающим цель или функцию процесса.

ДПДД для состояния 1 объекта изменения температуры:
…………………………………………………………………………………………………..
Данные которые продолжают существовать после того как
действие закончено называется, устойчивыми данными.
Устойчивые данные представляются на ДПДД, как архив
данных – логический эквивалент таблицы в базе данных, файле и
наборе системных переменных (архив и процесс, связываются
между собой потоком данных).
ООА использует 3 различных типа архива данных:
1.объектный архив данных;
2.архив текущего времени;
3.архив данных таймера;
Получаемые события (поток из неоткуда) – это поток данных события
обозначающиеся именами атрибутов которые переносятся
событием и требуются процессом.
Порождаемые события (поток от процесса) – содержит метку
значения и данные события.
Идентификатор процесса – обозначается как:
<объект>.<произвольный номер процесса>
Потоки данных между процессами – эти потоки нуждаются в 2-х именах:
1.от кого;
2.к кому;
Для экономии места на ДПДД часть полного имени атрибута
<имя объекта> иногда опускают, если оно может быть получено с
помощью правила:
Считают, что любой атрибут созданный или используемый
процессом является атрибутом объекта, для
которого данный процесс определен, если не утверждается обратное.
Если процесс уничтожает экземпляр объекта, то поток данных
изображается от процесса к соответствующему архиву данных.
Поток управления является графическим представлением
ограничения на порядок выполнения процесса. ДПДД использует
два типа потока управления:
1.условный;
2.безусловный;
Процесс может создавать данные, предназначенные только
для применения другим процессам, то есть данные, прекращающие
свое существование, когда действие закончено (неустойчивые данные).
Порядок выполнения процесса:
1.процесс может выполняется, когда все входы доступны.
2.выводы процесса доступны после того, как процесс завершает свое   выполнение.
3.данныесобытий (атрибуты на потоках данных событий) всегда    доступны.
4.данные из архивов данных и внешние сущности, всегда доступны.

Загрузка...