3.7 Таймеры Понятие таймера

Puc.3.7.1. Объект Таймер со своим жизненным циклом.

Таймер - это механизм, который может использоваться действием для создания события через определенное время в будущем. Этот механизм представляет собой часть формализации -ООА и обеспечивается в форме объекта Таймер (рис,3.7.1). Атрибутами Таймера является:

• ID Таймера - идентификатор собственно таймера;

• Оставшееся время - время, которое должно пройти до того момента, когда таймер подаст сигнал;

• Метка события - метка события, которое создается, когда таймер подаёт сигнал;

• ID экземпляра - идентификатор, который передается с порожденным событием.

7

Все таймеры действуют в соответствии с моделью состояний Таймера (рис.3.7.1), которая предполагает простой механизм счета в обратном направлении.

Условные обозначения псевдокода для Таймеров

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

1. Создание таймера записывают:

ID таймера := Создаваемый таймер.

2. Для установки таймера порождают событие

TIM1: Установить таймер(ID таймера, оставшееся время, метка события, ID экземпляра).

Например, для микроволновой печи

Порождает TIM1: Установить таймер(таймер печи, 60 с, V2, ID печи).

3. Для сброса таймера порождают событие

TIM2: Сбросить таймер (ID таймера).

4. Для чтения оставшегося интервала времени на таймере записывают так:

еще осталось := Прочитать оставшееся время(ID таймера).

5. Удаление таймера записывают так: Удалить таймер (ID таймера).

Использование таймера

Таймеры обычно служат для сигнализации об истечении заданного промежутка времени,требуемого инструментом или производственным процессом, как продемонстрировано на примере микроволновой печи. Кроме того, таймер может использоваться для управления итерационными или непрерывными операциями (показано в разделе 5.7) и для защиты против отказов принятых событий (раздел 3.12).

3.8 Общие формы жизненных циклов

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

Циркулярный жизненный цикл. Циркулярные жизненные циклы обычно возникают, когда объект имеет операционный цикл поведения. У микроволновой печи такая же циркулярная сущность, как и у робота-сверлильщика (рис.3.8.1).

Рис.3.8.1. Жизненный цикл робота-сверлильщика. Действия из ДПС не включены.

Жизненный цикл рождение-смерть. Объект имеет жизненный цикл рождение-смерть, когда экземпляры создаются и уничтожаются в пределах времени жизни анализируемой системы. Жизненный цикл рождение-смерть характеризуется одним или более состоянием создания и одним или более заключительным состоянием, в которых экземпляр разрушается. Объект Счет, исследованный ранее, обеспечивает пример жизненного цикла рождение-смерть.

В малом варианте этой схемы экземпляр не удаляется, а только становится неактивным в заключительном состоянии.

3.9 Формирование жизненных циклов

Многие научились пользоваться моделями состояний для записи внешне различимого поведения устройства или системы. Такое использование моделей состояний предписывает Вам расценивать устройство как "черный ящик", внутренние процессы которого неизвестны. Состояния формируются согласно тому, что может наблюдаться снаружи, а действия опускаются, поскольку они невидимы снаружи.

Напротив, модели состояний ООА стремятся к объяснению подробностей поведения изнутри устройства. Их цель является целью анализа: изложить детали поведения таким образом, чтобы Вы могли понять, почему экземпляр должен вести себя определенным способом и какие действия для этого требуются. Это использование моделей состояний иногда называется использованием "белого (или светлого) ящика".

В зависимости от того, требуется ли перспектива белого или черного ящика, модели совершенно отличаются одна от другой. Это иллюстрируется сравнением модели состояний белого ящика микроволновой печи (рис.3.2.2) с просмотром черного ящика (рис.3.9.1).

Рис.3.9.1. Диаграмма переходов в состояния (черный ящик) для печи.

При формировании модели состояний не следует помещать в черный ящик набор мнений. Вот некоторые предложения и руководящие принципы, которые могут помочь Вам избежать этого.

Цель. При идентификации состояний важно помнить, что у каждого состояния есть цель. На рис.3.5.2 бак-смеситель имеет одинаковую конфигурацию в Смешивании Продукта и состоянии Промывки: смеситель включен, и все клапаны закрыты. Тем не менее, цели состояний отличаются и отражаются в названиях, которые мы выбираем для состояний.

Контекст. Каждое состояние имеет контекст. Значение некоторого состояния может быть установлено состояниями, которые предшествуют ему и следуют за ним. Вернемся к примеру на рис.3.1.1. Заметьте, что когда Вы видите перемещающийся самолет, Вы не знаете, почему он перемещается. Но состояния, которые предшествуют и последуют за этим, обеспечивают контекст, сообщающий Вам, почему самолет готовится взлететь или почему он отправляется на стоянку.

Полные снимки. Не пытайтесь формировать состояния, отражающие ограниченные снимки действительности. Смешивание Продукта и состояние Промывки бака-смесителя кажутся сходными, когда Вы рассматриваете только то, что можно было бы наблюдать с помощью данных датчика: они требуют той же самой конфигурации клапанов и состояния смесителя. Однако если Вы посмотрите на это более широко и примите во внимание то, что находится внутри бака, состояния окажутся различными.

Действия. Обратите внимание на действия. Состояния микроволновой печи Приготовление Пищи Завершено и Без Действия С Закрытой Дверью различны, потому что действия должны отличаться, для того чтобы печь работала согласно требованиям.