ISSN 0236-3933. Вестник МГТУ им. Н.Э. Баумана. Сер. “Приборостроение”. 2012
172
_
_ _
.
_
_
.
_
_
.
_
.0.
_ _
?
.
!
_
_
.0.
_
_
Интерфейс просмотра Подготовка к просмотру
Упорядочивание списка товаров
Вывод списка товаров
Окончание просмотра
Подготовка к просмотру подготовка
список товаров упорядочен
Вывод списка товаров
?
.
!
_
_
.0.
_
?
.
!
_
_
.0.
вывод
список товаров выведен
Окончание просмотра окончание
список товаров просмотрен
Проверка правильности функционирования ИМИ
Проверка правильности функционирования ИМИ – важная за-
дача, особенно это актуально на ранних этапах проектирования.
Процессный подход представляет для этого несколько возможно-
стей. Одна из них – использование механизма редукции (вывода) на
основе редукционных правил [16]. Суть этого механизма примени-
тельно к моделям процессов ИМИ состоит в том, что выбираются
группы агентов, правильность интерфейса между которыми необхо-
димо проверить и, используя правила редукции, начинают выпол-
нять интерфейс. Если результаты интерфейса достигают цели, то
тем самым доказывается правильность функционирования. Также
можно поверять различные свойства ИМИ [17]. Таким образом, ме-
тод проверки на правильность функционирования ИМИ состоит из
следующих шагов:
1)
выбор группы процессов;
2)
выбор цели проверки;
3)
выполнение перебора всех процессов в группе;
4)
если есть возможность применения редукции к процессам, то
выполнить редукцию. В противном случае переход к шагу 6;
5)
если цель достигнута, то переход к шагу 7. В противном случае
к шагу 3;
6)
неуспешное завершение проверки правильности функциони-
рования ИМИ;
7)
успешное завершение проверки правильности функциониро-
вания ИМИ.
Для нашего примера, начиная с восприятия администратора
?
редактировать
,
можно успешно достичь реакции оператора !
про-
смотрено
.
Несколько последовательных шагов редукции показаны
ниже: