Применение

Схема канала управления наиболее полезна как инструмент для понимания взаимодействий между небольшим количеством экземпляров. Однако, если количество экземпляров возрастает, достижение понятного расположения схемы сильно затрудняется. Кроме того, схема оказывается неконтролируемо большой. Альтернативным подходом для понимания канала управления является имитирование: метод, который выполняет взаимодействия конечного автомата, скорее, во времени, чем в пространстве, как показано на этой схеме.

5.5 Имитирование

Чтобы определить, каким образом система как единое целое соответственно реагирует на незапрашиваемое событие, можно отслеживать канал управления с помощью имитирования. Требуется стратегия, состоящая из трех шагов:

1. Установить начальное состояние системы.

2. Принять незапрашиваемое внешнее событие и выполнить канал управления, чтобы увидеть, что происходит.

3. Оценить конечный результат, если он корректен.

Установление состояния системы

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

Определение. Логика действия может быть такой, что события, порождаемые этим действием, зависят от значений атрибутов, отличных от атрибута текущего состояния. Такие атрибуты известны как определяющие, поскольку они определяют, как развивается канал управления, когда он проходит через действие (рис.5.5.1).

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

1. Используя МВО и модели состояний, без соблюдения формальностей намечают канал управления для определения того, какие модели состояний необходимо рассмотреть и сколько требуется различных экземпляров каждого объекта. Выбирают идентификаторы для требуемых экземпляров и устанавливают значения для их атрибутов текущего состояния.

2. Анализируют каждую модель состояний, рассматриваемую в канале управления для нахождения всех определяющих атрибутов. Устанавливают значения для определяющих атрибутов.

3. Выясняют, каким образом получен каждый определяющий атрибут. Если он вычисляется моделями состояния, рассматриваемыми в канале управления, устанавливают величины для всех атрибутов, которые участвуют в вычислении.

4. Проверяют, не противоречат ли одно другому выбранные значения атрибутов: в примере Клиент-Счет Вам не следует устанавливать счет с текущим состоянием В Хорошем Состоянии и отрицательным балансом.

Выполнение имитирования

Как только требуемые значения атрибутов установлены, можно начинать отслеживание канала управления посредством имитатора. Если Вы не имеете доступа к автоматическому имитатору, может быть использована канцелярская процедура, описанная ниже.

Рис.5.5.2 изображает форму, применяемую для хранения следа сущностей, которые участвуют в имитировании. Вам необходим один образец формы для каждого конечного автомата (объекта, Определителя или таймера), рассматриваемого в канале управления. Кроме того, каждому терминатору, участвующему в канале управления, будет нужна копия.

Пункт Заказа

Рис.5.5.1. Пункт Каталога. Количество (шт.) - определяющий атрибут, так как он определяет, какие события порождаются этим действием.

Заполните формы предварительно установленными значениями атрибутов.

Начало канала. Возьмите незапрашиваемое событие, которое начинает канал управления, и введите его метку во 2-й столбец конечного автомата, к которому оно направлено. Введите данные события в 3-м столбце.

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

1. Если событие игнорируется, запишите имя в настоящее время занимаемого состояния в 4-м столбце строки, содержащей событие, которое Вы обрабатываете. Поместите галочку-метку в 1-м столбце, указывающую, что это событие было обработано.

Рис.5.5.2. Форма для записи процесса имитирования. Три события обработаны этим экземпляром, еще два ожидают обработки.

2. Если событие не может произойти, значит, мы нашли ошибку в какой-то модели состояний. Прекратите имитирование, устраните ошибку и попробуйте снова.

3. Если событие вызывает переход, запишите имя нового состояния в 4-м столбце. Затем выполните в уме действие, связанное с состоянием. Отразите любые изменения в значениях определяющих атрибутов - на этой или на любой другой таблице - записью новых значений атрибутов в воздействуемых экземплярах.

Запишите события (метки и данные события), порожденные действием в столбцах, предназначенных для этой цели, при этом используйте столько строк, сколько требуется для записи всех порожденных событий.

И наконец, поместите галочку-метку в 1-м столбце, ближайшем к метке воздействующего события, чтобы указать, что Вы полностью завершили его обработку.

Распространение. Теперь возьмите каждое событие, только что порожденное, и скопируйте его во 2-й и 3-й столбцы конечного автомата или терминатора, к которому оно направлено.

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

Если форма отслеживает терминатор и он не создает событие, отметьте факт "события не порождаются" в 5-м столбце. Если терминатор создает запрашиваемое событие, запишите это событие внизу как порожденное событие для терминатора. В любом случае поместите галочку-метку в 1-м столбце и распространите событие, если такое имеется, как описано ранее.

Завершение. Продолжайте таким образом имитацию, многократно повторяя:

• выбор первой необработанной отдельной записи в любой таблице,

• обработку отдельной записи,

• распространение событий или результатов таймера, если такие имеются,

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

Оценка

Результаты имитирования представляются:

• конечным значением всех атрибутов текущего состояния;

• конечным значением всех определяющих атрибутов (включая атрибуты, которые участвуют в вычислении определяющих атрибутов);

• последовательностью событий, которые были направлены к каждому терминатору.

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