Изучение модуля ARIS Semantic Check, страница 2

·  Каждый путь должен начинаться и заканчиваться событием (Eachpathmustbeginandendwithanevent);

·  Все функции/события должны иметь только одну входящую/исходящую связь(All functions/events must have only one incoming/outgoing connection);

·  Нельзя использовать операторы XOR/OR после события(NoXOR/ORaftereventpossible);

·  Должен быть сохранен порядок операторов(Order at the operator must be preserved);

Если необходимо удалить выбранное правило, можно воспользоваться кнопками RemoveSelection (Удалить выбранное правило) и RemoveAll (Удалить все выбранные правила). На рис. 18.10. представлена ДО с результатами нашего выбора. Флажок у опции OutputStatistic (Выводить статистику) позволит в окне выхода (OutputWindow) представлять информацию о процедуре семантической проверки. Далее нажмем OK.

Рис. 18.10. ДО ARIS Semantic Check

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

Рис. 18.11. Сообщение ARIS

Если выбрать кнопку Да, то на модели появятся предупреждения в местах нахождения семантических ошибок (рис. 18.12.).

Рис. 18.12. Фрагмент eEPC-модели с выведенными сообщениями об ошибках

Далее откроется окно, сообщающее об успешном выполнении программы проверки (рис. 18.13.) и предложении просмотреть полученный отчет.

Рис. 18.13. Сообщение ARIS об окончании процедуры проверки

Так как в качестве выходного формата была выбрана Excel-таблица, но на листах MS Excel будут поочередно выведены отчеты по каждому проверяемому правилу (рис. 18.14.).

Рис. 18.14. Вид отчета в MS Excel

Если бы в окне на рис. 18.7. был выбран другой выходной формат, например, WordDocument, отчет был бы выведен в форме, как показано ниже на рис. 18.15.

Рис. 18.15. Вид отчета в MS Word

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

·  Функция 6 заканчивает процесс, тем самым нарушается правило: Каждый путь должен начинаться и заканчиваться событием (Eachpathmustbeginandendwithanevent) об обязательном присутствии события в начале и в конце процесса.

·  Функция 1, Функция 4 и Функция : имеют более, чем одну входящую или исходящую связи, тем самым нарушается правило: Все функции/события должны иметь только одну входящую/исходящую связь (Allfunctions/eventshaveonlyoneincoming/outgoingconnection).

·  После События 4 следует логический оператор «исключающее или» (XOR), тем самым нарушается правило: Нельзя использовать операторы XOR и OR после события (NoXOR/ORaftereventpossible).

·  Функция 3 и Функция 4 предшествуют оператору «или» (OR), Функция 5 следует за оператором «и», Событие 4 предшествует оператору «исключающее или» (XOR), Событие 5 и Событие 6 следуют за этим оператором, тем самым нарушается правило: Должен быть сохранен порядок операторов (Orderattheoperatormustbepreserved). Это правило говорит о том, что различные типы объектов должны предшествовать и следовать за оператором (т.е., если оператору предшествовал объект типа Функция, то следовать за ним должны объекты типа Событие и наоборот).

Итоговая таблица в отчете отражает количество ошибок при проверке каждого правила (таблица 1): 

Таблица 1

Rule/Models No.	1
1. Каждый путь должен начинаться и заканчиваться событием	1
2. Все функции/события должны иметь только одну входящую/исходящую связь	3
3. Нельзя использовать операторы XOR и OR после события	1
4. Должен быть сохранен порядок операторов	2

После исправления ошибок и дополнения модели необходимыми объектами и связями модель будет выглядеть как показана на рис. 18.16. Было три логических оператора, стало – шесть; было шесть функций, стало – восемь; было шесть событий, стало – десять событий (показаны без цвета с жирными границами). Также к функциям добавлены дополнительные экземпляры должностей (Должность 1 и Должность 3).

После семантической проверки отчет показывает отсутствие ошибок в модели по всем четырем  примененным правилам (таблица 2):

Таблица 2

Rule/Models No.	1
1. Каждый путь должен начинаться и заканчиваться событием	0
2. Все функции/события должны иметь только одну входящую/исходящую связь	0
3. Нельзя использовать операторы XOR и OR после события	0
4. Должен быть сохранен порядок операторов	0

Рис. 18.16. eEPC-модель после исправления ошибок